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

About the Execution of LoLA for FunctionPointer-PT-a008

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
16203.128 429998.00 1668863.00 2437.80 FF?FFFT?TFFTF?TT 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-171640604700183.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-a008, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r181-tall-171640604700183
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 520K
-rw-r--r-- 1 mcc users 7.2K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.5K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 78K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 19 07:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 19 15:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 22 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 22 14:45 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Apr 11 16:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 126K Apr 11 16:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.7K Apr 11 16:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 78K Apr 11 16:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 19 07:11 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-a008-ReachabilityFireability-2024-00
FORMULA_NAME FunctionPointer-PT-a008-ReachabilityFireability-2024-01
FORMULA_NAME FunctionPointer-PT-a008-ReachabilityFireability-2024-02
FORMULA_NAME FunctionPointer-PT-a008-ReachabilityFireability-2024-03
FORMULA_NAME FunctionPointer-PT-a008-ReachabilityFireability-2024-04
FORMULA_NAME FunctionPointer-PT-a008-ReachabilityFireability-2024-05
FORMULA_NAME FunctionPointer-PT-a008-ReachabilityFireability-2024-06
FORMULA_NAME FunctionPointer-PT-a008-ReachabilityFireability-2024-07
FORMULA_NAME FunctionPointer-PT-a008-ReachabilityFireability-2024-08
FORMULA_NAME FunctionPointer-PT-a008-ReachabilityFireability-2024-09
FORMULA_NAME FunctionPointer-PT-a008-ReachabilityFireability-2024-10
FORMULA_NAME FunctionPointer-PT-a008-ReachabilityFireability-2024-11
FORMULA_NAME FunctionPointer-PT-a008-ReachabilityFireability-2024-12
FORMULA_NAME FunctionPointer-PT-a008-ReachabilityFireability-2024-13
FORMULA_NAME FunctionPointer-PT-a008-ReachabilityFireability-2024-14
FORMULA_NAME FunctionPointer-PT-a008-ReachabilityFireability-2024-15

=== Now, execution of the tool begins

BK_START 1717028641186

FORMULA FunctionPointer-PT-a008-ReachabilityFireability-2024-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FunctionPointer-PT-a008-ReachabilityFireability-2024-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FunctionPointer-PT-a008-ReachabilityFireability-2024-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FunctionPointer-PT-a008-ReachabilityFireability-2024-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FunctionPointer-PT-a008-ReachabilityFireability-2024-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FunctionPointer-PT-a008-ReachabilityFireability-2024-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FunctionPointer-PT-a008-ReachabilityFireability-2024-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FunctionPointer-PT-a008-ReachabilityFireability-2024-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FunctionPointer-PT-a008-ReachabilityFireability-2024-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FunctionPointer-PT-a008-ReachabilityFireability-2024-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FunctionPointer-PT-a008-ReachabilityFireability-2024-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FunctionPointer-PT-a008-ReachabilityFireability-2024-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FunctionPointer-PT-a008-ReachabilityFireability-2024-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

BK_STOP 1717029071184

