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

About the Execution of LoLA for RingSingleMessageInMbox-PT-d1m010

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
6990.268 491214.00 1692308.00 327.40 TTTFFTTFFFFTFTTF 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-171679081400071.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-d1m010, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r335-tall-171679081400071
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.3M
-rw-r--r-- 1 mcc users 7.8K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K May 19 07:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 19 16:23 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 19 07:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 19 18:57 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.4K Apr 13 00:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 80K Apr 13 00:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Apr 13 00:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 116K Apr 13 00:35 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-d1m010-ReachabilityFireability-2024-00
FORMULA_NAME RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01
FORMULA_NAME RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02
FORMULA_NAME RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03
FORMULA_NAME RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04
FORMULA_NAME RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05
FORMULA_NAME RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06
FORMULA_NAME RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07
FORMULA_NAME RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08
FORMULA_NAME RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09
FORMULA_NAME RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10
FORMULA_NAME RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11
FORMULA_NAME RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12
FORMULA_NAME RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13
FORMULA_NAME RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14
FORMULA_NAME RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15

=== Now, execution of the tool begins

BK_START 1717074416302

FORMULA RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 TRUE 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-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG true state equation
[lola] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG true state equation
[lola] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola]
[lola] Time elapsed: 491 secs. Pages in use: 42

BK_STOP 1717074907516

