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

About the Execution of LoLA for RingSingleMessageInMbox-PT-d1m005

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
6903.023 457756.00 1534518.00 389.10 TTFFTTTFFTFFTFFF 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.r335-tall-171679081300063.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 RingSingleMessageInMbox-PT-d1m005, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r335-tall-171679081300063
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.2M
-rw-r--r-- 1 mcc users 6.8K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Apr 23 07:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 23 07:48 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 19 07:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 19 18:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.6K Apr 13 00:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 70K Apr 13 00:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Apr 13 00:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 78K Apr 13 00:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Apr 23 07:48 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Apr 23 07:48 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 7 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 5.8M May 18 16:43 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 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00
FORMULA_NAME RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01
FORMULA_NAME RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02
FORMULA_NAME RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03
FORMULA_NAME RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04
FORMULA_NAME RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05
FORMULA_NAME RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06
FORMULA_NAME RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07
FORMULA_NAME RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08
FORMULA_NAME RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09
FORMULA_NAME RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10
FORMULA_NAME RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11
FORMULA_NAME RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12
FORMULA_NAME RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13
FORMULA_NAME RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14
FORMULA_NAME RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15

=== Now, execution of the tool begins

BK_START 1717070968346

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

BK_STOP 1717071426102

--------------------
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,4305 places removed
[lola][I] LAUNCH task # 49 (type SKEL/FNDP) for 12 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 50 (type SKEL/EQUN) for 12 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 51 (type SKEL/SRCH) for 12 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 49 (type SKEL/FNDP) for RingSingleMessageInMbox-PT-d1m005-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 # 50 (type EQUN) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04 (obsolete)
[lola][W] CANCELED task # 51 (type SRCH) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04 (obsolete)
[lola][I] FINISHED task # 50 (type SKEL/EQUN) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04
[lola][I] result : true
[lola][I] LAUNCH task # 46 (type CNST) for 45 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] LAUNCH task # 25 (type CNST) for 24 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 25 (type CNST) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08
[lola][I] result : false
[lola][I] LAUNCH task # 34 (type CNST) for 33 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] LAUNCH task # 43 (type CNST) for 42 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 46 (type CNST) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15
[lola][I] result : false
[lola][I] FINISHED task # 34 (type CNST) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11
[lola][I] result : false
[lola][I] FINISHED task # 43 (type CNST) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14
[lola][I] result : false
[lola][I] LAUNCH task # 53 (type SKEL/FNDP) for 18 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 54 (type SKEL/EQUN) for 18 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 55 (type SKEL/SRCH) for 18 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 55 (type SKEL/SRCH) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06
[lola][I] result : true
[lola][I] markings : 11
[lola][I] fired transitions : 10
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 53 (type FNDP) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06 (obsolete)
[lola][W] CANCELED task # 54 (type EQUN) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06 (obsolete)
[lola][I] FINISHED task # 53 (type SKEL/FNDP) for RingSingleMessageInMbox-PT-d1m005-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] FINISHED task # 54 (type SKEL/EQUN) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06
[lola][I] result : true
[lola][I] LAUNCH task # 57 (type SKEL/FNDP) for 27 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 58 (type SKEL/EQUN) for 27 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 59 (type SKEL/SRCH) for 27 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 59 (type SKEL/SRCH) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09
[lola][I] result : true
[lola][I] markings : 9
[lola][I] fired transitions : 8
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 57 (type FNDP) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09 (obsolete)
[lola][W] CANCELED task # 58 (type EQUN) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09 (obsolete)
[lola][I] FINISHED task # 57 (type SKEL/FNDP) for RingSingleMessageInMbox-PT-d1m005-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] FINISHED task # 58 (type SKEL/EQUN) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09
[lola][I] result : true
[lola][I] LAUNCH task # 61 (type SKEL/FNDP) for 36 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 62 (type SKEL/EQUN) for 36 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 63 (type SKEL/SRCH) for 36 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 63 (type SKEL/SRCH) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12
[lola][I] result : true
[lola][I] markings : 11
[lola][I] fired transitions : 10
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 61 (type FNDP) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12 (obsolete)
[lola][W] CANCELED task # 62 (type EQUN) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12 (obsolete)
[lola][I] FINISHED task # 61 (type SKEL/FNDP) for RingSingleMessageInMbox-PT-d1m005-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 # 62 (type SKEL/EQUN) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12
[lola][I] result : true
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF 0 0 0 0 2 0 0 1
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF 0 0 0 0 3 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF 0 0 0 0 3 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF 0 0 0 0 3 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG 0 0 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.]
[lola][.] Time elapsed: 80 secs. Pages in use: 1
[lola][.] # running tasks: 0 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF 0 0 0 0 2 0 0 1
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF 0 0 0 0 3 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF 0 0 0 0 3 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF 0 0 0 0 3 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG 0 0 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.]
[lola][.] Time elapsed: 85 secs. Pages in use: 1
[lola][.] # running tasks: 0 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF 0 0 0 0 2 0 0 1
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF 0 0 0 0 3 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF 0 0 0 0 3 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF 0 0 0 0 3 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG 0 0 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.]
[lola][.] Time elapsed: 90 secs. Pages in use: 1
[lola][.] # running tasks: 0 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF 0 0 0 0 2 0 0 1
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF 0 0 0 0 3 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF 0 0 0 0 3 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF 0 0 0 0 3 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG 0 0 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.]
[lola][.] Time elapsed: 95 secs. Pages in use: 1
[lola][.] # running tasks: 0 of 4. Visible: 16
[lola][I] LAUNCH task # 66 (type EXCL) for 18 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06
[lola][I] time limit : 291 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 64 (type FNDP) for 18 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 65 (type EQUN) for 18 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 69 (type EQUN) for 39 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 66 (type EXCL) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06
[lola][I] result : true
[lola][I] markings : 11
[lola][I] fired transitions : 10
[lola][I] time used : 1
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 64 (type FNDP) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06 (obsolete)
[lola][W] CANCELED task # 65 (type EQUN) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06 (obsolete)
[lola][I] LAUNCH task # 87 (type EXCL) for 27 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09
[lola][I] time limit : 318 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 71 (type FNDP) for 30 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 72 (type EQUN) for 30 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 87 (type EXCL) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09
[lola][I] result : true
[lola][I] markings : 9
[lola][I] fired transitions : 8
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 80 (type EXCL) for 36 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12
[lola][I] time limit : 350 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 64 (type FNDP) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 2
[lola][I] memory pages used : 0
[lola][I] FINISHED task # 80 (type EXCL) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12
[lola][I] result : true
[lola][I] markings : 11
[lola][I] fired transitions : 10
[lola][I] time used : 1
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 77 (type EXCL) for 15 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05
[lola][I] time limit : 389 sec
[lola][I] memory limit: 2000 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF 0 3 0 0 2 0 0 1
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 69 EF STEQ 2/581 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13 sara not yet started (preprocessing).
[lola][.] 71 EF FNDP 2/581 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 413 attempts, .
[lola][.] 72 EF STEQ 2/581 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 77 EF EXCL 1/389 1/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05 10117 m, 2023 m/sec, 10154 t fired, .
[lola][.]
[lola][.] Time elapsed: 100 secs. Pages in use: 1
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 69 (type EQUN) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13
[lola][I] result : true
[lola][I] LAUNCH task # 89 (type FNDP) for 3 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 77 (type EXCL) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05
[lola][I] result : false
[lola][I] markings : 44972
[lola][I] fired transitions : 45163
[lola][I] time used : 2
[lola][I] memory pages used : 2
[lola][I] LAUNCH task # 98 (type EXCL) for 12 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04
[lola][I] time limit : 499 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 98 (type EXCL) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04
[lola][I] result : true
[lola][I] markings : 8
[lola][I] fired transitions : 7
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 105 (type EXCL) for 21 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07
[lola][I] time limit : 583 sec
[lola][I] memory limit: 2000 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 7/872 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 1714 attempts, .
[lola][.] 72 EF STEQ 7/872 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 5/874 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 1073 attempts, .
[lola][.] 105 EF EXCL 4/583 1/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 17749 m, 3549 m/sec, 33233 t fired, .
[lola][.]
[lola][.] Time elapsed: 105 secs. Pages in use: 2
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 12/868 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 3081 attempts, .
[lola][.] 72 EF STEQ 12/868 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 10/870 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 2310 attempts, .
[lola][.] 105 EF EXCL 9/583 1/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 40343 m, 4518 m/sec, 75856 t fired, .
[lola][.]
[lola][.] Time elapsed: 110 secs. Pages in use: 2
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 65 (type EQUN) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06
[lola][I] result : true
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 17/862 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 4761 attempts, .
[lola][.] 72 EF STEQ 17/862 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 15/864 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 3760 attempts, .
[lola][.] 105 EF EXCL 14/583 2/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 69556 m, 5842 m/sec, 130971 t fired, .
[lola][.]
[lola][.] Time elapsed: 115 secs. Pages in use: 2
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 22/858 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 6468 attempts, .
[lola][.] 72 EF STEQ 22/858 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 20/860 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 5256 attempts, .
[lola][.] 105 EF EXCL 19/583 3/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 99071 m, 5903 m/sec, 186607 t fired, .
[lola][.]
[lola][.] Time elapsed: 120 secs. Pages in use: 3
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 27/853 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 8141 attempts, .
[lola][.] 72 EF STEQ 27/853 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 25/855 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 6754 attempts, .
[lola][.] 105 EF EXCL 24/583 4/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 127787 m, 5743 m/sec, 240775 t fired, .
[lola][.]
[lola][.] Time elapsed: 125 secs. Pages in use: 4
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 32/848 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 9787 attempts, .
[lola][.] 72 EF STEQ 32/848 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 30/850 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 8190 attempts, .
[lola][.] 105 EF EXCL 29/583 4/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 153614 m, 5165 m/sec, 289681 t fired, .
[lola][.]
[lola][.] Time elapsed: 130 secs. Pages in use: 4
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 37/843 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 11400 attempts, .
[lola][.] 72 EF STEQ 37/843 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 35/845 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 9632 attempts, .
[lola][.] 105 EF EXCL 34/583 5/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 179209 m, 5119 m/sec, 337741 t fired, .
[lola][.]
[lola][.] Time elapsed: 135 secs. Pages in use: 5
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 42/838 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 12958 attempts, .
[lola][.] 72 EF STEQ 42/838 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 40/840 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 11066 attempts, .
[lola][.] 105 EF EXCL 39/583 5/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 205590 m, 5276 m/sec, 387514 t fired, .
[lola][.]
[lola][.] Time elapsed: 140 secs. Pages in use: 5
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 47/833 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 14503 attempts, .
[lola][.] 72 EF STEQ 47/833 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 45/835 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 12501 attempts, .
[lola][.] 105 EF EXCL 44/583 5/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 231841 m, 5250 m/sec, 437134 t fired, .
[lola][.]
[lola][.] Time elapsed: 145 secs. Pages in use: 5
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 52/828 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 16030 attempts, .
[lola][.] 72 EF STEQ 52/828 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 50/830 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 13951 attempts, .
[lola][.] 105 EF EXCL 49/583 6/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 258296 m, 5291 m/sec, 487041 t fired, .
[lola][.]
[lola][.] Time elapsed: 150 secs. Pages in use: 6
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 57/823 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 17013 attempts, .
[lola][.] 72 EF STEQ 57/823 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 55/825 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 15412 attempts, .
[lola][.] 105 EF EXCL 54/583 7/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 284532 m, 5247 m/sec, 536444 t fired, .
[lola][.]
[lola][.] Time elapsed: 155 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 62/818 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 17760 attempts, .
[lola][.] 72 EF STEQ 62/818 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 60/820 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 16883 attempts, .
[lola][.] 105 EF EXCL 59/583 8/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 310491 m, 5191 m/sec, 585347 t fired, .
[lola][.]
[lola][.] Time elapsed: 160 secs. Pages in use: 8
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 67/813 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 19140 attempts, .
[lola][.] 72 EF STEQ 67/813 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 65/815 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 18342 attempts, .
[lola][.] 105 EF EXCL 64/583 8/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 336068 m, 5115 m/sec, 633571 t fired, .
[lola][.]
[lola][.] Time elapsed: 165 secs. Pages in use: 8
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 72/808 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 20640 attempts, .
[lola][.] 72 EF STEQ 72/808 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 70/810 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 19809 attempts, .
[lola][.] 105 EF EXCL 69/583 9/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 361754 m, 5137 m/sec, 696483 t fired, .
[lola][.]
[lola][.] Time elapsed: 170 secs. Pages in use: 9
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 77/803 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 22148 attempts, .
[lola][.] 72 EF STEQ 77/803 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 75/805 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 21270 attempts, .
[lola][.] 105 EF EXCL 74/583 10/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 392852 m, 6219 m/sec, 751785 t fired, .
[lola][.]
[lola][.] Time elapsed: 175 secs. Pages in use: 10
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 82/798 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 23627 attempts, .
[lola][.] 72 EF STEQ 82/798 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 80/800 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 22716 attempts, .
[lola][.] 105 EF EXCL 79/583 11/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 422230 m, 5875 m/sec, 804091 t fired, .
[lola][.]
[lola][.] Time elapsed: 180 secs. Pages in use: 11
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 87/793 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 25177 attempts, .
[lola][.] 72 EF STEQ 87/793 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 85/795 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 24172 attempts, .
[lola][.] 105 EF EXCL 84/583 11/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 450122 m, 5578 m/sec, 853741 t fired, .
[lola][.]
[lola][.] Time elapsed: 185 secs. Pages in use: 11
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 92/788 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 26718 attempts, .
[lola][.] 72 EF STEQ 92/788 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 90/790 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 25662 attempts, .
[lola][.] 105 EF EXCL 89/583 12/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 477178 m, 5411 m/sec, 901924 t fired, .
[lola][.]
[lola][.] Time elapsed: 190 secs. Pages in use: 12
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 97/783 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 28232 attempts, .
[lola][.] 72 EF STEQ 97/783 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 95/785 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 27150 attempts, .
[lola][.] 105 EF EXCL 94/583 12/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 504004 m, 5365 m/sec, 949547 t fired, .
[lola][.]
[lola][.] Time elapsed: 195 secs. Pages in use: 12
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 102/778 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 29734 attempts, .
[lola][.] 72 EF STEQ 102/778 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 100/780 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 28618 attempts, .
[lola][.] 105 EF EXCL 99/583 13/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 530474 m, 5294 m/sec, 996537 t fired, .
[lola][.]
[lola][.] Time elapsed: 200 secs. Pages in use: 13
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 107/773 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 31180 attempts, .
[lola][.] 72 EF STEQ 107/773 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 105/775 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 30042 attempts, .
[lola][.] 105 EF EXCL 104/583 14/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 557403 m, 5385 m/sec, 1044435 t fired, .
[lola][.]
[lola][.] Time elapsed: 205 secs. Pages in use: 14
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 112/768 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 32635 attempts, .
[lola][.] 72 EF STEQ 112/768 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 110/770 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 31481 attempts, .
[lola][.] 105 EF EXCL 109/583 14/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 583339 m, 5187 m/sec, 1090533 t fired, .
[lola][.]
[lola][.] Time elapsed: 210 secs. Pages in use: 14
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 117/763 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 34104 attempts, .
[lola][.] 72 EF STEQ 117/763 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 115/765 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 32935 attempts, .
[lola][.] 105 EF EXCL 114/583 15/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 610443 m, 5420 m/sec, 1138745 t fired, .
[lola][.]
[lola][.] Time elapsed: 215 secs. Pages in use: 15
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 122/758 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 35515 attempts, .
[lola][.] 72 EF STEQ 122/758 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 120/760 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 34379 attempts, .
[lola][.] 105 EF EXCL 119/583 15/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 638298 m, 5571 m/sec, 1188407 t fired, .
[lola][.]
[lola][.] Time elapsed: 220 secs. Pages in use: 15
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 127/753 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 37015 attempts, .
[lola][.] 72 EF STEQ 127/753 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 125/755 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 35824 attempts, .
[lola][.] 105 EF EXCL 124/583 15/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 665740 m, 5488 m/sec, 1237241 t fired, .
[lola][.]
[lola][.] Time elapsed: 225 secs. Pages in use: 15
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 132/748 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 38464 attempts, .
[lola][.] 72 EF STEQ 132/748 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 130/750 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 37310 attempts, .
[lola][.] 105 EF EXCL 129/583 16/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 692782 m, 5408 m/sec, 1285360 t fired, .
[lola][.]
[lola][.] Time elapsed: 230 secs. Pages in use: 16
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 137/743 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 39898 attempts, .
[lola][.] 72 EF STEQ 137/743 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 135/745 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 38775 attempts, .
[lola][.] 105 EF EXCL 134/583 16/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 719954 m, 5434 m/sec, 1333621 t fired, .
[lola][.]
[lola][.] Time elapsed: 235 secs. Pages in use: 16
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 142/738 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 41346 attempts, .
[lola][.] 72 EF STEQ 142/738 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 140/740 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 40212 attempts, .
[lola][.] 105 EF EXCL 139/583 17/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 747502 m, 5509 m/sec, 1382587 t fired, .
[lola][.]
[lola][.] Time elapsed: 240 secs. Pages in use: 17
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 147/733 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 42798 attempts, .
[lola][.] 72 EF STEQ 147/733 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 145/735 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 41676 attempts, .
[lola][.] 105 EF EXCL 144/583 18/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 775393 m, 5578 m/sec, 1432060 t fired, .
[lola][.]
[lola][.] Time elapsed: 245 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 152/728 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 44323 attempts, .
[lola][.] 72 EF STEQ 152/728 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 150/730 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 43162 attempts, .
[lola][.] 105 EF EXCL 149/583 19/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 806936 m, 6308 m/sec, 1488138 t fired, .
[lola][.]
[lola][.] Time elapsed: 250 secs. Pages in use: 19
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 157/723 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 48489 attempts, .
[lola][.] 72 EF STEQ 157/723 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 155/725 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 44588 attempts, .
[lola][.] 105 EF EXCL 154/583 20/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 838654 m, 6343 m/sec, 1545307 t fired, .
[lola][.]
[lola][.] Time elapsed: 255 secs. Pages in use: 20
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 162/718 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 52638 attempts, .
[lola][.] 72 EF STEQ 162/718 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 160/720 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 46055 attempts, .
[lola][.] 105 EF EXCL 159/583 21/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 860034 m, 4276 m/sec, 1616064 t fired, .
[lola][.]
[lola][.] Time elapsed: 260 secs. Pages in use: 21
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 167/713 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 56796 attempts, .
[lola][.] 72 EF STEQ 167/713 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 165/715 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 47505 attempts, .
[lola][.] 105 EF EXCL 164/583 21/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 882876 m, 4568 m/sec, 1675699 t fired, .
[lola][.]
[lola][.] Time elapsed: 265 secs. Pages in use: 21
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 172/708 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 60950 attempts, .
[lola][.] 72 EF STEQ 172/708 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 170/710 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 48910 attempts, .
[lola][.] 105 EF EXCL 169/583 22/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 906778 m, 4780 m/sec, 1738152 t fired, .
[lola][.]
[lola][.] Time elapsed: 270 secs. Pages in use: 22
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 177/703 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 65138 attempts, .
[lola][.] 72 EF STEQ 177/703 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 175/705 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 50362 attempts, .
[lola][.] 105 EF EXCL 174/583 22/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 928546 m, 4353 m/sec, 1810392 t fired, .
[lola][.]
[lola][.] Time elapsed: 275 secs. Pages in use: 22
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 182/698 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 69323 attempts, .
[lola][.] 72 EF STEQ 182/698 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 180/700 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 51859 attempts, .
[lola][.] 105 EF EXCL 179/583 23/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 950874 m, 4465 m/sec, 1868709 t fired, .
[lola][.]
[lola][.] Time elapsed: 280 secs. Pages in use: 23
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 187/693 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 73548 attempts, .
[lola][.] 72 EF STEQ 187/693 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 185/695 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 53334 attempts, .
[lola][.] 105 EF EXCL 184/583 23/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 973548 m, 4534 m/sec, 1927923 t fired, .
[lola][.]
[lola][.] Time elapsed: 285 secs. Pages in use: 23
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 192/688 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 77723 attempts, .
[lola][.] 72 EF STEQ 192/688 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 190/690 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 54775 attempts, .
[lola][.] 105 EF EXCL 189/583 24/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 996104 m, 4511 m/sec, 2002249 t fired, .
[lola][.]
[lola][.] Time elapsed: 290 secs. Pages in use: 24
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 197/683 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 81915 attempts, .
[lola][.] 72 EF STEQ 197/683 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 195/685 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 56210 attempts, .
[lola][.] 105 EF EXCL 194/583 24/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 1018632 m, 4505 m/sec, 2061158 t fired, .
[lola][.]
[lola][.] Time elapsed: 295 secs. Pages in use: 24
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 202/678 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 86083 attempts, .
[lola][.] 72 EF STEQ 202/678 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 200/680 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 57677 attempts, .
[lola][.] 105 EF EXCL 199/583 25/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 1040854 m, 4444 m/sec, 2119126 t fired, .
[lola][.]
[lola][.] Time elapsed: 300 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 207/673 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 90226 attempts, .
[lola][.] 72 EF STEQ 207/673 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 205/675 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 59145 attempts, .
[lola][.] 105 EF EXCL 204/583 25/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 1062945 m, 4418 m/sec, 2192236 t fired, .
[lola][.]
[lola][.] Time elapsed: 305 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 212/668 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 94380 attempts, .
[lola][.] 72 EF STEQ 212/668 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 210/670 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 60599 attempts, .
[lola][.] 105 EF EXCL 209/583 26/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 1086111 m, 4633 m/sec, 2252749 t fired, .
[lola][.]
[lola][.] Time elapsed: 310 secs. Pages in use: 26
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 71 EF FNDP 217/663 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 98547 attempts, .
[lola][.] 72 EF STEQ 217/663 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 89 EF FNDP 215/665 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 62129 attempts, .
[lola][.] 105 EF EXCL 214/583 26/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 1108340 m, 4445 m/sec, 2310811 t fired, .
[lola][.]
[lola][.] Time elapsed: 315 secs. Pages in use: 26
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 72 (type EQUN) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10
[lola][I] result : false
[lola][W] CANCELED task # 71 (type FNDP) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10 (obsolete)
[lola][I] LAUNCH task # 82 (type FNDP) for 9 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 83 (type EQUN) for 9 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 71 (type FNDP) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10
[lola][I] result : unknown
[lola][I] tried executions : 101236
[lola][I] time used : 220
[lola][I] memory pages used : 0
[lola][I] FINISHED task # 82 (type FNDP) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03
[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 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03 (obsolete)
[lola][I] LAUNCH task # 93 (type FNDP) for 0 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 94 (type EQUN) for 0 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 89 EF FNDP 220/1532 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 63521 attempts, .
[lola][.] 93 EF FNDP 2/1094 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00 690 attempts, .
[lola][.] 94 EF STEQ 2/1094 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[lola][.] 105 EF EXCL 219/874 27/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 1129932 m, 4318 m/sec, 2372667 t fired, .
[lola][.]
[lola][.] Time elapsed: 320 secs. Pages in use: 27
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 89 EF FNDP 225/1530 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 64714 attempts, .
[lola][.] 93 EF FNDP 7/1092 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00 3354 attempts, .
[lola][.] 94 EF STEQ 7/1092 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[lola][.] 105 EF EXCL 224/874 27/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 1147236 m, 3460 m/sec, 2427798 t fired, .
[lola][.]
[lola][.] Time elapsed: 325 secs. Pages in use: 27
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 89 EF FNDP 230/1525 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 65812 attempts, .
[lola][.] 93 EF FNDP 12/1087 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00 5943 attempts, .
[lola][.] 94 EF STEQ 12/1087 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[lola][.] 105 EF EXCL 229/874 28/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 1165028 m, 3558 m/sec, 2474280 t fired, .
[lola][.]
[lola][.] Time elapsed: 330 secs. Pages in use: 28
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 83 (type EQUN) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03
[lola][I] result : true
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 89 EF FNDP 235/1519 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 67172 attempts, .
[lola][.] 93 EF FNDP 17/1081 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00 9297 attempts, .
[lola][.] 94 EF STEQ 17/1081 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[lola][.] 105 EF EXCL 234/874 28/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 1186318 m, 4258 m/sec, 2529868 t fired, .
[lola][.]
[lola][.] Time elapsed: 335 secs. Pages in use: 28
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 89 EF FNDP 240/1515 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 68621 attempts, .
[lola][.] 93 EF FNDP 22/1077 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00 12946 attempts, .
[lola][.] 94 EF STEQ 22/1077 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[lola][.] 105 EF EXCL 239/874 29/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 1208388 m, 4414 m/sec, 2602916 t fired, .
[lola][.]
[lola][.] Time elapsed: 340 secs. Pages in use: 29
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 89 EF FNDP 245/1510 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 70105 attempts, .
[lola][.] 93 EF FNDP 27/1072 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00 16630 attempts, .
[lola][.] 94 EF STEQ 27/1072 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[lola][.] 105 EF EXCL 244/874 29/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 1231666 m, 4655 m/sec, 2663726 t fired, .
[lola][.]
[lola][.] Time elapsed: 345 secs. Pages in use: 29
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 89 EF FNDP 250/1505 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 71555 attempts, .
[lola][.] 93 EF FNDP 32/1067 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00 20362 attempts, .
[lola][.] 94 EF STEQ 32/1067 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[lola][.] 105 EF EXCL 249/874 30/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 1253905 m, 4447 m/sec, 2721816 t fired, .
[lola][.]
[lola][.] Time elapsed: 350 secs. Pages in use: 30
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 89 EF FNDP 255/1500 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 73059 attempts, .
[lola][.] 93 EF FNDP 37/1062 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00 24103 attempts, .
[lola][.] 94 EF STEQ 37/1062 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[lola][.] 105 EF EXCL 254/874 30/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 1275931 m, 4405 m/sec, 2791629 t fired, .
[lola][.]
[lola][.] Time elapsed: 355 secs. Pages in use: 30
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 94 (type EQUN) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00
[lola][I] result : false
[lola][W] CANCELED task # 93 (type FNDP) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00 (obsolete)
[lola][I] LAUNCH task # 100 (type FNDP) for 6 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 101 (type EQUN) for 6 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 93 (type FNDP) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00
[lola][I] result : unknown
[lola][I] tried executions : 25475
[lola][I] time used : 39
[lola][I] memory pages used : 0
[lola][I] FINISHED task # 100 (type FNDP) for RingSingleMessageInMbox-PT-d1m005-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 # 101 (type EQUN) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02 (obsolete)
[lola][I] LAUNCH task # 90 (type EQUN) for 3 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 103 (type FNDP) for 21 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 101 (type EQUN) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02
[lola][I] result : true
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 89 EF FNDP 260/3242 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 74425 attempts, .
[lola][.] 90 EF STEQ 3/3242 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 103 EF FNDP 3/1620 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 605 attempts, .
[lola][.] 105 EF EXCL 259/1749 31/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 1298303 m, 4474 m/sec, 2853230 t fired, .
[lola][.]
[lola][.] Time elapsed: 360 secs. Pages in use: 31
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 89 EF FNDP 265/3240 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 75895 attempts, .
[lola][.] 90 EF STEQ 8/3240 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 103 EF FNDP 8/1618 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 1793 attempts, .
[lola][.] 105 EF EXCL 264/1749 31/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 1320584 m, 4456 m/sec, 2911350 t fired, .
[lola][.]
[lola][.] Time elapsed: 365 secs. Pages in use: 31
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 89 EF FNDP 270/3235 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 77331 attempts, .
[lola][.] 90 EF STEQ 13/3235 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 103 EF FNDP 13/1613 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 3036 attempts, .
[lola][.] 105 EF EXCL 269/1749 32/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 1344760 m, 4835 m/sec, 2974514 t fired, .
[lola][.]
[lola][.] Time elapsed: 370 secs. Pages in use: 32
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 89 EF FNDP 275/3230 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 78802 attempts, .
[lola][.] 90 EF STEQ 18/3230 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 103 EF FNDP 18/1608 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 4304 attempts, .
[lola][.] 105 EF EXCL 274/1749 33/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 1369888 m, 5025 m/sec, 3040166 t fired, .
[lola][.]
[lola][.] Time elapsed: 375 secs. Pages in use: 33
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 89 EF FNDP 280/3225 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 80293 attempts, .
[lola][.] 90 EF STEQ 23/3225 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 103 EF FNDP 23/1603 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 5540 attempts, .
[lola][.] 105 EF EXCL 279/1749 33/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 1398817 m, 5785 m/sec, 3094638 t fired, .
[lola][.]
[lola][.] Time elapsed: 380 secs. Pages in use: 33
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 89 EF FNDP 285/3220 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 81729 attempts, .
[lola][.] 90 EF STEQ 28/3220 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 103 EF FNDP 28/1598 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 6741 attempts, .
[lola][.] 105 EF EXCL 284/1749 34/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 1424014 m, 5039 m/sec, 3142161 t fired, .
[lola][.]
[lola][.] Time elapsed: 385 secs. Pages in use: 34
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 89 EF FNDP 290/3215 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 83201 attempts, .
[lola][.] 90 EF STEQ 33/3215 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 103 EF FNDP 33/1593 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 8004 attempts, .
[lola][.] 105 EF EXCL 289/1749 34/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 1449398 m, 5076 m/sec, 3190161 t fired, .
[lola][.]
[lola][.] Time elapsed: 390 secs. Pages in use: 34
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 89 EF FNDP 295/3210 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 87079 attempts, .
[lola][.] 90 EF STEQ 38/3210 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 103 EF FNDP 38/1588 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 9292 attempts, .
[lola][.] 105 EF EXCL 294/1749 35/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 1474693 m, 5059 m/sec, 3237916 t fired, .
[lola][.]
[lola][.] Time elapsed: 395 secs. Pages in use: 35
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 89 EF FNDP 300/3205 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 90894 attempts, .
[lola][.] 90 EF STEQ 43/3205 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 103 EF FNDP 43/1583 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 10529 attempts, .
[lola][.] 105 EF EXCL 299/1749 36/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 1501472 m, 5355 m/sec, 3288282 t fired, .
[lola][.]
[lola][.] Time elapsed: 400 secs. Pages in use: 36
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 89 EF FNDP 305/3200 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 94681 attempts, .
[lola][.] 90 EF STEQ 48/3200 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 103 EF FNDP 48/1578 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 11793 attempts, .
[lola][.] 105 EF EXCL 304/1749 36/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 1526428 m, 4991 m/sec, 3335418 t fired, .
[lola][.]
[lola][.] Time elapsed: 405 secs. Pages in use: 36
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 89 EF FNDP 310/3195 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 98372 attempts, .
[lola][.] 90 EF STEQ 53/3195 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 103 EF FNDP 53/1573 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 13118 attempts, .
[lola][.] 105 EF EXCL 309/1749 36/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 1551147 m, 4943 m/sec, 3381920 t fired, .
[lola][.]
[lola][.] Time elapsed: 410 secs. Pages in use: 36
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 89 EF FNDP 315/3190 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 102058 attempts, .
[lola][.] 90 EF STEQ 58/3190 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 103 EF FNDP 58/1568 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 14421 attempts, .
[lola][.] 105 EF EXCL 314/1749 37/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 1576351 m, 5040 m/sec, 3429468 t fired, .
[lola][.]
[lola][.] Time elapsed: 415 secs. Pages in use: 37
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 89 EF FNDP 320/3185 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 105815 attempts, .
[lola][.] 90 EF STEQ 63/3185 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 103 EF FNDP 63/1563 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 15712 attempts, .
[lola][.] 105 EF EXCL 319/1749 37/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 1601782 m, 5086 m/sec, 3477607 t fired, .
[lola][.]
[lola][.] Time elapsed: 420 secs. Pages in use: 37
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 89 EF FNDP 325/3180 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 109519 attempts, .
[lola][.] 90 EF STEQ 68/3180 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 103 EF FNDP 68/1558 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 17017 attempts, .
[lola][.] 105 EF EXCL 324/1749 38/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 1628544 m, 5352 m/sec, 3527923 t fired, .
[lola][.]
[lola][.] Time elapsed: 425 secs. Pages in use: 38
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 90 (type EQUN) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01
[lola][I] result : false
[lola][W] CANCELED task # 89 (type FNDP) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01 (obsolete)
[lola][I] LAUNCH task # 104 (type EQUN) for 21 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 89 (type FNDP) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01
[lola][I] result : unknown
[lola][I] tried executions : 110274
[lola][I] time used : 326
[lola][I] memory pages used : 0
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 103 EF FNDP 73/3243 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 18302 attempts, .
[lola][.] 104 EF STEQ 4/3174 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 sara not yet started (preprocessing).
[lola][.] 105 EF EXCL 329/3499 39/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 1657261 m, 5743 m/sec, 3582154 t fired, .
[lola][.]
[lola][.] Time elapsed: 430 secs. Pages in use: 39
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 103 EF FNDP 78/3243 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 19566 attempts, .
[lola][.] 104 EF STEQ 9/3174 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 sara not yet started (preprocessing).
[lola][.] 105 EF EXCL 334/3499 40/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 1688265 m, 6200 m/sec, 3643717 t fired, .
[lola][.]
[lola][.] Time elapsed: 435 secs. Pages in use: 40
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 103 EF FNDP 83/3243 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 20847 attempts, .
[lola][.] 104 EF STEQ 14/3174 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 sara not yet started (preprocessing).
[lola][.] 105 EF EXCL 339/3499 40/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 1710296 m, 4406 m/sec, 3713976 t fired, .
[lola][.]
[lola][.] Time elapsed: 440 secs. Pages in use: 40
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 103 EF FNDP 88/3243 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 22145 attempts, .
[lola][.] 104 EF STEQ 19/3174 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 sara not yet started (preprocessing).
[lola][.] 105 EF EXCL 344/3499 41/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 1732740 m, 4488 m/sec, 3772575 t fired, .
[lola][.]
[lola][.] Time elapsed: 445 secs. Pages in use: 41
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 103 EF FNDP 93/3243 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 23482 attempts, .
[lola][.] 104 EF STEQ 24/3174 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 sara not yet started (preprocessing).
[lola][.] 105 EF EXCL 349/3499 41/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 1756812 m, 4814 m/sec, 3835510 t fired, .
[lola][.]
[lola][.] Time elapsed: 450 secs. Pages in use: 41
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-00: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-01: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-02: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-03: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-04: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-05: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-08: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-09: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-10: EF false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-11: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-12: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-13: AG false state equation
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07: EF 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 103 EF FNDP 98/3243 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 24795 attempts, .
[lola][.] 104 EF STEQ 29/3174 0/5 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 sara not yet started (preprocessing).
[lola][.] 105 EF EXCL 354/3499 42/2000 RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 1778582 m, 4354 m/sec, 3907730 t fired, .
[lola][.]
[lola][.] Time elapsed: 455 secs. Pages in use: 42
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I] FINISHED task # 104 (type EQUN) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07
[lola][I] result : false
[lola][W] CANCELED task # 103 (type FNDP) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 (obsolete)
[lola][W] CANCELED task # 105 (type EXCL) for RingSingleMessageInMbox-PT-d1m005-ReachabilityFireability-2024-07 (obsolete)
[lola][I] Portfolio finished: no open formulas

Sequence of Actions to be Executed by the VM

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

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

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