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

About the Execution of LoLA for HealthRecord-PT-14

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
3287.239 459508.00 1821217.00 82.80 T?TTTFF?FTFTTFTF 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-171640606100807.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 HealthRecord-PT-14, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r181-tall-171640606100807
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 516K
-rw-r--r-- 1 mcc users 5.1K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 49K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 61K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Apr 22 14:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 22 14:48 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 22 14:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 22 14:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Apr 12 20:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 142K Apr 12 20:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Apr 12 20:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 67K Apr 12 20:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 22 14:48 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 22 14:48 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 3 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 72K 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 HealthRecord-PT-14-ReachabilityFireability-2024-00
FORMULA_NAME HealthRecord-PT-14-ReachabilityFireability-2024-01
FORMULA_NAME HealthRecord-PT-14-ReachabilityFireability-2024-02
FORMULA_NAME HealthRecord-PT-14-ReachabilityFireability-2024-03
FORMULA_NAME HealthRecord-PT-14-ReachabilityFireability-2024-04
FORMULA_NAME HealthRecord-PT-14-ReachabilityFireability-2024-05
FORMULA_NAME HealthRecord-PT-14-ReachabilityFireability-2024-06
FORMULA_NAME HealthRecord-PT-14-ReachabilityFireability-2024-07
FORMULA_NAME HealthRecord-PT-14-ReachabilityFireability-2024-08
FORMULA_NAME HealthRecord-PT-14-ReachabilityFireability-2024-09
FORMULA_NAME HealthRecord-PT-14-ReachabilityFireability-2024-10
FORMULA_NAME HealthRecord-PT-14-ReachabilityFireability-2024-11
FORMULA_NAME HealthRecord-PT-14-ReachabilityFireability-2024-12
FORMULA_NAME HealthRecord-PT-14-ReachabilityFireability-2024-13
FORMULA_NAME HealthRecord-PT-14-ReachabilityFireability-2024-14
FORMULA_NAME HealthRecord-PT-14-ReachabilityFireability-2024-15

=== Now, execution of the tool begins

BK_START 1717088955387

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

BK_STOP 1717089414895