--------------------
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 # 28 (type CNST) for 27 FunctionPointer-PT-a008-ReachabilityFireability-2024-09
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 28 (type CNST) for FunctionPointer-PT-a008-ReachabilityFireability-2024-09
[lola][I] result : false
[lola][I] LAUNCH task # 37 (type CNST) for 36 FunctionPointer-PT-a008-ReachabilityFireability-2024-12
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 37 (type CNST) for FunctionPointer-PT-a008-ReachabilityFireability-2024-12
[lola][I] result : false
[lola][I] LAUNCH task # 16 (type CNST) for 15 FunctionPointer-PT-a008-ReachabilityFireability-2024-05
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] LAUNCH task # 31 (type CNST) for 30 FunctionPointer-PT-a008-ReachabilityFireability-2024-10
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 16 (type CNST) for FunctionPointer-PT-a008-ReachabilityFireability-2024-05
[lola][I] result : false
[lola][I] FINISHED task # 31 (type CNST) for FunctionPointer-PT-a008-ReachabilityFireability-2024-10
[lola][I] result : false
[lola][I] LAUNCH task # 50 (type EXCL) for 33 FunctionPointer-PT-a008-ReachabilityFireability-2024-11
[lola][I] time limit : 257 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 48 (type FNDP) for 33 FunctionPointer-PT-a008-ReachabilityFireability-2024-11
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 49 (type EQUN) for 33 FunctionPointer-PT-a008-ReachabilityFireability-2024-11
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 52 (type FNDP) for 39 FunctionPointer-PT-a008-ReachabilityFireability-2024-13
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 49 (type EQUN) for FunctionPointer-PT-a008-ReachabilityFireability-2024-11
[lola][I] result : unknown
[lola][I] LAUNCH task # 68 (type FNDP) for 6 FunctionPointer-PT-a008-ReachabilityFireability-2024-02
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 48 (type FNDP) for FunctionPointer-PT-a008-ReachabilityFireability-2024-11
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 1
[lola][I] memory pages used : 0
[lola][W] CANCELED task # 50 (type EXCL) for FunctionPointer-PT-a008-ReachabilityFireability-2024-11 (obsolete)
[lola][I] LAUNCH task # 86 (type EXCL) for 42 FunctionPointer-PT-a008-ReachabilityFireability-2024-14
[lola][I] time limit : 327 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 79 (type FNDP) for 12 FunctionPointer-PT-a008-ReachabilityFireability-2024-04
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 86 (type EXCL) for FunctionPointer-PT-a008-ReachabilityFireability-2024-14
[lola][I] result : true
[lola][I] markings : 143
[lola][I] fired transitions : 142
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 58 (type EXCL) for 0 FunctionPointer-PT-a008-ReachabilityFireability-2024-00
[lola][I] time limit : 359 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 58 (type EXCL) for FunctionPointer-PT-a008-ReachabilityFireability-2024-00
[lola][I] result : true
[lola][I] markings : 152
[lola][I] fired transitions : 151
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 84 (type EXCL) for 45 FunctionPointer-PT-a008-ReachabilityFireability-2024-15
[lola][I] time limit : 399 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 84 (type EXCL) for FunctionPointer-PT-a008-ReachabilityFireability-2024-15
[lola][I] result : true
[lola][I] markings : 164
[lola][I] fired transitions : 163
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 89 (type EXCL) for 21 FunctionPointer-PT-a008-ReachabilityFireability-2024-07
[lola][I] time limit : 449 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 79 (type FNDP) for FunctionPointer-PT-a008-ReachabilityFireability-2024-04
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] LAUNCH task # 73 (type FNDP) for 3 FunctionPointer-PT-a008-ReachabilityFireability-2024-01
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 5/899 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 1531 attempts, .
[lola][.] 68 EF FNDP 5/719 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 3695 attempts, .
[lola][.] 73 EF FNDP 4/719 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 3338 attempts, .
[lola][.] 89 EF EXCL 4/514 12/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 3293679 m, 658735 m/sec, 3293679 t fired, .
[lola][.]
[lola][.] Time elapsed: 5 secs. Pages in use: 12
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 10/895 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 7641 attempts, .
[lola][.] 68 EF FNDP 10/715 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 12369 attempts, .
[lola][.] 73 EF FNDP 9/715 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 14856 attempts, .
[lola][.] 89 EF EXCL 9/514 23/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 6547009 m, 650666 m/sec, 6547009 t fired, .
[lola][.]
[lola][.] Time elapsed: 10 secs. Pages in use: 23
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 15/890 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 15890 attempts, .
[lola][.] 68 EF FNDP 15/710 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 23310 attempts, .
[lola][.] 73 EF FNDP 14/710 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 29887 attempts, .
[lola][.] 89 EF EXCL 14/514 34/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 9745979 m, 639794 m/sec, 9745979 t fired, .
[lola][.]
[lola][.] Time elapsed: 15 secs. Pages in use: 34
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 20/885 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 25205 attempts, .
[lola][.] 68 EF FNDP 20/705 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 35138 attempts, .
[lola][.] 73 EF FNDP 19/705 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 45562 attempts, .
[lola][.] 89 EF EXCL 19/514 45/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 12936130 m, 638030 m/sec, 12936130 t fired, .
[lola][.]
[lola][.] Time elapsed: 20 secs. Pages in use: 45
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 25/880 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 34435 attempts, .
[lola][.] 68 EF FNDP 25/700 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 46798 attempts, .
[lola][.] 73 EF FNDP 24/700 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 60029 attempts, .
[lola][.] 89 EF EXCL 24/514 56/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 16106459 m, 634065 m/sec, 16106459 t fired, .
[lola][.]
[lola][.] Time elapsed: 25 secs. Pages in use: 56
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 30/875 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 44357 attempts, .
[lola][.] 68 EF FNDP 30/695 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 58770 attempts, .
[lola][.] 73 EF FNDP 29/695 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 74664 attempts, .
[lola][.] 89 EF EXCL 29/514 67/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 19225038 m, 623715 m/sec, 19225037 t fired, .
[lola][.]
[lola][.] Time elapsed: 30 secs. Pages in use: 67
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 35/870 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 54651 attempts, .
[lola][.] 68 EF FNDP 35/690 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 70677 attempts, .
[lola][.] 73 EF FNDP 34/690 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 89314 attempts, .
[lola][.] 89 EF EXCL 34/514 77/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 22341359 m, 623264 m/sec, 22341359 t fired, .
[lola][.]
[lola][.] Time elapsed: 35 secs. Pages in use: 77
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 40/865 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 64737 attempts, .
[lola][.] 68 EF FNDP 40/685 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 82248 attempts, .
[lola][.] 73 EF FNDP 39/685 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 103422 attempts, .
[lola][.] 89 EF EXCL 39/514 88/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 25442949 m, 620318 m/sec, 25442949 t fired, .
[lola][.]
[lola][.] Time elapsed: 40 secs. Pages in use: 88
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 45/860 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 75314 attempts, .
[lola][.] 68 EF FNDP 45/680 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 94357 attempts, .
[lola][.] 73 EF FNDP 44/680 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 118010 attempts, .
[lola][.] 89 EF EXCL 44/514 98/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 28516939 m, 614798 m/sec, 28516938 t fired, .
[lola][.]
[lola][.] Time elapsed: 45 secs. Pages in use: 98
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 50/855 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 85522 attempts, .
[lola][.] 68 EF FNDP 50/675 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 105779 attempts, .
[lola][.] 73 EF FNDP 49/675 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 131957 attempts, .
[lola][.] 89 EF EXCL 49/514 109/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 31642713 m, 625154 m/sec, 31642713 t fired, .
[lola][.]
[lola][.] Time elapsed: 50 secs. Pages in use: 109
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 55/850 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 95522 attempts, .
[lola][.] 68 EF FNDP 55/670 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 116997 attempts, .
[lola][.] 73 EF FNDP 54/670 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 145294 attempts, .
[lola][.] 89 EF EXCL 54/514 120/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 34759859 m, 623429 m/sec, 34759858 t fired, .
[lola][.]
[lola][.] Time elapsed: 55 secs. Pages in use: 120
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 60/845 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 105606 attempts, .
[lola][.] 68 EF FNDP 60/665 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 127987 attempts, .
[lola][.] 73 EF FNDP 59/665 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 158445 attempts, .
[lola][.] 89 EF EXCL 59/514 131/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 37872505 m, 622529 m/sec, 37872505 t fired, .
[lola][.]
[lola][.] Time elapsed: 60 secs. Pages in use: 131
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 65/840 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 115815 attempts, .
[lola][.] 68 EF FNDP 65/660 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 138929 attempts, .
[lola][.] 73 EF FNDP 64/660 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 171557 attempts, .
[lola][.] 89 EF EXCL 64/514 141/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 40971218 m, 619742 m/sec, 40971217 t fired, .
[lola][.]
[lola][.] Time elapsed: 65 secs. Pages in use: 141
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 70/835 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 125749 attempts, .
[lola][.] 68 EF FNDP 70/655 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 149569 attempts, .
[lola][.] 73 EF FNDP 69/655 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 184356 attempts, .
[lola][.] 89 EF EXCL 69/514 152/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 44062442 m, 618244 m/sec, 44062441 t fired, .
[lola][.]
[lola][.] Time elapsed: 70 secs. Pages in use: 152
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 75/830 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 135778 attempts, .
[lola][.] 68 EF FNDP 75/650 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 160252 attempts, .
[lola][.] 73 EF FNDP 74/650 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 197315 attempts, .
[lola][.] 89 EF EXCL 74/514 162/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 47156440 m, 618799 m/sec, 47156440 t fired, .
[lola][.]
[lola][.] Time elapsed: 75 secs. Pages in use: 162
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 80/825 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 145675 attempts, .
[lola][.] 68 EF FNDP 80/645 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 170849 attempts, .
[lola][.] 73 EF FNDP 79/645 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 209942 attempts, .
[lola][.] 89 EF EXCL 79/514 173/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 50258406 m, 620393 m/sec, 50258406 t fired, .
[lola][.]
[lola][.] Time elapsed: 80 secs. Pages in use: 173
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 85/820 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 153256 attempts, .
[lola][.] 68 EF FNDP 85/640 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 178271 attempts, .
[lola][.] 73 EF FNDP 84/640 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 218833 attempts, .
[lola][.] 89 EF EXCL 84/514 184/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 53428194 m, 633957 m/sec, 53428194 t fired, .
[lola][.]
[lola][.] Time elapsed: 85 secs. Pages in use: 184
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 90/815 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 160061 attempts, .
[lola][.] 68 EF FNDP 90/635 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 184905 attempts, .
[lola][.] 73 EF FNDP 89/635 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 226667 attempts, .
[lola][.] 89 EF EXCL 89/514 195/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 56629186 m, 640198 m/sec, 56629186 t fired, .
[lola][.]
[lola][.] Time elapsed: 90 secs. Pages in use: 195
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 95/810 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 167140 attempts, .
[lola][.] 68 EF FNDP 95/630 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 191763 attempts, .
[lola][.] 73 EF FNDP 94/630 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 234861 attempts, .
[lola][.] 89 EF EXCL 94/514 206/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 59855356 m, 645234 m/sec, 59855356 t fired, .
[lola][.]
[lola][.] Time elapsed: 95 secs. Pages in use: 206
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 100/805 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 174015 attempts, .
[lola][.] 68 EF FNDP 100/625 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 198485 attempts, .
[lola][.] 73 EF FNDP 99/625 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 243043 attempts, .
[lola][.] 89 EF EXCL 99/514 217/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 63066670 m, 642262 m/sec, 63066669 t fired, .
[lola][.]
[lola][.] Time elapsed: 100 secs. Pages in use: 217
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 105/800 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 180857 attempts, .
[lola][.] 68 EF FNDP 105/620 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 205275 attempts, .
[lola][.] 73 EF FNDP 104/620 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 251061 attempts, .
[lola][.] 89 EF EXCL 104/514 228/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 66281618 m, 642989 m/sec, 66281618 t fired, .
[lola][.]
[lola][.] Time elapsed: 105 secs. Pages in use: 228
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 110/795 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 187543 attempts, .
[lola][.] 68 EF FNDP 110/615 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 211964 attempts, .
[lola][.] 73 EF FNDP 109/615 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 259069 attempts, .
[lola][.] 89 EF EXCL 109/514 239/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 69502734 m, 644223 m/sec, 69502733 t fired, .
[lola][.]
[lola][.] Time elapsed: 110 secs. Pages in use: 239
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 115/790 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 194435 attempts, .
[lola][.] 68 EF FNDP 115/610 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 218657 attempts, .
[lola][.] 73 EF FNDP 114/610 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 267120 attempts, .
[lola][.] 89 EF EXCL 114/514 250/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 72746276 m, 648708 m/sec, 72746276 t fired, .
[lola][.]
[lola][.] Time elapsed: 115 secs. Pages in use: 250
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 120/785 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 201287 attempts, .
[lola][.] 68 EF FNDP 120/605 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 225334 attempts, .
[lola][.] 73 EF FNDP 119/605 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 275270 attempts, .
[lola][.] 89 EF EXCL 119/514 261/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 75959226 m, 642590 m/sec, 75959226 t fired, .
[lola][.]
[lola][.] Time elapsed: 120 secs. Pages in use: 261
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 125/780 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 208097 attempts, .
[lola][.] 68 EF FNDP 125/600 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 231986 attempts, .
[lola][.] 73 EF FNDP 124/600 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 283186 attempts, .
[lola][.] 89 EF EXCL 124/514 272/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 79169373 m, 642029 m/sec, 79169373 t fired, .
[lola][.]
[lola][.] Time elapsed: 125 secs. Pages in use: 272
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 130/775 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 215018 attempts, .
[lola][.] 68 EF FNDP 130/595 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 238536 attempts, .
[lola][.] 73 EF FNDP 129/595 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 291080 attempts, .
[lola][.] 89 EF EXCL 129/514 283/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 82375409 m, 641207 m/sec, 82375409 t fired, .
[lola][.]
[lola][.] Time elapsed: 130 secs. Pages in use: 283
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 135/770 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 221862 attempts, .
[lola][.] 68 EF FNDP 135/590 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 245140 attempts, .
[lola][.] 73 EF FNDP 134/590 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 298939 attempts, .
[lola][.] 89 EF EXCL 134/514 294/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 85576606 m, 640239 m/sec, 85576606 t fired, .
[lola][.]
[lola][.] Time elapsed: 135 secs. Pages in use: 294
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 140/765 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 228653 attempts, .
[lola][.] 68 EF FNDP 140/585 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 251766 attempts, .
[lola][.] 73 EF FNDP 139/585 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 306770 attempts, .
[lola][.] 89 EF EXCL 139/514 305/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 88767536 m, 638186 m/sec, 88767536 t fired, .
[lola][.]
[lola][.] Time elapsed: 140 secs. Pages in use: 305
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 145/760 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 235337 attempts, .
[lola][.] 68 EF FNDP 145/580 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 258410 attempts, .
[lola][.] 73 EF FNDP 144/580 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 314499 attempts, .
[lola][.] 89 EF EXCL 144/514 316/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 91950951 m, 636683 m/sec, 91950951 t fired, .
[lola][.]
[lola][.] Time elapsed: 145 secs. Pages in use: 316
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 150/755 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 242183 attempts, .
[lola][.] 68 EF FNDP 150/575 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 264859 attempts, .
[lola][.] 73 EF FNDP 149/575 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 322133 attempts, .
[lola][.] 89 EF EXCL 149/514 327/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 95176609 m, 645131 m/sec, 95176608 t fired, .
[lola][.]
[lola][.] Time elapsed: 150 secs. Pages in use: 327
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 155/750 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 250627 attempts, .
[lola][.] 68 EF FNDP 155/570 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 273164 attempts, .
[lola][.] 73 EF FNDP 154/570 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 331950 attempts, .
[lola][.] 89 EF EXCL 154/514 338/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 98313892 m, 627456 m/sec, 98313892 t fired, .
[lola][.]
[lola][.] Time elapsed: 155 secs. Pages in use: 338
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 160/745 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 261190 attempts, .
[lola][.] 68 EF FNDP 160/565 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 283571 attempts, .
[lola][.] 73 EF FNDP 159/565 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 344559 attempts, .
[lola][.] 89 EF EXCL 159/514 349/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 101357444 m, 608710 m/sec, 101357444 t fired, .
[lola][.]
[lola][.] Time elapsed: 160 secs. Pages in use: 349
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 165/740 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 271811 attempts, .
[lola][.] 68 EF FNDP 165/560 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 293980 attempts, .
[lola][.] 73 EF FNDP 164/560 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 357084 attempts, .
[lola][.] 89 EF EXCL 164/514 359/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 104382480 m, 605007 m/sec, 104382479 t fired, .
[lola][.]
[lola][.] Time elapsed: 165 secs. Pages in use: 359
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 170/735 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 282154 attempts, .
[lola][.] 68 EF FNDP 170/555 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 304420 attempts, .
[lola][.] 73 EF FNDP 169/555 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 369547 attempts, .
[lola][.] 89 EF EXCL 169/514 369/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 107422997 m, 608103 m/sec, 107422997 t fired, .
[lola][.]
[lola][.] Time elapsed: 170 secs. Pages in use: 369
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 175/730 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 292453 attempts, .
[lola][.] 68 EF FNDP 175/550 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 314889 attempts, .
[lola][.] 73 EF FNDP 174/550 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 381851 attempts, .
[lola][.] 89 EF EXCL 174/514 380/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 110444591 m, 604318 m/sec, 110444591 t fired, .
[lola][.]
[lola][.] Time elapsed: 175 secs. Pages in use: 380
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 180/725 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 302886 attempts, .
[lola][.] 68 EF FNDP 180/545 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 325321 attempts, .
[lola][.] 73 EF FNDP 179/545 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 394338 attempts, .
[lola][.] 89 EF EXCL 179/514 390/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 113459593 m, 603000 m/sec, 113459592 t fired, .
[lola][.]
[lola][.] Time elapsed: 180 secs. Pages in use: 390
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 185/720 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 313230 attempts, .
[lola][.] 68 EF FNDP 185/540 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 335775 attempts, .
[lola][.] 73 EF FNDP 184/540 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 406693 attempts, .
[lola][.] 89 EF EXCL 184/514 400/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 116485935 m, 605268 m/sec, 116485935 t fired, .
[lola][.]
[lola][.] Time elapsed: 185 secs. Pages in use: 400
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 190/715 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 323744 attempts, .
[lola][.] 68 EF FNDP 190/535 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 346154 attempts, .
[lola][.] 73 EF FNDP 189/535 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 419099 attempts, .
[lola][.] 89 EF EXCL 189/514 411/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 119521976 m, 607208 m/sec, 119521976 t fired, .
[lola][.]
[lola][.] Time elapsed: 190 secs. Pages in use: 411
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 195/710 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 334033 attempts, .
[lola][.] 68 EF FNDP 195/530 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 356583 attempts, .
[lola][.] 73 EF FNDP 194/530 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 431520 attempts, .
[lola][.] 89 EF EXCL 194/514 421/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 122540715 m, 603747 m/sec, 122540715 t fired, .
[lola][.]
[lola][.] Time elapsed: 195 secs. Pages in use: 421
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 200/705 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 344203 attempts, .
[lola][.] 68 EF FNDP 200/525 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 366882 attempts, .
[lola][.] 73 EF FNDP 199/525 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 443906 attempts, .
[lola][.] 89 EF EXCL 199/514 432/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 125558739 m, 603604 m/sec, 125558739 t fired, .
[lola][.]
[lola][.] Time elapsed: 200 secs. Pages in use: 432
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 205/700 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 354686 attempts, .
[lola][.] 68 EF FNDP 205/520 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 377244 attempts, .
[lola][.] 73 EF FNDP 204/520 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 456343 attempts, .
[lola][.] 89 EF EXCL 204/514 442/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 128589028 m, 606057 m/sec, 128589028 t fired, .
[lola][.]
[lola][.] Time elapsed: 205 secs. Pages in use: 442
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 210/695 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 365038 attempts, .
[lola][.] 68 EF FNDP 210/515 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 387653 attempts, .
[lola][.] 73 EF FNDP 209/515 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 468699 attempts, .
[lola][.] 89 EF EXCL 209/514 452/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 131609023 m, 603999 m/sec, 131609023 t fired, .
[lola][.]
[lola][.] Time elapsed: 210 secs. Pages in use: 452
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 215/690 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 375443 attempts, .
[lola][.] 68 EF FNDP 215/510 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 397870 attempts, .
[lola][.] 73 EF FNDP 214/510 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 481023 attempts, .
[lola][.] 89 EF EXCL 214/514 463/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 134634651 m, 605125 m/sec, 134634651 t fired, .
[lola][.]
[lola][.] Time elapsed: 215 secs. Pages in use: 463
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 220/685 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 385804 attempts, .
[lola][.] 68 EF FNDP 220/505 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 407923 attempts, .
[lola][.] 73 EF FNDP 219/505 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 493270 attempts, .
[lola][.] 89 EF EXCL 219/514 473/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 137633553 m, 599780 m/sec, 137633552 t fired, .
[lola][.]
[lola][.] Time elapsed: 220 secs. Pages in use: 473
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 225/680 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 395956 attempts, .
[lola][.] 68 EF FNDP 225/500 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 418157 attempts, .
[lola][.] 73 EF FNDP 224/500 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 505446 attempts, .
[lola][.] 89 EF EXCL 224/514 483/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 140648112 m, 602911 m/sec, 140648112 t fired, .
[lola][.]
[lola][.] Time elapsed: 225 secs. Pages in use: 483
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 230/675 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 405633 attempts, .
[lola][.] 68 EF FNDP 230/495 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 427886 attempts, .
[lola][.] 73 EF FNDP 229/495 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 516927 attempts, .
[lola][.] 89 EF EXCL 229/514 494/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 143625637 m, 595505 m/sec, 143625637 t fired, .
[lola][.]
[lola][.] Time elapsed: 230 secs. Pages in use: 494
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 235/670 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 415445 attempts, .
[lola][.] 68 EF FNDP 235/490 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 437323 attempts, .
[lola][.] 73 EF FNDP 234/490 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 528315 attempts, .
[lola][.] 89 EF EXCL 234/514 504/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 146598944 m, 594661 m/sec, 146598944 t fired, .
[lola][.]
[lola][.] Time elapsed: 235 secs. Pages in use: 504
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 240/665 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 425269 attempts, .
[lola][.] 68 EF FNDP 240/485 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 446881 attempts, .
[lola][.] 73 EF FNDP 239/485 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 539671 attempts, .
[lola][.] 89 EF EXCL 239/514 514/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 149545795 m, 589370 m/sec, 149545794 t fired, .
[lola][.]
[lola][.] Time elapsed: 240 secs. Pages in use: 514
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 245/660 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 435125 attempts, .
[lola][.] 68 EF FNDP 245/480 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 456409 attempts, .
[lola][.] 73 EF FNDP 244/480 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 551081 attempts, .
[lola][.] 89 EF EXCL 244/514 524/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 152524973 m, 595835 m/sec, 152524973 t fired, .
[lola][.]
[lola][.] Time elapsed: 245 secs. Pages in use: 524
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 250/655 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 444899 attempts, .
[lola][.] 68 EF FNDP 250/475 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 465989 attempts, .
[lola][.] 73 EF FNDP 249/475 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 562635 attempts, .
[lola][.] 89 EF EXCL 249/514 534/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 155485163 m, 592038 m/sec, 155485163 t fired, .
[lola][.]
[lola][.] Time elapsed: 250 secs. Pages in use: 534
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 255/650 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 454649 attempts, .
[lola][.] 68 EF FNDP 255/470 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 475541 attempts, .
[lola][.] 73 EF FNDP 254/470 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 574000 attempts, .
[lola][.] 89 EF EXCL 254/514 544/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 158436135 m, 590194 m/sec, 158436135 t fired, .
[lola][.]
[lola][.] Time elapsed: 255 secs. Pages in use: 544
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 260/645 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 464216 attempts, .
[lola][.] 68 EF FNDP 260/465 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 485057 attempts, .
[lola][.] 73 EF FNDP 259/465 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 585344 attempts, .
[lola][.] 89 EF EXCL 259/514 555/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 161355534 m, 583879 m/sec, 161355534 t fired, .
[lola][.]
[lola][.] Time elapsed: 260 secs. Pages in use: 555
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 265/640 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 473956 attempts, .
[lola][.] 68 EF FNDP 265/460 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 494579 attempts, .
[lola][.] 73 EF FNDP 264/460 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 596844 attempts, .
[lola][.] 89 EF EXCL 264/514 565/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 164356088 m, 600110 m/sec, 164356088 t fired, .
[lola][.]
[lola][.] Time elapsed: 265 secs. Pages in use: 565
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 270/635 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 483559 attempts, .
[lola][.] 68 EF FNDP 270/455 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 504011 attempts, .
[lola][.] 73 EF FNDP 269/455 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 608005 attempts, .
[lola][.] 89 EF EXCL 269/514 575/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 167355955 m, 599973 m/sec, 167355955 t fired, .
[lola][.]
[lola][.] Time elapsed: 270 secs. Pages in use: 575
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 275/630 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 493338 attempts, .
[lola][.] 68 EF FNDP 275/450 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 513497 attempts, .
[lola][.] 73 EF FNDP 274/450 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 619426 attempts, .
[lola][.] 89 EF EXCL 274/514 585/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 170334648 m, 595738 m/sec, 170334648 t fired, .
[lola][.]
[lola][.] Time elapsed: 275 secs. Pages in use: 585
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 280/625 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 503238 attempts, .
[lola][.] 68 EF FNDP 280/445 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 522862 attempts, .
[lola][.] 73 EF FNDP 279/445 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 630923 attempts, .
[lola][.] 89 EF EXCL 279/514 595/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 173270210 m, 587112 m/sec, 173270209 t fired, .
[lola][.]
[lola][.] Time elapsed: 280 secs. Pages in use: 595
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 285/620 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 512993 attempts, .
[lola][.] 68 EF FNDP 285/440 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 532252 attempts, .
[lola][.] 73 EF FNDP 284/440 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 642312 attempts, .
[lola][.] 89 EF EXCL 284/514 606/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 176246911 m, 595340 m/sec, 176246911 t fired, .
[lola][.]
[lola][.] Time elapsed: 285 secs. Pages in use: 606
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 290/615 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 522810 attempts, .
[lola][.] 68 EF FNDP 290/435 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 541757 attempts, .
[lola][.] 73 EF FNDP 289/435 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 653880 attempts, .
[lola][.] 89 EF EXCL 289/514 616/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 179178687 m, 586355 m/sec, 179178687 t fired, .
[lola][.]
[lola][.] Time elapsed: 290 secs. Pages in use: 616
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 295/610 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 532560 attempts, .
[lola][.] 68 EF FNDP 295/430 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 551186 attempts, .
[lola][.] 73 EF FNDP 294/430 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 665317 attempts, .
[lola][.] 89 EF EXCL 294/514 626/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 182131587 m, 590580 m/sec, 182131587 t fired, .
[lola][.]
[lola][.] Time elapsed: 295 secs. Pages in use: 626
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 300/605 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 542165 attempts, .
[lola][.] 68 EF FNDP 300/425 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 560658 attempts, .
[lola][.] 73 EF FNDP 299/425 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 676570 attempts, .
[lola][.] 89 EF EXCL 299/514 636/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 185078977 m, 589478 m/sec, 185078977 t fired, .
[lola][.]
[lola][.] Time elapsed: 300 secs. Pages in use: 636
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 305/600 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 551605 attempts, .
[lola][.] 68 EF FNDP 305/420 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 569963 attempts, .
[lola][.] 73 EF FNDP 304/420 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 687831 attempts, .
[lola][.] 89 EF EXCL 304/514 646/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 188101125 m, 604429 m/sec, 188101125 t fired, .
[lola][.]
[lola][.] Time elapsed: 305 secs. Pages in use: 646
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 310/595 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 561301 attempts, .
[lola][.] 68 EF FNDP 310/415 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 579619 attempts, .
[lola][.] 73 EF FNDP 309/415 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 699092 attempts, .
[lola][.] 89 EF EXCL 309/514 657/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 191109372 m, 601649 m/sec, 191109372 t fired, .
[lola][.]
[lola][.] Time elapsed: 310 secs. Pages in use: 657
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 315/590 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 571038 attempts, .
[lola][.] 68 EF FNDP 315/410 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 589298 attempts, .
[lola][.] 73 EF FNDP 314/410 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 710552 attempts, .
[lola][.] 89 EF EXCL 314/514 667/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 194106039 m, 599333 m/sec, 194106039 t fired, .
[lola][.]
[lola][.] Time elapsed: 315 secs. Pages in use: 667
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 320/585 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 580823 attempts, .
[lola][.] 68 EF FNDP 320/405 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 598911 attempts, .
[lola][.] 73 EF FNDP 319/405 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 721837 attempts, .
[lola][.] 89 EF EXCL 319/514 677/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 197065966 m, 591985 m/sec, 197065965 t fired, .
[lola][.]
[lola][.] Time elapsed: 320 secs. Pages in use: 677
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 325/580 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 590506 attempts, .
[lola][.] 68 EF FNDP 325/400 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 608496 attempts, .
[lola][.] 73 EF FNDP 324/400 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 733139 attempts, .
[lola][.] 89 EF EXCL 324/514 687/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 200044329 m, 595672 m/sec, 200044328 t fired, .
[lola][.]
[lola][.] Time elapsed: 325 secs. Pages in use: 687
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 330/575 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 597937 attempts, .
[lola][.] 68 EF FNDP 330/395 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 615841 attempts, .
[lola][.] 73 EF FNDP 329/395 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 742376 attempts, .
[lola][.] 89 EF EXCL 329/514 698/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 203132508 m, 617635 m/sec, 203132507 t fired, .
[lola][.]
[lola][.] Time elapsed: 330 secs. Pages in use: 698
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 335/570 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 604122 attempts, .
[lola][.] 68 EF FNDP 335/390 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 621848 attempts, .
[lola][.] 73 EF FNDP 334/390 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 750179 attempts, .
[lola][.] 89 EF EXCL 334/514 709/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 206260012 m, 625500 m/sec, 206260011 t fired, .
[lola][.]
[lola][.] Time elapsed: 335 secs. Pages in use: 709
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 340/565 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 610188 attempts, .
[lola][.] 68 EF FNDP 340/385 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 627735 attempts, .
[lola][.] 73 EF FNDP 339/385 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 757988 attempts, .
[lola][.] 89 EF EXCL 339/514 720/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 209413276 m, 630652 m/sec, 209413276 t fired, .
[lola][.]
[lola][.] Time elapsed: 340 secs. Pages in use: 720
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 345/560 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 616316 attempts, .
[lola][.] 68 EF FNDP 345/380 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 633698 attempts, .
[lola][.] 73 EF FNDP 344/380 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 765771 attempts, .
[lola][.] 89 EF EXCL 344/514 730/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 212568014 m, 630947 m/sec, 212568014 t fired, .
[lola][.]
[lola][.] Time elapsed: 345 secs. Pages in use: 730
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 350/555 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 622367 attempts, .
[lola][.] 68 EF FNDP 350/375 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 639691 attempts, .
[lola][.] 73 EF FNDP 349/375 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 773427 attempts, .
[lola][.] 89 EF EXCL 349/514 741/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 215706804 m, 627758 m/sec, 215706804 t fired, .
[lola][.]
[lola][.] Time elapsed: 350 secs. Pages in use: 741
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 355/550 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 628608 attempts, .
[lola][.] 68 EF FNDP 355/370 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 645564 attempts, .
[lola][.] 73 EF FNDP 354/370 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 781191 attempts, .
[lola][.] 89 EF EXCL 354/514 752/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 218819876 m, 622614 m/sec, 218819876 t fired, .
[lola][.]
[lola][.] Time elapsed: 355 secs. Pages in use: 752
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 360/545 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 634820 attempts, .
[lola][.] 68 EF FNDP 360/365 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 651407 attempts, .
[lola][.] 73 EF FNDP 359/365 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-01 788981 attempts, .
[lola][.] 89 EF EXCL 359/514 763/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 221968587 m, 629742 m/sec, 221968586 t fired, .
[lola][.]
[lola][.] Time elapsed: 360 secs. Pages in use: 763
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][W] CANCELED task # 68 (type FNDP) for FunctionPointer-PT-a008-ReachabilityFireability-2024-02 (local timeout)
[lola][W] CANCELED task # 73 (type FNDP) for FunctionPointer-PT-a008-ReachabilityFireability-2024-01 (local timeout)
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF 0 2 0 0 1 1 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 2 0 0 1 1 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 365/540 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 640939 attempts, .
[lola][.] 89 EF EXCL 364/514 773/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 225087270 m, 623736 m/sec, 225087270 t fired, .
[lola][.]
[lola][.] Time elapsed: 365 secs. Pages in use: 773
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 73 (type FNDP) for FunctionPointer-PT-a008-ReachabilityFireability-2024-01
[lola][I] result : unknown
[lola][I] tried executions : 796694
[lola][I] time used : 364
[lola][I] memory pages used : 0
[lola][I] LAUNCH task # 65 (type FNDP) for 9 FunctionPointer-PT-a008-ReachabilityFireability-2024-03
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 66 (type EQUN) for 9 FunctionPointer-PT-a008-ReachabilityFireability-2024-03
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 68 (type FNDP) for FunctionPointer-PT-a008-ReachabilityFireability-2024-02
[lola][I] result : unknown
[lola][I] tried executions : 657315
[lola][I] time used : 365
[lola][I] memory pages used : 0
[lola][I] FINISHED task # 65 (type FNDP) for FunctionPointer-PT-a008-ReachabilityFireability-2024-03
[lola][I] result : true
[lola][I] tried executions : 2
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][W] CANCELED task # 66 (type EQUN) for FunctionPointer-PT-a008-ReachabilityFireability-2024-03 (obsolete)
[lola][I] LAUNCH task # 60 (type FNDP) for 18 FunctionPointer-PT-a008-ReachabilityFireability-2024-06
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 61 (type EQUN) for 18 FunctionPointer-PT-a008-ReachabilityFireability-2024-06
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 61 (type EQUN) for FunctionPointer-PT-a008-ReachabilityFireability-2024-06
[lola][I] result : false
[lola][W] CANCELED task # 60 (type FNDP) for FunctionPointer-PT-a008-ReachabilityFireability-2024-06 (obsolete)
[lola][I] LAUNCH task # 87 (type FNDP) for 24 FunctionPointer-PT-a008-ReachabilityFireability-2024-08
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 90 (type EQUN) for 24 FunctionPointer-PT-a008-ReachabilityFireability-2024-08
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 60 (type FNDP) for FunctionPointer-PT-a008-ReachabilityFireability-2024-06
[lola][I] result : unknown
[lola][I] tried executions : 2
[lola][I] time used : 1
[lola][I] memory pages used : 0
[lola][I] FINISHED task # 90 (type EQUN) for FunctionPointer-PT-a008-ReachabilityFireability-2024-08
[lola][I] result : false
[lola][W] CANCELED task # 87 (type FNDP) for FunctionPointer-PT-a008-ReachabilityFireability-2024-08 (obsolete)
[lola][I] LAUNCH task # 69 (type EQUN) for 6 FunctionPointer-PT-a008-ReachabilityFireability-2024-02
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 77 (type EQUN) for 3 FunctionPointer-PT-a008-ReachabilityFireability-2024-01
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 66 (type EQUN) for FunctionPointer-PT-a008-ReachabilityFireability-2024-03
[lola][I] result : unknown
[lola][I] FINISHED task # 87 (type FNDP) for FunctionPointer-PT-a008-ReachabilityFireability-2024-08
[lola][I] result : unknown
[lola][I] tried executions : 2
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] FINISHED task # 77 (type EQUN) for FunctionPointer-PT-a008-ReachabilityFireability-2024-01
[lola][I] result : false
[lola][I] LAUNCH task # 53 (type EQUN) for 39 FunctionPointer-PT-a008-ReachabilityFireability-2024-13
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF false state equation
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG true state equation
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG true state equation
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 1 1 0 2 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 370/3234 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 666680 attempts, .
[lola][.] 53 EF STEQ 4/1617 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 sara not yet started (preprocessing).
[lola][.] 69 EF STEQ 4/1617 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 sara not yet started (preprocessing).
[lola][.] 89 EF EXCL 369/1199 784/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 228072584 m, 597062 m/sec, 228072584 t fired, .
[lola][.]
[lola][.] Time elapsed: 370 secs. Pages in use: 784
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF false state equation
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG true state equation
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG true state equation
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 1 1 0 2 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 375/3230 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 692957 attempts, .
[lola][.] 53 EF STEQ 9/1613 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 sara not yet started (preprocessing).
[lola][.] 69 EF STEQ 9/1613 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 sara not yet started (preprocessing).
[lola][.] 89 EF EXCL 374/1199 794/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 231229727 m, 631428 m/sec, 231229726 t fired, .
[lola][.]
[lola][.] Time elapsed: 375 secs. Pages in use: 794
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF false state equation
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG true state equation
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG true state equation
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 1 1 0 2 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 380/3225 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 719351 attempts, .
[lola][.] 53 EF STEQ 14/1608 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 sara not yet started (preprocessing).
[lola][.] 69 EF STEQ 14/1608 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 sara not yet started (preprocessing).
[lola][.] 89 EF EXCL 379/1199 805/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 234446588 m, 643372 m/sec, 234446587 t fired, .
[lola][.]
[lola][.] Time elapsed: 380 secs. Pages in use: 805
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF false state equation
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG true state equation
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG true state equation
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 1 1 0 2 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 385/3220 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 745415 attempts, .
[lola][.] 53 EF STEQ 19/1603 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 sara not yet started (preprocessing).
[lola][.] 69 EF STEQ 19/1603 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 sara not yet started (preprocessing).
[lola][.] 89 EF EXCL 384/1199 816/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 237627112 m, 636104 m/sec, 237627111 t fired, .
[lola][.]
[lola][.] Time elapsed: 385 secs. Pages in use: 816
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF false state equation
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG true state equation
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG true state equation
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 1 1 0 2 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 390/3215 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 771688 attempts, .
[lola][.] 53 EF STEQ 24/1598 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 sara not yet started (preprocessing).
[lola][.] 69 EF STEQ 24/1598 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 sara not yet started (preprocessing).
[lola][.] 89 EF EXCL 389/1199 827/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 240799791 m, 634535 m/sec, 240799791 t fired, .
[lola][.]
[lola][.] Time elapsed: 390 secs. Pages in use: 827
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF false state equation
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG true state equation
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG true state equation
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 1 1 0 2 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 395/3210 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 797972 attempts, .
[lola][.] 53 EF STEQ 29/1593 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 sara not yet started (preprocessing).
[lola][.] 69 EF STEQ 29/1593 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 sara not yet started (preprocessing).
[lola][.] 89 EF EXCL 394/1199 838/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 243976598 m, 635361 m/sec, 243976597 t fired, .
[lola][.]
[lola][.] Time elapsed: 395 secs. Pages in use: 838
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF false state equation
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG true state equation
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG true state equation
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 1 1 0 2 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 400/3205 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 824221 attempts, .
[lola][.] 53 EF STEQ 34/1588 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 sara not yet started (preprocessing).
[lola][.] 69 EF STEQ 34/1588 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 sara not yet started (preprocessing).
[lola][.] 89 EF EXCL 399/1199 849/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 247147073 m, 634095 m/sec, 247147073 t fired, .
[lola][.]
[lola][.] Time elapsed: 400 secs. Pages in use: 849
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF false state equation
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG true state equation
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG true state equation
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 1 1 0 2 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 405/3200 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 850411 attempts, .
[lola][.] 53 EF STEQ 39/1583 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 sara not yet started (preprocessing).
[lola][.] 69 EF STEQ 39/1583 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 sara not yet started (preprocessing).
[lola][.] 89 EF EXCL 404/1199 860/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 250298523 m, 630290 m/sec, 250298522 t fired, .
[lola][.]
[lola][.] Time elapsed: 405 secs. Pages in use: 860
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF false state equation
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG true state equation
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG true state equation
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 1 1 0 2 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 410/3195 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 876733 attempts, .
[lola][.] 53 EF STEQ 44/1578 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 sara not yet started (preprocessing).
[lola][.] 69 EF STEQ 44/1578 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 sara not yet started (preprocessing).
[lola][.] 89 EF EXCL 409/1199 871/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 253435976 m, 627490 m/sec, 253435975 t fired, .
[lola][.]
[lola][.] Time elapsed: 410 secs. Pages in use: 871
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF false state equation
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG true state equation
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG true state equation
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 1 1 0 2 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 415/3190 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 903141 attempts, .
[lola][.] 53 EF STEQ 49/1573 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 sara not yet started (preprocessing).
[lola][.] 69 EF STEQ 49/1573 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 sara not yet started (preprocessing).
[lola][.] 89 EF EXCL 414/1199 882/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 256598856 m, 632576 m/sec, 256598856 t fired, .
[lola][.]
[lola][.] Time elapsed: 415 secs. Pages in use: 882
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-00: AG false state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-01: EF false state equation
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-03: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-04: AG false findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-05: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-06: AG true state equation
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-08: AG true state equation
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-10: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-11: EF true findpath
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-12: INITIAL false preprocessing
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-14: EF true state space
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-02: AG 0 1 1 0 2 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] FunctionPointer-PT-a008-ReachabilityFireability-2024-13: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 52 EF FNDP 421/3185 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 909977 attempts, .
[lola][.] 53 EF STEQ 55/1568 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-13 sara not yet started (preprocessing).
[lola][.] 69 EF STEQ 55/1568 0/5 FunctionPointer-PT-a008-ReachabilityFireability-2024-02 sara not yet started (preprocessing).
[lola][.] 89 EF EXCL 420/1199 884/2000 FunctionPointer-PT-a008-ReachabilityFireability-2024-07 257411578 m, 162544 m/sec, 257411578 t fired, .
[lola][.]
[lola][.] Time elapsed: 421 secs. Pages in use: 884
[lola][.] # running tasks: 4 of 4. Visible: 16
/home/mcc/BenchKit/BenchKit_head.sh: line 23: 401 Killed $BK_TOOL --conf=/home/mcc/BenchKit/bin/myconf --formula=$BK_EXAMINATION.xml $LOLA_TIMELIMIT $LOLA_MEMLIMIT model.pnml

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FunctionPointer-PT-a008"
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-a008, 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-171640604700183"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FunctionPointer-PT-a008.tgz
mv FunctionPointer-PT-a008 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 ;