--------------------
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] LAUNCH task # 22 (type CNST) for 21 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 22 (type CNST) for RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07
[lola][I] result : false
[lola][I] LAUNCH task # 10 (type CNST) for 9 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 10 (type CNST) for RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03
[lola][I] result : false
[lola][I] Rule S: 0 transitions removed,4305 places removed
[lola][I] LAUNCH task # 50 (type SKEL/FNDP) for 36 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 51 (type SKEL/EQUN) for 36 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 52 (type SKEL/SRCH) for 36 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 52 (type SKEL/SRCH) for RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12
[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][W] CANCELED task # 50 (type FNDP) for RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12 (obsolete)
[lola][W] CANCELED task # 51 (type EQUN) for RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12 (obsolete)
[lola][I] FINISHED task # 50 (type SKEL/FNDP) for RingSingleMessageInMbox-PT-d1m010-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 # 51 (type SKEL/EQUN) for RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12
[lola][I] result : true
[lola][I] LAUNCH task # 28 (type CNST) for 27 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 28 (type CNST) for RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09
[lola][I] result : false
[lola][I] LAUNCH task # 54 (type SKEL/FNDP) for 18 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 55 (type SKEL/EQUN) for 18 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 56 (type SKEL/SRCH) for 18 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 56 (type SKEL/SRCH) for RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06
[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][W] CANCELED task # 54 (type FNDP) for RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06 (obsolete)
[lola][W] CANCELED task # 55 (type EQUN) for RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06 (obsolete)
[lola][I] FINISHED task # 54 (type SKEL/FNDP) for RingSingleMessageInMbox-PT-d1m010-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 # 55 (type SKEL/EQUN) for RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06
[lola][I] result : true
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF 0 0 0 0 3 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG 0 0 0 0 3 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: 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: 81 secs. Pages in use: 1
[lola][.] # running tasks: 0 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF 0 0 0 0 3 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG 0 0 0 0 3 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: 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: 86 secs. Pages in use: 1
[lola][.] # running tasks: 0 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF 0 0 0 0 3 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG 0 0 0 0 3 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: 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: 91 secs. Pages in use: 1
[lola][.] # running tasks: 0 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF 0 0 0 0 3 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG 0 0 0 0 3 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: 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: 96 secs. Pages in use: 1
[lola][.] # running tasks: 0 of 4. Visible: 16
[lola][I] LAUNCH task # 59 (type EXCL) for 0 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00
[lola][I] time limit : 269 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 57 (type FNDP) for 0 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 58 (type EQUN) for 0 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 61 (type FNDP) for 36 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF 0 0 3 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF 0 0 0 0 3 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG 0 3 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG 0 2 1 0 3 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 0 0 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG 0 0 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 57 EF FNDP 0/1166 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00 --
[lola][.] 58 EF STEQ 0/1166 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[lola][.] 59 EF EXCL 0/269 1/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00 --
[lola][.] 61 EF FNDP 0/1749 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12 --
[lola][.]
[lola][.] Time elapsed: 101 secs. Pages in use: 1
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 59 (type EXCL) for RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00
[lola][I] result : true
[lola][I] markings : 57
[lola][I] fired transitions : 56
[lola][I] time used : 1
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 57 (type FNDP) for RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00 (obsolete)
[lola][W] CANCELED task # 58 (type EQUN) for RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00 (obsolete)
[lola][I] LAUNCH task # 81 (type EXCL) for 18 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06
[lola][I] time limit : 291 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 69 (type FNDP) for 24 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 70 (type EQUN) for 24 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 81 (type EXCL) for RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06
[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 # 63 (type EXCL) for 36 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12
[lola][I] time limit : 318 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 61 (type FNDP) for RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 1
[lola][I] memory pages used : 0
[lola][W] CANCELED task # 63 (type EXCL) for RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12 (obsolete)
[lola][I] LAUNCH task # 88 (type EXCL) for 15 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05
[lola][I] time limit : 349 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 72 (type FNDP) for 39 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 88 (type EXCL) for RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05
[lola][I] result : true
[lola][I] markings : 8
[lola][I] fired transitions : 7
[lola][I] time used : 1
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 67 (type EXCL) for 30 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10
[lola][I] time limit : 388 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 72 (type FNDP) for RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 1
[lola][I] memory pages used : 0
[lola][I] LAUNCH task # 76 (type FNDP) for 3 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 69 (type FNDP) for RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 1
[lola][I] memory pages used : 0
[lola][W] CANCELED task # 70 (type EQUN) for RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08 (obsolete)
[lola][I] LAUNCH task # 90 (type FNDP) for 6 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 91 (type EQUN) for 6 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 67 (type EXCL) for RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10
[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 # 96 (type EXCL) for 12 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04
[lola][I] time limit : 582 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 96 (type EXCL) for RingSingleMessageInMbox-PT-d1m010-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 # 85 (type EXCL) for 45 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15
[lola][I] time limit : 699 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 85 (type EXCL) for RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15
[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 # 99 (type EXCL) for 33 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11
[lola][I] time limit : 874 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 99 (type EXCL) for RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11
[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 # 92 (type EXCL) for 6 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02
[lola][I] time limit : 1165 sec
[lola][I] memory limit: 2000 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 2 1 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG 0 0 3 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 3/1747 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 429 attempts, .
[lola][.] 90 EF FNDP 3/1747 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02 1165 attempts, .
[lola][.] 91 EF STEQ 3/1747 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02 sara not yet started (preprocessing).
[lola][.] 92 EF EXCL 2/1165 2/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02 41892 m, 8378 m/sec, 42007 t fired, .
[lola][.]
[lola][.] Time elapsed: 106 secs. Pages in use: 2
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 92 (type EXCL) for RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02
[lola][I] result : false
[lola][I] markings : 45710
[lola][I] fired transitions : 45838
[lola][I] time used : 2
[lola][I] memory pages used : 2
[lola][W] CANCELED task # 90 (type FNDP) for RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02 (obsolete)
[lola][W] CANCELED task # 91 (type EQUN) for RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02 (obsolete)
[lola][I] LAUNCH task # 78 (type EXCL) for 3 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01
[lola][I] time limit : 1747 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 101 (type FNDP) for 42 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 102 (type EQUN) for 42 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 90 (type FNDP) for RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02
[lola][I] result : unknown
[lola][I] tried executions : 1218
[lola][I] time used : 3
[lola][I] memory pages used : 0
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 8/3494 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 1099 attempts, .
[lola][.] 78 EF EXCL 5/1747 1/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 8643 m, 1728 m/sec, 11004 t fired, .
[lola][.] 101 EF FNDP 5/3494 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 718 attempts, .
[lola][.] 102 EF STEQ 5/1747 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 111 secs. Pages in use: 2
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 13/3489 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 1792 attempts, .
[lola][.] 78 EF EXCL 10/1747 1/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 18697 m, 2010 m/sec, 26617 t fired, .
[lola][.] 101 EF FNDP 10/3489 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 1400 attempts, .
[lola][.] 102 EF STEQ 10/1742 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 116 secs. Pages in use: 2
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 18/3484 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 2466 attempts, .
[lola][.] 78 EF EXCL 15/1747 1/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 28698 m, 2000 m/sec, 42133 t fired, .
[lola][.] 101 EF FNDP 15/3484 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 2070 attempts, .
[lola][.] 102 EF STEQ 15/1737 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 121 secs. Pages in use: 2
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 57 (type FNDP) for RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00
[lola][I] result : true
[lola][I] tried executions : 9186
[lola][I] time used : 24
[lola][I] memory pages used : 0
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 23/3475 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 3211 attempts, .
[lola][.] 78 EF EXCL 20/1747 2/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 38611 m, 1982 m/sec, 57500 t fired, .
[lola][.] 101 EF FNDP 20/3475 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 2668 attempts, .
[lola][.] 102 EF STEQ 20/1728 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 126 secs. Pages in use: 2
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 58 (type EQUN) for RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00
[lola][I] result : true
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 28/3471 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 4038 attempts, .
[lola][.] 78 EF EXCL 25/1747 2/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 50856 m, 2449 m/sec, 76361 t fired, .
[lola][.] 101 EF FNDP 25/3471 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 3318 attempts, .
[lola][.] 102 EF STEQ 25/1724 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 131 secs. Pages in use: 2
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 33/3469 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 4928 attempts, .
[lola][.] 78 EF EXCL 30/1747 2/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 65459 m, 2920 m/sec, 99472 t fired, .
[lola][.] 101 EF FNDP 30/3469 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 3901 attempts, .
[lola][.] 102 EF STEQ 30/1722 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 136 secs. Pages in use: 2
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 38/3464 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 5780 attempts, .
[lola][.] 78 EF EXCL 35/1747 3/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 78774 m, 2663 m/sec, 119762 t fired, .
[lola][.] 101 EF FNDP 35/3464 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 4470 attempts, .
[lola][.] 102 EF STEQ 35/1717 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 141 secs. Pages in use: 3
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 43/3459 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 6784 attempts, .
[lola][.] 78 EF EXCL 40/1747 3/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 91707 m, 2586 m/sec, 139912 t fired, .
[lola][.] 101 EF FNDP 40/3459 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 5183 attempts, .
[lola][.] 102 EF STEQ 40/1712 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 146 secs. Pages in use: 3
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 48/3454 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 7731 attempts, .
[lola][.] 78 EF EXCL 45/1747 4/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 105698 m, 2798 m/sec, 161787 t fired, .
[lola][.] 101 EF FNDP 45/3454 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 5860 attempts, .
[lola][.] 102 EF STEQ 45/1707 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 151 secs. Pages in use: 4
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 53/3449 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 8735 attempts, .
[lola][.] 78 EF EXCL 50/1747 4/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 119583 m, 2777 m/sec, 183010 t fired, .
[lola][.] 101 EF FNDP 50/3449 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 6411 attempts, .
[lola][.] 102 EF STEQ 50/1702 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 156 secs. Pages in use: 4
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 58/3444 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 9746 attempts, .
[lola][.] 78 EF EXCL 55/1747 4/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 131866 m, 2456 m/sec, 202331 t fired, .
[lola][.] 101 EF FNDP 55/3444 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 6950 attempts, .
[lola][.] 102 EF STEQ 55/1697 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 161 secs. Pages in use: 4
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 63/3439 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 10739 attempts, .
[lola][.] 78 EF EXCL 60/1747 5/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 144713 m, 2569 m/sec, 222494 t fired, .
[lola][.] 101 EF FNDP 60/3439 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 7529 attempts, .
[lola][.] 102 EF STEQ 60/1692 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 166 secs. Pages in use: 5
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 68/3434 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 11697 attempts, .
[lola][.] 78 EF EXCL 65/1747 5/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 158461 m, 2749 m/sec, 243350 t fired, .
[lola][.] 101 EF FNDP 65/3434 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 8219 attempts, .
[lola][.] 102 EF STEQ 65/1687 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 171 secs. Pages in use: 5
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 73/3429 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 12678 attempts, .
[lola][.] 78 EF EXCL 70/1747 6/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 171880 m, 2683 m/sec, 264488 t fired, .
[lola][.] 101 EF FNDP 70/3429 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 8891 attempts, .
[lola][.] 102 EF STEQ 70/1682 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 176 secs. Pages in use: 6
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 78/3424 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 13713 attempts, .
[lola][.] 78 EF EXCL 75/1747 6/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 184733 m, 2570 m/sec, 284500 t fired, .
[lola][.] 101 EF FNDP 75/3424 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 9525 attempts, .
[lola][.] 102 EF STEQ 75/1677 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 181 secs. Pages in use: 6
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 83/3419 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 14673 attempts, .
[lola][.] 78 EF EXCL 80/1747 6/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 198155 m, 2684 m/sec, 304903 t fired, .
[lola][.] 101 EF FNDP 80/3419 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 10189 attempts, .
[lola][.] 102 EF STEQ 80/1672 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 186 secs. Pages in use: 6
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 88/3414 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 15671 attempts, .
[lola][.] 78 EF EXCL 85/1747 7/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 210960 m, 2561 m/sec, 324716 t fired, .
[lola][.] 101 EF FNDP 85/3414 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 10791 attempts, .
[lola][.] 102 EF STEQ 85/1667 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 191 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 93/3409 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 16748 attempts, .
[lola][.] 78 EF EXCL 90/1747 7/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 223496 m, 2507 m/sec, 344642 t fired, .
[lola][.] 101 EF FNDP 90/3409 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 11361 attempts, .
[lola][.] 102 EF STEQ 90/1662 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 196 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 98/3404 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 17706 attempts, .
[lola][.] 78 EF EXCL 95/1747 7/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 236798 m, 2660 m/sec, 364895 t fired, .
[lola][.] 101 EF FNDP 95/3404 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 12051 attempts, .
[lola][.] 102 EF STEQ 95/1657 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 201 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 103/3399 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 18741 attempts, .
[lola][.] 78 EF EXCL 100/1747 8/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 249356 m, 2511 m/sec, 384258 t fired, .
[lola][.] 101 EF FNDP 100/3399 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 12668 attempts, .
[lola][.] 102 EF STEQ 100/1652 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 206 secs. Pages in use: 8
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 108/3394 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 19654 attempts, .
[lola][.] 78 EF EXCL 105/1747 8/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 261639 m, 2456 m/sec, 403707 t fired, .
[lola][.] 101 EF FNDP 105/3394 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 13290 attempts, .
[lola][.] 102 EF STEQ 105/1647 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 211 secs. Pages in use: 8
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 113/3389 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 20695 attempts, .
[lola][.] 78 EF EXCL 110/1747 8/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 273761 m, 2424 m/sec, 422828 t fired, .
[lola][.] 101 EF FNDP 110/3389 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 14030 attempts, .
[lola][.] 102 EF STEQ 110/1642 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 216 secs. Pages in use: 8
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 118/3384 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 21681 attempts, .
[lola][.] 78 EF EXCL 115/1747 9/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 287897 m, 2827 m/sec, 444071 t fired, .
[lola][.] 101 EF FNDP 115/3384 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 14662 attempts, .
[lola][.] 102 EF STEQ 115/1637 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 221 secs. Pages in use: 9
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 123/3379 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 22655 attempts, .
[lola][.] 78 EF EXCL 120/1747 9/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 301498 m, 2720 m/sec, 465511 t fired, .
[lola][.] 101 EF FNDP 120/3379 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 15373 attempts, .
[lola][.] 102 EF STEQ 120/1632 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 226 secs. Pages in use: 9
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 128/3374 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 23649 attempts, .
[lola][.] 78 EF EXCL 125/1747 10/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 313175 m, 2335 m/sec, 483698 t fired, .
[lola][.] 101 EF FNDP 125/3374 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 16011 attempts, .
[lola][.] 102 EF STEQ 125/1627 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 231 secs. Pages in use: 10
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 133/3369 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 24606 attempts, .
[lola][.] 78 EF EXCL 130/1747 10/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 329871 m, 3339 m/sec, 508424 t fired, .
[lola][.] 101 EF FNDP 130/3369 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 16503 attempts, .
[lola][.] 102 EF STEQ 130/1622 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 236 secs. Pages in use: 10
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 138/3364 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 25538 attempts, .
[lola][.] 78 EF EXCL 135/1747 11/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 347797 m, 3585 m/sec, 535798 t fired, .
[lola][.] 101 EF FNDP 135/3364 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 17095 attempts, .
[lola][.] 102 EF STEQ 135/1617 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 241 secs. Pages in use: 11
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 143/3359 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 26522 attempts, .
[lola][.] 78 EF EXCL 140/1747 11/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 364401 m, 3320 m/sec, 562582 t fired, .
[lola][.] 101 EF FNDP 140/3359 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 17684 attempts, .
[lola][.] 102 EF STEQ 140/1612 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 246 secs. Pages in use: 11
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 148/3354 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 27536 attempts, .
[lola][.] 78 EF EXCL 145/1747 12/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 381408 m, 3401 m/sec, 590828 t fired, .
[lola][.] 101 EF FNDP 145/3354 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 18296 attempts, .
[lola][.] 102 EF STEQ 145/1607 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 251 secs. Pages in use: 12
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 153/3349 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 28541 attempts, .
[lola][.] 78 EF EXCL 150/1747 12/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 398468 m, 3412 m/sec, 623276 t fired, .
[lola][.] 101 EF FNDP 150/3349 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 18979 attempts, .
[lola][.] 102 EF STEQ 150/1602 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 256 secs. Pages in use: 12
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 70 (type EQUN) for RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08
[lola][I] result : true
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 158/3342 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 29583 attempts, .
[lola][.] 78 EF EXCL 155/1747 13/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 415911 m, 3488 m/sec, 657978 t fired, .
[lola][.] 101 EF FNDP 155/3342 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 19649 attempts, .
[lola][.] 102 EF STEQ 155/1595 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 261 secs. Pages in use: 13
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 163/3339 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 30789 attempts, .
[lola][.] 78 EF EXCL 160/1747 13/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 434504 m, 3718 m/sec, 695066 t fired, .
[lola][.] 101 EF FNDP 160/3339 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 20400 attempts, .
[lola][.] 102 EF STEQ 160/1592 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 266 secs. Pages in use: 13
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 168/3334 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 31962 attempts, .
[lola][.] 78 EF EXCL 165/1747 14/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 452493 m, 3597 m/sec, 729429 t fired, .
[lola][.] 101 EF FNDP 165/3334 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 21251 attempts, .
[lola][.] 102 EF STEQ 165/1587 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 271 secs. Pages in use: 14
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 173/3329 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 33174 attempts, .
[lola][.] 78 EF EXCL 170/1747 14/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 470057 m, 3512 m/sec, 762143 t fired, .
[lola][.] 101 EF FNDP 170/3329 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 22172 attempts, .
[lola][.] 102 EF STEQ 170/1582 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 276 secs. Pages in use: 14
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 178/3324 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 34351 attempts, .
[lola][.] 78 EF EXCL 175/1747 15/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 488533 m, 3695 m/sec, 795873 t fired, .
[lola][.] 101 EF FNDP 175/3324 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 22942 attempts, .
[lola][.] 102 EF STEQ 175/1577 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 281 secs. Pages in use: 15
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 183/3319 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 35541 attempts, .
[lola][.] 78 EF EXCL 180/1747 15/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 510250 m, 4343 m/sec, 829767 t fired, .
[lola][.] 101 EF FNDP 180/3319 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 23676 attempts, .
[lola][.] 102 EF STEQ 180/1572 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 286 secs. Pages in use: 15
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 188/3314 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 36639 attempts, .
[lola][.] 78 EF EXCL 185/1747 16/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 531590 m, 4268 m/sec, 864175 t fired, .
[lola][.] 101 EF FNDP 185/3314 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 24442 attempts, .
[lola][.] 102 EF STEQ 185/1567 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 291 secs. Pages in use: 16
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 193/3309 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 37855 attempts, .
[lola][.] 78 EF EXCL 190/1747 17/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 552122 m, 4106 m/sec, 902573 t fired, .
[lola][.] 101 EF FNDP 190/3309 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 25242 attempts, .
[lola][.] 102 EF STEQ 190/1562 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 296 secs. Pages in use: 17
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 198/3304 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 39004 attempts, .
[lola][.] 78 EF EXCL 195/1747 17/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 569949 m, 3565 m/sec, 938290 t fired, .
[lola][.] 101 EF FNDP 195/3304 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 26098 attempts, .
[lola][.] 102 EF STEQ 195/1557 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 301 secs. Pages in use: 17
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 203/3299 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 40148 attempts, .
[lola][.] 78 EF EXCL 200/1747 18/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 587527 m, 3515 m/sec, 972306 t fired, .
[lola][.] 101 EF FNDP 200/3299 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 26863 attempts, .
[lola][.] 102 EF STEQ 200/1552 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 306 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 208/3294 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 41314 attempts, .
[lola][.] 78 EF EXCL 205/1747 18/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 606751 m, 3844 m/sec, 1009776 t fired, .
[lola][.] 101 EF FNDP 205/3294 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 27633 attempts, .
[lola][.] 102 EF STEQ 205/1547 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 311 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 213/3289 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 42417 attempts, .
[lola][.] 78 EF EXCL 210/1747 19/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 624710 m, 3591 m/sec, 1042525 t fired, .
[lola][.] 101 EF FNDP 210/3289 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 28468 attempts, .
[lola][.] 102 EF STEQ 210/1542 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 316 secs. Pages in use: 19
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 218/3284 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 43636 attempts, .
[lola][.] 78 EF EXCL 215/1747 19/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 641258 m, 3309 m/sec, 1074659 t fired, .
[lola][.] 101 EF FNDP 215/3284 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 29238 attempts, .
[lola][.] 102 EF STEQ 215/1537 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 321 secs. Pages in use: 19
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 223/3279 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 44786 attempts, .
[lola][.] 78 EF EXCL 220/1747 20/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 664219 m, 4592 m/sec, 1109753 t fired, .
[lola][.] 101 EF FNDP 220/3279 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 30093 attempts, .
[lola][.] 102 EF STEQ 220/1532 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 326 secs. Pages in use: 20
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 228/3274 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 45892 attempts, .
[lola][.] 78 EF EXCL 225/1747 20/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 685232 m, 4202 m/sec, 1143973 t fired, .
[lola][.] 101 EF FNDP 225/3274 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 30976 attempts, .
[lola][.] 102 EF STEQ 225/1527 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 331 secs. Pages in use: 20
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 233/3269 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 47040 attempts, .
[lola][.] 78 EF EXCL 230/1747 21/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 706213 m, 4196 m/sec, 1182248 t fired, .
[lola][.] 101 EF FNDP 230/3269 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 31731 attempts, .
[lola][.] 102 EF STEQ 230/1522 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 336 secs. Pages in use: 21
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 238/3264 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 48289 attempts, .
[lola][.] 78 EF EXCL 235/1747 21/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 725084 m, 3774 m/sec, 1218796 t fired, .
[lola][.] 101 EF FNDP 235/3264 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 32506 attempts, .
[lola][.] 102 EF STEQ 235/1517 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 341 secs. Pages in use: 21
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 243/3259 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 49460 attempts, .
[lola][.] 78 EF EXCL 240/1747 22/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 742861 m, 3555 m/sec, 1254550 t fired, .
[lola][.] 101 EF FNDP 240/3259 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 33247 attempts, .
[lola][.] 102 EF STEQ 240/1512 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 346 secs. Pages in use: 22
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 248/3254 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 50614 attempts, .
[lola][.] 78 EF EXCL 245/1747 23/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 760989 m, 3625 m/sec, 1290404 t fired, .
[lola][.] 101 EF FNDP 245/3254 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 34009 attempts, .
[lola][.] 102 EF STEQ 245/1507 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 351 secs. Pages in use: 23
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 1 2 0 1 0 0 0
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 253/3249 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 51757 attempts, .
[lola][.] 78 EF EXCL 250/1747 23/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 779075 m, 3617 m/sec, 1322561 t fired, .
[lola][.] 101 EF FNDP 250/3249 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 34803 attempts, .
[lola][.] 102 EF STEQ 250/1502 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 356 secs. Pages in use: 23
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 102 (type EQUN) for RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14
[lola][I] result : false
[lola][W] CANCELED task # 101 (type FNDP) for RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14 (obsolete)
[lola][I] LAUNCH task # 77 (type EQUN) for 3 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 101 (type FNDP) for RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14
[lola][I] result : unknown
[lola][I] tried executions : 35131
[lola][I] time used : 253
[lola][I] memory pages used : 0
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 258/3497 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 53059 attempts, .
[lola][.] 77 EF STEQ 2/3241 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 78 EF EXCL 255/3494 24/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 798685 m, 3922 m/sec, 1360264 t fired, .
[lola][.]
[lola][.] Time elapsed: 361 secs. Pages in use: 24
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 263/3497 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 54549 attempts, .
[lola][.] 77 EF STEQ 7/3241 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 78 EF EXCL 260/3494 24/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 826076 m, 5478 m/sec, 1403524 t fired, .
[lola][.]
[lola][.] Time elapsed: 366 secs. Pages in use: 24
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 268/3497 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 56019 attempts, .
[lola][.] 77 EF STEQ 12/3241 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 78 EF EXCL 265/3494 25/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 853128 m, 5410 m/sec, 1447436 t fired, .
[lola][.]
[lola][.] Time elapsed: 371 secs. Pages in use: 25
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 273/3497 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 57513 attempts, .
[lola][.] 77 EF STEQ 17/3241 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 78 EF EXCL 270/3494 26/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 877564 m, 4887 m/sec, 1494105 t fired, .
[lola][.]
[lola][.] Time elapsed: 376 secs. Pages in use: 26
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 278/3497 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 58990 attempts, .
[lola][.] 77 EF STEQ 22/3241 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 78 EF EXCL 275/3494 27/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 900279 m, 4543 m/sec, 1540389 t fired, .
[lola][.]
[lola][.] Time elapsed: 381 secs. Pages in use: 27
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 283/3497 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 60513 attempts, .
[lola][.] 77 EF STEQ 27/3241 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 78 EF EXCL 280/3494 27/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 923506 m, 4645 m/sec, 1584697 t fired, .
[lola][.]
[lola][.] Time elapsed: 386 secs. Pages in use: 27
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 288/3497 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 61964 attempts, .
[lola][.] 77 EF STEQ 32/3241 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 78 EF EXCL 285/3494 28/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 944670 m, 4232 m/sec, 1625986 t fired, .
[lola][.]
[lola][.] Time elapsed: 391 secs. Pages in use: 28
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 293/3497 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 63412 attempts, .
[lola][.] 77 EF STEQ 37/3241 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 78 EF EXCL 290/3494 29/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 970627 m, 5191 m/sec, 1668190 t fired, .
[lola][.]
[lola][.] Time elapsed: 396 secs. Pages in use: 29
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 298/3497 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 64863 attempts, .
[lola][.] 77 EF STEQ 42/3241 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 78 EF EXCL 295/3494 29/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 997798 m, 5434 m/sec, 1711841 t fired, .
[lola][.]
[lola][.] Time elapsed: 401 secs. Pages in use: 29
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 303/3497 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 66347 attempts, .
[lola][.] 77 EF STEQ 47/3241 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 78 EF EXCL 300/3494 30/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 1023974 m, 5235 m/sec, 1759437 t fired, .
[lola][.]
[lola][.] Time elapsed: 406 secs. Pages in use: 30
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 308/3497 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 67793 attempts, .
[lola][.] 77 EF STEQ 52/3241 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 78 EF EXCL 305/3494 31/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 1046814 m, 4568 m/sec, 1803945 t fired, .
[lola][.]
[lola][.] Time elapsed: 411 secs. Pages in use: 31
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 313/3497 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 69279 attempts, .
[lola][.] 77 EF STEQ 57/3241 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 78 EF EXCL 310/3494 31/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 1069421 m, 4521 m/sec, 1851871 t fired, .
[lola][.]
[lola][.] Time elapsed: 416 secs. Pages in use: 31
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 318/3497 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 70763 attempts, .
[lola][.] 77 EF STEQ 62/3241 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 78 EF EXCL 315/3494 32/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 1092669 m, 4649 m/sec, 1892264 t fired, .
[lola][.]
[lola][.] Time elapsed: 421 secs. Pages in use: 32
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 323/3497 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 72211 attempts, .
[lola][.] 77 EF STEQ 67/3241 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 78 EF EXCL 320/3494 33/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 1115139 m, 4494 m/sec, 1933764 t fired, .
[lola][.]
[lola][.] Time elapsed: 426 secs. Pages in use: 33
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 328/3497 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 73683 attempts, .
[lola][.] 77 EF STEQ 72/3241 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 78 EF EXCL 325/3494 34/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 1142441 m, 5460 m/sec, 1976822 t fired, .
[lola][.]
[lola][.] Time elapsed: 431 secs. Pages in use: 34
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 333/3497 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 75129 attempts, .
[lola][.] 77 EF STEQ 77/3241 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 78 EF EXCL 330/3494 34/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 1169407 m, 5393 m/sec, 2022088 t fired, .
[lola][.]
[lola][.] Time elapsed: 436 secs. Pages in use: 34
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 338/3497 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 76582 attempts, .
[lola][.] 77 EF STEQ 82/3241 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 78 EF EXCL 335/3494 35/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 1193193 m, 4757 m/sec, 2068348 t fired, .
[lola][.]
[lola][.] Time elapsed: 441 secs. Pages in use: 35
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 343/3497 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 78062 attempts, .
[lola][.] 77 EF STEQ 87/3241 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 78 EF EXCL 340/3494 36/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 1215855 m, 4532 m/sec, 2113978 t fired, .
[lola][.]
[lola][.] Time elapsed: 446 secs. Pages in use: 36
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 348/3497 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 79549 attempts, .
[lola][.] 77 EF STEQ 92/3241 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 78 EF EXCL 345/3494 36/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 1239224 m, 4673 m/sec, 2158009 t fired, .
[lola][.]
[lola][.] Time elapsed: 451 secs. Pages in use: 36
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 353/3497 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 81008 attempts, .
[lola][.] 77 EF STEQ 97/3241 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 78 EF EXCL 350/3494 37/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 1259919 m, 4139 m/sec, 2199204 t fired, .
[lola][.]
[lola][.] Time elapsed: 456 secs. Pages in use: 37
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 358/3497 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 82483 attempts, .
[lola][.] 77 EF STEQ 102/3241 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 78 EF EXCL 355/3494 38/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 1287027 m, 5421 m/sec, 2241732 t fired, .
[lola][.]
[lola][.] Time elapsed: 461 secs. Pages in use: 38
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 363/3497 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 83960 attempts, .
[lola][.] 77 EF STEQ 107/3241 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 78 EF EXCL 360/3494 38/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 1314042 m, 5403 m/sec, 2285453 t fired, .
[lola][.]
[lola][.] Time elapsed: 466 secs. Pages in use: 38
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 368/3497 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 85424 attempts, .
[lola][.] 77 EF STEQ 112/3241 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 78 EF EXCL 365/3494 39/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 1339488 m, 5089 m/sec, 2332538 t fired, .
[lola][.]
[lola][.] Time elapsed: 471 secs. Pages in use: 39
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 373/3497 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 86889 attempts, .
[lola][.] 77 EF STEQ 117/3241 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 78 EF EXCL 370/3494 40/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 1362139 m, 4530 m/sec, 2377370 t fired, .
[lola][.]
[lola][.] Time elapsed: 476 secs. Pages in use: 40
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 378/3497 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 88341 attempts, .
[lola][.] 77 EF STEQ 122/3241 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 78 EF EXCL 375/3494 40/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 1385230 m, 4618 m/sec, 2424624 t fired, .
[lola][.]
[lola][.] Time elapsed: 481 secs. Pages in use: 40
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-00: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-02: AG true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-03: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-04: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-05: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-06: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-07: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-08: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-09: INITIAL false preprocessing
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-10: AG false state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-11: EF true state space
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-12: AG false findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-13: EF true findpath
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-14: AG true state equation
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-15: AG false state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01: AG 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 383/3497 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 89788 attempts, .
[lola][.] 77 EF STEQ 127/3241 0/5 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 sara not yet started (preprocessing).
[lola][.] 78 EF EXCL 380/3494 41/2000 RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 1407817 m, 4517 m/sec, 2465033 t fired, .
[lola][.]
[lola][.] Time elapsed: 486 secs. Pages in use: 41
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I] FINISHED task # 77 (type EQUN) for RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01
[lola][I] result : false
[lola][W] CANCELED task # 76 (type FNDP) for RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 (obsolete)
[lola][W] CANCELED task # 78 (type EXCL) for RingSingleMessageInMbox-PT-d1m010-ReachabilityFireability-2024-01 (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-d1m010"
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-d1m010, 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-171679081400071"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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