--------------------
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: 0 transitions removed,0 places removed
[lola][I] LAUNCH task # 46 (type CNST) for 45 HealthRecord-PT-14-ReachabilityFireability-2024-15
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 46 (type CNST) for HealthRecord-PT-14-ReachabilityFireability-2024-15
[lola][I] result : false
[lola][I] LAUNCH task # 53 (type EXCL) for 0 HealthRecord-PT-14-ReachabilityFireability-2024-00
[lola][I] time limit : 171 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 51 (type FNDP) for 0 HealthRecord-PT-14-ReachabilityFireability-2024-00
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 52 (type EQUN) for 0 HealthRecord-PT-14-ReachabilityFireability-2024-00
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 48 (type FNDP) for 3 HealthRecord-PT-14-ReachabilityFireability-2024-01
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 53 (type EXCL) for HealthRecord-PT-14-ReachabilityFireability-2024-00
[lola][I] result : true
[lola][I] markings : 6
[lola][I] fired transitions : 5
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 51 (type FNDP) for HealthRecord-PT-14-ReachabilityFireability-2024-00 (obsolete)
[lola][W] CANCELED task # 52 (type EQUN) for HealthRecord-PT-14-ReachabilityFireability-2024-00 (obsolete)
[lola][I] LAUNCH task # 50 (type EXCL) for 3 HealthRecord-PT-14-ReachabilityFireability-2024-01
[lola][I] time limit : 179 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 49 (type EQUN) for 3 HealthRecord-PT-14-ReachabilityFireability-2024-01
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 51 (type FNDP) for HealthRecord-PT-14-ReachabilityFireability-2024-00
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] LAUNCH task # 54 (type FNDP) for 33 HealthRecord-PT-14-ReachabilityFireability-2024-11
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 54 (type FNDP) for HealthRecord-PT-14-ReachabilityFireability-2024-11
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] LAUNCH task # 57 (type FNDP) for 36 HealthRecord-PT-14-ReachabilityFireability-2024-12
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 57 (type FNDP) for HealthRecord-PT-14-ReachabilityFireability-2024-12
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] FINISHED task # 52 (type EQUN) for HealthRecord-PT-14-ReachabilityFireability-2024-00
[lola][I] result : true
[lola][I] LAUNCH task # 66 (type FNDP) for 27 HealthRecord-PT-14-ReachabilityFireability-2024-09
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 40 (type CNST) for 39 HealthRecord-PT-14-ReachabilityFireability-2024-13
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 40 (type CNST) for HealthRecord-PT-14-ReachabilityFireability-2024-13
[lola][I] result : false
[lola][I] FINISHED task # 66 (type FNDP) for HealthRecord-PT-14-ReachabilityFireability-2024-09
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] LAUNCH task # 92 (type FNDP) for 9 HealthRecord-PT-14-ReachabilityFireability-2024-03
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 92 (type FNDP) for HealthRecord-PT-14-ReachabilityFireability-2024-03
[lola][I] result : true
[lola][I] tried executions : 3
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] LAUNCH task # 85 (type FNDP) for 24 HealthRecord-PT-14-ReachabilityFireability-2024-08
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 85 (type FNDP) for HealthRecord-PT-14-ReachabilityFireability-2024-08
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] LAUNCH task # 89 (type FNDP) for 15 HealthRecord-PT-14-ReachabilityFireability-2024-05
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 89 (type FNDP) for HealthRecord-PT-14-ReachabilityFireability-2024-05
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] LAUNCH task # 71 (type FNDP) for 18 HealthRecord-PT-14-ReachabilityFireability-2024-06
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 71 (type FNDP) for HealthRecord-PT-14-ReachabilityFireability-2024-06
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] LAUNCH task # 77 (type FNDP) for 21 HealthRecord-PT-14-ReachabilityFireability-2024-07
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 5/899 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 189107 attempts, .
[lola][.] 49 EF STEQ 5/899 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 5/599 3/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 706888 m, 141377 m/sec, 3951253 t fired, .
[lola][.] 77 EF FNDP 5/899 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 227303 attempts, .
[lola][.]
[lola][.] Time elapsed: 9 secs. Pages in use: 3
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 10/894 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 378379 attempts, .
[lola][.] 49 EF STEQ 10/894 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 10/599 5/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 1376470 m, 133916 m/sec, 7521899 t fired, .
[lola][.] 77 EF FNDP 10/894 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 453684 attempts, .
[lola][.]
[lola][.] Time elapsed: 14 secs. Pages in use: 5
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 15/889 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 569008 attempts, .
[lola][.] 49 EF STEQ 15/889 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 15/599 7/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 1982811 m, 121268 m/sec, 11166836 t fired, .
[lola][.] 77 EF FNDP 15/889 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 680721 attempts, .
[lola][.]
[lola][.] Time elapsed: 19 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 20/884 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 759642 attempts, .
[lola][.] 49 EF STEQ 20/884 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 20/599 9/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 2584709 m, 120379 m/sec, 14986649 t fired, .
[lola][.] 77 EF FNDP 20/884 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 907612 attempts, .
[lola][.]
[lola][.] Time elapsed: 24 secs. Pages in use: 9
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 25/879 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 949542 attempts, .
[lola][.] 49 EF STEQ 25/879 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 25/599 12/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 3188368 m, 120731 m/sec, 18819947 t fired, .
[lola][.] 77 EF FNDP 25/879 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 1134431 attempts, .
[lola][.]
[lola][.] Time elapsed: 29 secs. Pages in use: 12
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 30/874 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 1140032 attempts, .
[lola][.] 49 EF STEQ 30/874 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 30/599 14/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 3804827 m, 123291 m/sec, 22668674 t fired, .
[lola][.] 77 EF FNDP 30/874 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 1362325 attempts, .
[lola][.]
[lola][.] Time elapsed: 34 secs. Pages in use: 14
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 35/869 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 1331594 attempts, .
[lola][.] 49 EF STEQ 35/869 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 35/599 16/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 4405420 m, 120118 m/sec, 26431402 t fired, .
[lola][.] 77 EF FNDP 35/869 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 1598479 attempts, .
[lola][.]
[lola][.] Time elapsed: 39 secs. Pages in use: 16
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 40/864 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 1522898 attempts, .
[lola][.] 49 EF STEQ 40/864 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 40/599 18/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 5038493 m, 126614 m/sec, 30141376 t fired, .
[lola][.] 77 EF FNDP 40/864 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 1836198 attempts, .
[lola][.]
[lola][.] Time elapsed: 44 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 45/859 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 1711864 attempts, .
[lola][.] 49 EF STEQ 45/859 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 45/599 20/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 5633547 m, 119010 m/sec, 33777967 t fired, .
[lola][.] 77 EF FNDP 45/859 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 2064685 attempts, .
[lola][.]
[lola][.] Time elapsed: 49 secs. Pages in use: 20
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 50/854 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 1905184 attempts, .
[lola][.] 49 EF STEQ 50/854 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 50/599 22/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 6340446 m, 141379 m/sec, 37047472 t fired, .
[lola][.] 77 EF FNDP 50/854 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 2303763 attempts, .
[lola][.]
[lola][.] Time elapsed: 54 secs. Pages in use: 22
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 55/849 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 2096989 attempts, .
[lola][.] 49 EF STEQ 55/849 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 55/599 25/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 7031585 m, 138227 m/sec, 40494929 t fired, .
[lola][.] 77 EF FNDP 55/849 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 2543554 attempts, .
[lola][.]
[lola][.] Time elapsed: 59 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 60/844 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 2290479 attempts, .
[lola][.] 49 EF STEQ 60/844 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 60/599 27/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 7586048 m, 110892 m/sec, 43867080 t fired, .
[lola][.] 77 EF FNDP 60/844 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 2776106 attempts, .
[lola][.]
[lola][.] Time elapsed: 64 secs. Pages in use: 27
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 65/839 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 2484624 attempts, .
[lola][.] 49 EF STEQ 65/839 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 65/599 29/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 8134853 m, 109761 m/sec, 47300336 t fired, .
[lola][.] 77 EF FNDP 65/839 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 3008269 attempts, .
[lola][.]
[lola][.] Time elapsed: 69 secs. Pages in use: 29
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 70/834 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 2678668 attempts, .
[lola][.] 49 EF STEQ 70/834 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 70/599 30/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 8665573 m, 106144 m/sec, 50620571 t fired, .
[lola][.] 77 EF FNDP 70/834 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 3236961 attempts, .
[lola][.]
[lola][.] Time elapsed: 74 secs. Pages in use: 30
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 75/829 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 2875613 attempts, .
[lola][.] 49 EF STEQ 75/829 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 75/599 32/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 9218493 m, 110584 m/sec, 54273722 t fired, .
[lola][.] 77 EF FNDP 75/829 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 3470265 attempts, .
[lola][.]
[lola][.] Time elapsed: 79 secs. Pages in use: 32
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 80/824 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 3067811 attempts, .
[lola][.] 49 EF STEQ 80/824 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 80/599 34/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 9788423 m, 113986 m/sec, 57707838 t fired, .
[lola][.] 77 EF FNDP 80/824 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 3699724 attempts, .
[lola][.]
[lola][.] Time elapsed: 84 secs. Pages in use: 34
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 85/819 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 3257990 attempts, .
[lola][.] 49 EF STEQ 85/819 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 85/599 36/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 10325165 m, 107348 m/sec, 61157166 t fired, .
[lola][.] 77 EF FNDP 85/819 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 3926555 attempts, .
[lola][.]
[lola][.] Time elapsed: 89 secs. Pages in use: 36
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 90/814 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 3447804 attempts, .
[lola][.] 49 EF STEQ 90/814 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 90/599 38/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 10883319 m, 111630 m/sec, 64653010 t fired, .
[lola][.] 77 EF FNDP 90/814 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 4161349 attempts, .
[lola][.]
[lola][.] Time elapsed: 94 secs. Pages in use: 38
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 95/809 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 3636726 attempts, .
[lola][.] 49 EF STEQ 95/809 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 95/599 40/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 11415103 m, 106356 m/sec, 68099739 t fired, .
[lola][.] 77 EF FNDP 95/809 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 4389436 attempts, .
[lola][.]
[lola][.] Time elapsed: 99 secs. Pages in use: 40
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 100/804 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 3826236 attempts, .
[lola][.] 49 EF STEQ 100/804 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 100/599 42/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 11954078 m, 107795 m/sec, 71684686 t fired, .
[lola][.] 77 EF FNDP 100/804 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 4616656 attempts, .
[lola][.]
[lola][.] Time elapsed: 104 secs. Pages in use: 42
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 105/799 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 4010868 attempts, .
[lola][.] 49 EF STEQ 105/799 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 105/599 44/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 12531791 m, 115542 m/sec, 75059564 t fired, .
[lola][.] 77 EF FNDP 105/799 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 4843727 attempts, .
[lola][.]
[lola][.] Time elapsed: 109 secs. Pages in use: 44
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 110/794 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 4200077 attempts, .
[lola][.] 49 EF STEQ 110/794 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 110/599 45/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 13077940 m, 109229 m/sec, 78602442 t fired, .
[lola][.] 77 EF FNDP 110/794 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 5070336 attempts, .
[lola][.]
[lola][.] Time elapsed: 114 secs. Pages in use: 45
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 115/789 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 4389942 attempts, .
[lola][.] 49 EF STEQ 115/789 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 115/599 47/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 13652281 m, 114868 m/sec, 82103294 t fired, .
[lola][.] 77 EF FNDP 115/789 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 5302497 attempts, .
[lola][.]
[lola][.] Time elapsed: 119 secs. Pages in use: 47
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 120/784 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 4580192 attempts, .
[lola][.] 49 EF STEQ 120/784 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 120/599 49/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 14214388 m, 112421 m/sec, 85663985 t fired, .
[lola][.] 77 EF FNDP 120/784 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 5537349 attempts, .
[lola][.]
[lola][.] Time elapsed: 124 secs. Pages in use: 49
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 125/779 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 4770321 attempts, .
[lola][.] 49 EF STEQ 125/779 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 125/599 51/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 14767008 m, 110524 m/sec, 89274993 t fired, .
[lola][.] 77 EF FNDP 125/779 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 5768366 attempts, .
[lola][.]
[lola][.] Time elapsed: 129 secs. Pages in use: 51
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 130/774 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 4962121 attempts, .
[lola][.] 49 EF STEQ 130/774 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 130/599 53/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 15332136 m, 113025 m/sec, 92864142 t fired, .
[lola][.] 77 EF FNDP 130/774 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 5995203 attempts, .
[lola][.]
[lola][.] Time elapsed: 134 secs. Pages in use: 53
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 135/769 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 5152307 attempts, .
[lola][.] 49 EF STEQ 135/769 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 135/599 55/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 15863478 m, 106268 m/sec, 96394921 t fired, .
[lola][.] 77 EF FNDP 135/769 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 6221628 attempts, .
[lola][.]
[lola][.] Time elapsed: 139 secs. Pages in use: 55
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 140/764 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 5341085 attempts, .
[lola][.] 49 EF STEQ 140/764 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 140/599 57/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 16439409 m, 115186 m/sec, 100021619 t fired, .
[lola][.] 77 EF FNDP 140/764 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 6455104 attempts, .
[lola][.]
[lola][.] Time elapsed: 144 secs. Pages in use: 57
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 145/759 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 5530630 attempts, .
[lola][.] 49 EF STEQ 145/759 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 145/599 59/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 17013156 m, 114749 m/sec, 103710111 t fired, .
[lola][.] 77 EF FNDP 145/759 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 6690415 attempts, .
[lola][.]
[lola][.] Time elapsed: 149 secs. Pages in use: 59
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 150/754 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 5721136 attempts, .
[lola][.] 49 EF STEQ 150/754 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 150/599 61/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 17594535 m, 116275 m/sec, 107335749 t fired, .
[lola][.] 77 EF FNDP 150/754 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 6925565 attempts, .
[lola][.]
[lola][.] Time elapsed: 154 secs. Pages in use: 61
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 155/749 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 5910434 attempts, .
[lola][.] 49 EF STEQ 155/749 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 155/599 63/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 18154256 m, 111944 m/sec, 111015163 t fired, .
[lola][.] 77 EF FNDP 155/749 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 7153308 attempts, .
[lola][.]
[lola][.] Time elapsed: 159 secs. Pages in use: 63
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 160/744 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 6100515 attempts, .
[lola][.] 49 EF STEQ 160/744 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 160/599 65/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 18703471 m, 109843 m/sec, 114774054 t fired, .
[lola][.] 77 EF FNDP 160/744 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 7379697 attempts, .
[lola][.]
[lola][.] Time elapsed: 164 secs. Pages in use: 65
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 165/739 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 6290514 attempts, .
[lola][.] 49 EF STEQ 165/739 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 165/599 67/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 19229341 m, 105174 m/sec, 118456567 t fired, .
[lola][.] 77 EF FNDP 165/739 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 7612533 attempts, .
[lola][.]
[lola][.] Time elapsed: 169 secs. Pages in use: 67
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 170/734 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 6479825 attempts, .
[lola][.] 49 EF STEQ 170/734 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 170/599 68/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 19738591 m, 101850 m/sec, 122223663 t fired, .
[lola][.] 77 EF FNDP 170/734 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 7847138 attempts, .
[lola][.]
[lola][.] Time elapsed: 174 secs. Pages in use: 68
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 175/729 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 6669710 attempts, .
[lola][.] 49 EF STEQ 175/729 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 175/599 70/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 20315465 m, 115374 m/sec, 125907794 t fired, .
[lola][.] 77 EF FNDP 175/729 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 8082037 attempts, .
[lola][.]
[lola][.] Time elapsed: 179 secs. Pages in use: 70
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 180/724 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 6859315 attempts, .
[lola][.] 49 EF STEQ 180/724 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 180/599 72/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 20888071 m, 114521 m/sec, 129675844 t fired, .
[lola][.] 77 EF FNDP 180/724 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 8317143 attempts, .
[lola][.]
[lola][.] Time elapsed: 184 secs. Pages in use: 72
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 185/719 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 7048178 attempts, .
[lola][.] 49 EF STEQ 185/719 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 185/599 74/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 21431674 m, 108720 m/sec, 133389102 t fired, .
[lola][.] 77 EF FNDP 185/719 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 8551777 attempts, .
[lola][.]
[lola][.] Time elapsed: 189 secs. Pages in use: 74
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 190/714 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 7237726 attempts, .
[lola][.] 49 EF STEQ 190/714 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 190/599 76/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 22006959 m, 115057 m/sec, 137130781 t fired, .
[lola][.] 77 EF FNDP 190/714 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 8779055 attempts, .
[lola][.]
[lola][.] Time elapsed: 194 secs. Pages in use: 76
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 195/709 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 7427326 attempts, .
[lola][.] 49 EF STEQ 195/709 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 195/599 78/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 22550574 m, 108723 m/sec, 140476819 t fired, .
[lola][.] 77 EF FNDP 195/709 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 9005766 attempts, .
[lola][.]
[lola][.] Time elapsed: 199 secs. Pages in use: 78
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 200/704 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 7616961 attempts, .
[lola][.] 49 EF STEQ 200/704 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 200/599 80/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 23136774 m, 117240 m/sec, 143846431 t fired, .
[lola][.] 77 EF FNDP 200/704 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 9232530 attempts, .
[lola][.]
[lola][.] Time elapsed: 204 secs. Pages in use: 80
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 205/699 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 7803461 attempts, .
[lola][.] 49 EF STEQ 205/699 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 205/599 82/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 23679654 m, 108576 m/sec, 147329088 t fired, .
[lola][.] 77 EF FNDP 205/699 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 9454964 attempts, .
[lola][.]
[lola][.] Time elapsed: 209 secs. Pages in use: 82
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 210/694 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 7991852 attempts, .
[lola][.] 49 EF STEQ 210/694 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 210/599 84/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 24222484 m, 108566 m/sec, 150799153 t fired, .
[lola][.] 77 EF FNDP 210/694 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 9681999 attempts, .
[lola][.]
[lola][.] Time elapsed: 214 secs. Pages in use: 84
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 215/689 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 8181262 attempts, .
[lola][.] 49 EF STEQ 215/689 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 215/599 86/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 24770734 m, 109650 m/sec, 154384748 t fired, .
[lola][.] 77 EF FNDP 215/689 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 9909112 attempts, .
[lola][.]
[lola][.] Time elapsed: 219 secs. Pages in use: 86
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 220/684 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 8369791 attempts, .
[lola][.] 49 EF STEQ 220/684 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 220/599 87/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 25311702 m, 108193 m/sec, 157846478 t fired, .
[lola][.] 77 EF FNDP 220/684 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 10135709 attempts, .
[lola][.]
[lola][.] Time elapsed: 224 secs. Pages in use: 87
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 225/679 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 8558584 attempts, .
[lola][.] 49 EF STEQ 225/679 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 225/599 89/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 25856555 m, 108970 m/sec, 161152857 t fired, .
[lola][.] 77 EF FNDP 225/679 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 10368392 attempts, .
[lola][.]
[lola][.] Time elapsed: 229 secs. Pages in use: 89
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 230/674 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 8746403 attempts, .
[lola][.] 49 EF STEQ 230/674 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 230/599 91/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 26397310 m, 108151 m/sec, 164501097 t fired, .
[lola][.] 77 EF FNDP 230/674 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 10603532 attempts, .
[lola][.]
[lola][.] Time elapsed: 234 secs. Pages in use: 91
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 235/669 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 8935926 attempts, .
[lola][.] 49 EF STEQ 235/669 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 235/599 93/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 26932212 m, 106980 m/sec, 167912866 t fired, .
[lola][.] 77 EF FNDP 235/669 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 10838554 attempts, .
[lola][.]
[lola][.] Time elapsed: 239 secs. Pages in use: 93
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 240/664 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 9126021 attempts, .
[lola][.] 49 EF STEQ 240/664 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 240/599 95/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 27463066 m, 106170 m/sec, 171311564 t fired, .
[lola][.] 77 EF FNDP 240/664 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 11072680 attempts, .
[lola][.]
[lola][.] Time elapsed: 244 secs. Pages in use: 95
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 245/659 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 9315414 attempts, .
[lola][.] 49 EF STEQ 245/659 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 245/599 97/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 28003532 m, 108093 m/sec, 174832796 t fired, .
[lola][.] 77 EF FNDP 245/659 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 11299840 attempts, .
[lola][.]
[lola][.] Time elapsed: 249 secs. Pages in use: 97
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 250/654 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 9504539 attempts, .
[lola][.] 49 EF STEQ 250/654 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 250/599 99/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 28537171 m, 106727 m/sec, 178268242 t fired, .
[lola][.] 77 EF FNDP 250/654 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 11526447 attempts, .
[lola][.]
[lola][.] Time elapsed: 254 secs. Pages in use: 99
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 255/649 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 9695398 attempts, .
[lola][.] 49 EF STEQ 255/649 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 255/599 100/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 29053731 m, 103312 m/sec, 181589452 t fired, .
[lola][.] 77 EF FNDP 255/649 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 11753147 attempts, .
[lola][.]
[lola][.] Time elapsed: 259 secs. Pages in use: 100
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 260/644 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 9884773 attempts, .
[lola][.] 49 EF STEQ 260/644 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 260/599 103/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 29689665 m, 127186 m/sec, 185113280 t fired, .
[lola][.] 77 EF FNDP 260/644 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 11980410 attempts, .
[lola][.]
[lola][.] Time elapsed: 264 secs. Pages in use: 103
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 265/639 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 10073661 attempts, .
[lola][.] 49 EF STEQ 265/639 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 265/599 105/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 30277488 m, 117564 m/sec, 188506794 t fired, .
[lola][.] 77 EF FNDP 265/639 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 12207028 attempts, .
[lola][.]
[lola][.] Time elapsed: 269 secs. Pages in use: 105
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 270/634 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 10263058 attempts, .
[lola][.] 49 EF STEQ 270/634 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 270/599 106/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 30755622 m, 95626 m/sec, 191656684 t fired, .
[lola][.] 77 EF FNDP 270/634 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 12433134 attempts, .
[lola][.]
[lola][.] Time elapsed: 274 secs. Pages in use: 106
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 275/629 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 10449001 attempts, .
[lola][.] 49 EF STEQ 275/629 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 275/599 108/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 31266259 m, 102127 m/sec, 194820144 t fired, .
[lola][.] 77 EF FNDP 275/629 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 12666181 attempts, .
[lola][.]
[lola][.] Time elapsed: 279 secs. Pages in use: 108
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 280/624 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 10638573 attempts, .
[lola][.] 49 EF STEQ 280/624 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 280/599 110/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 31751456 m, 97039 m/sec, 198085156 t fired, .
[lola][.] 77 EF FNDP 280/624 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 12900193 attempts, .
[lola][.]
[lola][.] Time elapsed: 284 secs. Pages in use: 110
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 285/619 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 10829540 attempts, .
[lola][.] 49 EF STEQ 285/619 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 285/599 111/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 32259006 m, 101510 m/sec, 201474506 t fired, .
[lola][.] 77 EF FNDP 285/619 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 13134589 attempts, .
[lola][.]
[lola][.] Time elapsed: 289 secs. Pages in use: 111
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 290/614 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 11019452 attempts, .
[lola][.] 49 EF STEQ 290/614 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 290/599 113/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 32769592 m, 102117 m/sec, 204751548 t fired, .
[lola][.] 77 EF FNDP 290/614 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 13369224 attempts, .
[lola][.]
[lola][.] Time elapsed: 294 secs. Pages in use: 113
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 295/609 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 11208093 attempts, .
[lola][.] 49 EF STEQ 295/609 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 295/599 115/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 33258499 m, 97781 m/sec, 207914496 t fired, .
[lola][.] 77 EF FNDP 295/609 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 13603679 attempts, .
[lola][.]
[lola][.] Time elapsed: 299 secs. Pages in use: 115
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 300/604 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 11397098 attempts, .
[lola][.] 49 EF STEQ 300/604 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 300/599 117/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 33772304 m, 102761 m/sec, 211253245 t fired, .
[lola][.] 77 EF FNDP 300/604 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 13837616 attempts, .
[lola][.]
[lola][.] Time elapsed: 304 secs. Pages in use: 117
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 305/599 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 11586635 attempts, .
[lola][.] 49 EF STEQ 305/599 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 305/599 119/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 34461527 m, 137844 m/sec, 214394185 t fired, .
[lola][.] 77 EF FNDP 305/599 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 14071972 attempts, .
[lola][.]
[lola][.] Time elapsed: 309 secs. Pages in use: 119
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 310/594 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 11777623 attempts, .
[lola][.] 49 EF STEQ 310/594 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 310/599 121/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 35172040 m, 142102 m/sec, 217606678 t fired, .
[lola][.] 77 EF FNDP 310/594 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 14306428 attempts, .
[lola][.]
[lola][.] Time elapsed: 314 secs. Pages in use: 121
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 315/589 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 11967117 attempts, .
[lola][.] 49 EF STEQ 315/589 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 315/599 123/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 35775830 m, 120758 m/sec, 220284716 t fired, .
[lola][.] 77 EF FNDP 315/589 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 14541028 attempts, .
[lola][.]
[lola][.] Time elapsed: 319 secs. Pages in use: 123
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 320/584 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 12157490 attempts, .
[lola][.] 49 EF STEQ 320/584 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 320/599 126/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 36391166 m, 123067 m/sec, 223163014 t fired, .
[lola][.] 77 EF FNDP 320/584 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 14771391 attempts, .
[lola][.]
[lola][.] Time elapsed: 324 secs. Pages in use: 126
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 325/579 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 12346671 attempts, .
[lola][.] 49 EF STEQ 325/579 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 325/599 128/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 36991063 m, 119979 m/sec, 226109267 t fired, .
[lola][.] 77 EF FNDP 325/579 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 14997525 attempts, .
[lola][.]
[lola][.] Time elapsed: 329 secs. Pages in use: 128
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 330/574 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 12536815 attempts, .
[lola][.] 49 EF STEQ 330/574 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 330/599 130/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 37583917 m, 118570 m/sec, 229137185 t fired, .
[lola][.] 77 EF FNDP 330/574 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 15223788 attempts, .
[lola][.]
[lola][.] Time elapsed: 334 secs. Pages in use: 130
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 335/569 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 12725691 attempts, .
[lola][.] 49 EF STEQ 335/569 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 335/599 132/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 38216779 m, 126572 m/sec, 232251944 t fired, .
[lola][.] 77 EF FNDP 335/569 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 15447172 attempts, .
[lola][.]
[lola][.] Time elapsed: 339 secs. Pages in use: 132
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 340/564 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 12914957 attempts, .
[lola][.] 49 EF STEQ 340/564 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 340/599 134/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 38834903 m, 123624 m/sec, 235225858 t fired, .
[lola][.] 77 EF FNDP 340/564 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 15674180 attempts, .
[lola][.]
[lola][.] Time elapsed: 344 secs. Pages in use: 134
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 345/559 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 13105472 attempts, .
[lola][.] 49 EF STEQ 345/559 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 345/599 136/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 39471769 m, 127373 m/sec, 238350780 t fired, .
[lola][.] 77 EF FNDP 345/559 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 15901349 attempts, .
[lola][.]
[lola][.] Time elapsed: 349 secs. Pages in use: 136
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 350/554 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 13294989 attempts, .
[lola][.] 49 EF STEQ 350/554 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 350/599 138/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 40096827 m, 125011 m/sec, 241512923 t fired, .
[lola][.] 77 EF FNDP 350/554 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 16127921 attempts, .
[lola][.]
[lola][.] Time elapsed: 354 secs. Pages in use: 138
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 355/549 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 13485257 attempts, .
[lola][.] 49 EF STEQ 355/549 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 355/599 140/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 40710143 m, 122663 m/sec, 244669436 t fired, .
[lola][.] 77 EF FNDP 355/549 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 16354743 attempts, .
[lola][.]
[lola][.] Time elapsed: 359 secs. Pages in use: 140
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 360/544 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 13676757 attempts, .
[lola][.] 49 EF STEQ 360/544 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 360/599 142/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 41331686 m, 124308 m/sec, 247882759 t fired, .
[lola][.] 77 EF FNDP 360/544 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 16581816 attempts, .
[lola][.]
[lola][.] Time elapsed: 364 secs. Pages in use: 142
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 365/539 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 13867132 attempts, .
[lola][.] 49 EF STEQ 365/539 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 365/599 145/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 41971009 m, 127864 m/sec, 251045715 t fired, .
[lola][.] 77 EF FNDP 365/539 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 16808981 attempts, .
[lola][.]
[lola][.] Time elapsed: 369 secs. Pages in use: 145
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 370/534 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 14056491 attempts, .
[lola][.] 49 EF STEQ 370/534 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 370/599 147/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 42617054 m, 129209 m/sec, 254289386 t fired, .
[lola][.] 77 EF FNDP 370/534 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 17036558 attempts, .
[lola][.]
[lola][.] Time elapsed: 374 secs. Pages in use: 147
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 375/529 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 14245986 attempts, .
[lola][.] 49 EF STEQ 375/529 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 375/599 149/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 43133294 m, 103248 m/sec, 257221783 t fired, .
[lola][.] 77 EF FNDP 375/529 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 17263301 attempts, .
[lola][.]
[lola][.] Time elapsed: 379 secs. Pages in use: 149
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 380/524 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 14437309 attempts, .
[lola][.] 49 EF STEQ 380/524 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 380/599 150/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 43630392 m, 99419 m/sec, 260184662 t fired, .
[lola][.] 77 EF FNDP 380/524 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 17489196 attempts, .
[lola][.]
[lola][.] Time elapsed: 384 secs. Pages in use: 150
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 385/519 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 14627553 attempts, .
[lola][.] 49 EF STEQ 385/519 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 385/599 152/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 44119244 m, 97770 m/sec, 263271034 t fired, .
[lola][.] 77 EF FNDP 385/519 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 17716065 attempts, .
[lola][.]
[lola][.] Time elapsed: 389 secs. Pages in use: 152
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 390/514 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 14818002 attempts, .
[lola][.] 49 EF STEQ 390/514 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 390/599 154/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 44610347 m, 98220 m/sec, 266358276 t fired, .
[lola][.] 77 EF FNDP 390/514 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 17942450 attempts, .
[lola][.]
[lola][.] Time elapsed: 394 secs. Pages in use: 154
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 395/509 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 15007187 attempts, .
[lola][.] 49 EF STEQ 395/509 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 395/599 155/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 45081886 m, 94307 m/sec, 269439963 t fired, .
[lola][.] 77 EF FNDP 395/509 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 18174708 attempts, .
[lola][.]
[lola][.] Time elapsed: 399 secs. Pages in use: 155
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 400/504 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 15197617 attempts, .
[lola][.] 49 EF STEQ 400/504 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 400/599 157/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 45553609 m, 94344 m/sec, 272528059 t fired, .
[lola][.] 77 EF FNDP 400/504 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 18409460 attempts, .
[lola][.]
[lola][.] Time elapsed: 404 secs. Pages in use: 157
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 405/499 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 15386711 attempts, .
[lola][.] 49 EF STEQ 405/499 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 405/599 159/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 46048153 m, 98908 m/sec, 275465660 t fired, .
[lola][.] 77 EF FNDP 405/499 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 18644608 attempts, .
[lola][.]
[lola][.] Time elapsed: 409 secs. Pages in use: 159
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 410/494 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 15576939 attempts, .
[lola][.] 49 EF STEQ 410/494 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 410/599 160/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 46540042 m, 98377 m/sec, 278524669 t fired, .
[lola][.] 77 EF FNDP 410/494 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 18880182 attempts, .
[lola][.]
[lola][.] Time elapsed: 414 secs. Pages in use: 160
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 415/489 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 15766900 attempts, .
[lola][.] 49 EF STEQ 415/489 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 415/599 162/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 47020786 m, 96148 m/sec, 281538348 t fired, .
[lola][.] 77 EF FNDP 415/489 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 19115182 attempts, .
[lola][.]
[lola][.] Time elapsed: 419 secs. Pages in use: 162
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 420/484 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 15955891 attempts, .
[lola][.] 49 EF STEQ 420/484 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 420/599 164/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 47482937 m, 92430 m/sec, 284541376 t fired, .
[lola][.] 77 EF FNDP 420/484 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 19350210 attempts, .
[lola][.]
[lola][.] Time elapsed: 424 secs. Pages in use: 164
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 425/479 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 16146017 attempts, .
[lola][.] 49 EF STEQ 425/479 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 425/599 165/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 48011701 m, 105752 m/sec, 287477144 t fired, .
[lola][.] 77 EF FNDP 425/479 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 19583672 attempts, .
[lola][.]
[lola][.] Time elapsed: 429 secs. Pages in use: 165
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 430/474 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 16335614 attempts, .
[lola][.] 49 EF STEQ 430/474 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 430/599 167/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 48516976 m, 101055 m/sec, 290648855 t fired, .
[lola][.] 77 EF FNDP 430/474 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 19810255 attempts, .
[lola][.]
[lola][.] Time elapsed: 434 secs. Pages in use: 167
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 435/469 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 16524416 attempts, .
[lola][.] 49 EF STEQ 435/469 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 435/599 169/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 49007919 m, 98188 m/sec, 293809854 t fired, .
[lola][.] 77 EF FNDP 435/469 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 20037500 attempts, .
[lola][.]
[lola][.] Time elapsed: 439 secs. Pages in use: 169
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 440/464 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 16713512 attempts, .
[lola][.] 49 EF STEQ 440/464 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 440/599 171/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 49531996 m, 104815 m/sec, 297034835 t fired, .
[lola][.] 77 EF FNDP 440/464 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 20264544 attempts, .
[lola][.]
[lola][.] Time elapsed: 444 secs. Pages in use: 171
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 445/459 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 16902640 attempts, .
[lola][.] 49 EF STEQ 445/459 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 445/599 172/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 50030666 m, 99734 m/sec, 300259227 t fired, .
[lola][.] 77 EF FNDP 445/459 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 20491262 attempts, .
[lola][.]
[lola][.] Time elapsed: 449 secs. Pages in use: 172
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 3 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 48 EF FNDP 450/454 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 17094468 attempts, .
[lola][.] 49 EF STEQ 450/454 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 50 EF EXCL 450/599 174/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 50541648 m, 102196 m/sec, 303462425 t fired, .
[lola][.] 77 EF FNDP 450/454 0/5 HealthRecord-PT-14-ReachabilityFireability-2024-07 20717709 attempts, .
[lola][.]
[lola][.] Time elapsed: 454 secs. Pages in use: 174
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][W] CANCELED task # 48 (type FNDP) for HealthRecord-PT-14-ReachabilityFireability-2024-01 (local timeout)
[lola][W] CANCELED task # 49 (type EQUN) for HealthRecord-PT-14-ReachabilityFireability-2024-01 (local timeout)
[lola][W] CANCELED task # 77 (type FNDP) for HealthRecord-PT-14-ReachabilityFireability-2024-07 (local timeout)
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-00: EF true state space
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-03: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-05: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-06: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-08: AG false findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-09: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-11: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-12: EF true findpath
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-13: INITIAL false preprocessing
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-01: EF 0 0 1 0 1 2 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-07: AG 0 2 0 0 1 1 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] HealthRecord-PT-14-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 50 EF EXCL 455/599 176/2000 HealthRecord-PT-14-ReachabilityFireability-2024-01 51049251 m, 101520 m/sec, 306633892 t fired, .
[lola][.]
[lola][.] Time elapsed: 459 secs. Pages in use: 176
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] LAUNCH task # 80 (type FNDP) for 30 HealthRecord-PT-14-ReachabilityFireability-2024-10
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 83 (type EQUN) for 30 HealthRecord-PT-14-ReachabilityFireability-2024-10
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 69 (type FNDP) for 42 HealthRecord-PT-14-ReachabilityFireability-2024-14
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 77 (type FNDP) for HealthRecord-PT-14-ReachabilityFireability-2024-07
[lola][I] result : unknown
[lola][I] tried executions : 20944167
[lola][I] time used : 455
[lola][I] memory pages used : 0
[lola][I] FINISHED task # 48 (type FNDP) for HealthRecord-PT-14-ReachabilityFireability-2024-01
[lola][I] result : unknown
[lola][I] tried executions : 17283923
[lola][I] time used : 455
[lola][I] memory pages used : 0
[lola][I] FINISHED task # 80 (type FNDP) for HealthRecord-PT-14-ReachabilityFireability-2024-10
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][W] CANCELED task # 83 (type EQUN) for HealthRecord-PT-14-ReachabilityFireability-2024-10 (obsolete)
[lola][I] LAUNCH task # 60 (type FNDP) for 12 HealthRecord-PT-14-ReachabilityFireability-2024-04
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 61 (type EQUN) for 12 HealthRecord-PT-14-ReachabilityFireability-2024-04
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 60 (type FNDP) for HealthRecord-PT-14-ReachabilityFireability-2024-04
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][W] CANCELED task # 61 (type EQUN) for HealthRecord-PT-14-ReachabilityFireability-2024-04 (obsolete)
[lola][I] LAUNCH task # 63 (type FNDP) for 6 HealthRecord-PT-14-ReachabilityFireability-2024-02
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 64 (type EQUN) for 6 HealthRecord-PT-14-ReachabilityFireability-2024-02
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 63 (type FNDP) for HealthRecord-PT-14-ReachabilityFireability-2024-02
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][W] CANCELED task # 64 (type EQUN) for HealthRecord-PT-14-ReachabilityFireability-2024-02 (obsolete)
[lola][I] LAUNCH task # 81 (type EQUN) for 21 HealthRecord-PT-14-ReachabilityFireability-2024-07
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 75 (type EQUN) for 42 HealthRecord-PT-14-ReachabilityFireability-2024-14
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 69 (type FNDP) for HealthRecord-PT-14-ReachabilityFireability-2024-14
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][W] CANCELED task # 75 (type EQUN) for HealthRecord-PT-14-ReachabilityFireability-2024-14 (obsolete)
[lola][I] LAUNCH task # 49 (type EQUN) for 3 HealthRecord-PT-14-ReachabilityFireability-2024-01
[lola][I] time limit : 3141 sec
[lola][I] memory limit: 5 pages
/home/mcc/BenchKit/BenchKit_head.sh: line 23: 406 Segmentation fault $BK_TOOL --conf=/home/mcc/BenchKit/bin/myconf --formula=$BK_EXAMINATION.xml $LOLA_TIMELIMIT $LOLA_MEMLIMIT model.pnml

Sequence of Actions to be Executed by the VM

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

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

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