fond
Model Checking Contest 2024
14th edition, Geneva, Switzerland, June 25, 2024
Execution of r577-smll-171734920400087
Last Updated
July 7, 2024

About the Execution of LoLA for MedleyA-PT-11

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
2713.707 492669.00 1915373.00 262.60 TTTFTTFTTTTFTFFF 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.r577-smll-171734920400087.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 MedleyA-PT-11, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r577-smll-171734920400087
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 612K
-rw-r--r-- 1 mcc users 6.6K Jun 2 17:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Jun 2 17:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Jun 2 17:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Jun 2 17:16 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Jun 2 17:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Jun 2 17:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Jun 2 17:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Jun 2 17:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Jun 2 16:33 NewModel
-rw-r--r-- 1 mcc users 9.1K Jun 2 17:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 95K Jun 2 17:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Jun 2 17:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 95K Jun 2 17:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Jun 2 17:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Jun 2 17:12 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jun 2 16:33 equiv_col
-rw-r--r-- 1 mcc users 3 Jun 2 16:33 instance
-rw-r--r-- 1 mcc users 6 Jun 2 16:33 iscolored
-rw-r--r-- 1 mcc users 160K Jun 2 16:33 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 MedleyA-PT-11-ReachabilityFireability-2024-00
FORMULA_NAME MedleyA-PT-11-ReachabilityFireability-2024-01
FORMULA_NAME MedleyA-PT-11-ReachabilityFireability-2024-02
FORMULA_NAME MedleyA-PT-11-ReachabilityFireability-2024-03
FORMULA_NAME MedleyA-PT-11-ReachabilityFireability-2024-04
FORMULA_NAME MedleyA-PT-11-ReachabilityFireability-2024-05
FORMULA_NAME MedleyA-PT-11-ReachabilityFireability-2024-06
FORMULA_NAME MedleyA-PT-11-ReachabilityFireability-2024-07
FORMULA_NAME MedleyA-PT-11-ReachabilityFireability-2024-08
FORMULA_NAME MedleyA-PT-11-ReachabilityFireability-2024-09
FORMULA_NAME MedleyA-PT-11-ReachabilityFireability-2024-10
FORMULA_NAME MedleyA-PT-11-ReachabilityFireability-2024-11
FORMULA_NAME MedleyA-PT-11-ReachabilityFireability-2024-12
FORMULA_NAME MedleyA-PT-11-ReachabilityFireability-2024-13
FORMULA_NAME MedleyA-PT-11-ReachabilityFireability-2024-14
FORMULA_NAME MedleyA-PT-11-ReachabilityFireability-2024-15

=== Now, execution of the tool begins

BK_START 1717382177470

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

BK_STOP 1717382670139

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

[lola][I] LoLA will run for 3600 seconds at most (--timelimit)
[lola][W] unknown unit in memory specification: using default
[lola][I] MEM LIMIT 5
[lola][I] NET
[lola][I] reading net from model.pnml
[lola][I] input: PNML file (--pnmlnet)
[lola][I] reading pnml
[lola][I] PNML file contains place/transition net
[lola][I] closed net file model.pnml
[lola][I] finished parsing
[lola][I] Reading formula.
[lola][I] Using XML format (--xmlformula)
[lola][I] reading XML formula
[lola][I] reading formula from ReachabilityFireability.xml
[lola][I] Rule S: 0 transitions removed,0 places removed
[lola][I] LAUNCH task # 43 (type CNST) for 42 MedleyA-PT-11-ReachabilityFireability-2024-14
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 43 (type CNST) for MedleyA-PT-11-ReachabilityFireability-2024-14
[lola][I] result : false
[lola][I] LAUNCH task # 51 (type EXCL) for 3 MedleyA-PT-11-ReachabilityFireability-2024-01
[lola][I] time limit : 238 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 49 (type FNDP) for 3 MedleyA-PT-11-ReachabilityFireability-2024-01
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 50 (type EQUN) for 3 MedleyA-PT-11-ReachabilityFireability-2024-01
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 53 (type FNDP) for 18 MedleyA-PT-11-ReachabilityFireability-2024-06
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 50 (type EQUN) for MedleyA-PT-11-ReachabilityFireability-2024-01
[lola][I] result : false
[lola][W] CANCELED task # 49 (type FNDP) for MedleyA-PT-11-ReachabilityFireability-2024-01 (obsolete)
[lola][W] CANCELED task # 51 (type EXCL) for MedleyA-PT-11-ReachabilityFireability-2024-01 (obsolete)
[lola][I] LAUNCH task # 92 (type EXCL) for 33 MedleyA-PT-11-ReachabilityFireability-2024-11
[lola][I] time limit : 255 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 59 (type FNDP) for 6 MedleyA-PT-11-ReachabilityFireability-2024-02
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 60 (type EQUN) for 6 MedleyA-PT-11-ReachabilityFireability-2024-02
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 49 (type FNDP) for MedleyA-PT-11-ReachabilityFireability-2024-01
[lola][I] result : unknown
[lola][I] tried executions : 1050
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] FINISHED task # 92 (type EXCL) for MedleyA-PT-11-ReachabilityFireability-2024-11
[lola][I] result : true
[lola][I] markings : 12349
[lola][I] fired transitions : 28353
[lola][I] time used : 1
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 68 (type EXCL) for 15 MedleyA-PT-11-ReachabilityFireability-2024-05
[lola][I] time limit : 275 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 68 (type EXCL) for MedleyA-PT-11-ReachabilityFireability-2024-05
[lola][I] result : true
[lola][I] markings : 23
[lola][I] fired transitions : 22
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 75 (type EXCL) for 12 MedleyA-PT-11-ReachabilityFireability-2024-04
[lola][I] time limit : 298 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 75 (type EXCL) for MedleyA-PT-11-ReachabilityFireability-2024-04
[lola][I] result : true
[lola][I] markings : 558
[lola][I] fired transitions : 767
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 58 (type EXCL) for 0 MedleyA-PT-11-ReachabilityFireability-2024-00
[lola][I] time limit : 325 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 59 (type FNDP) for MedleyA-PT-11-ReachabilityFireability-2024-02
[lola][I] result : true
[lola][I] tried executions : 2217
[lola][I] time used : 1
[lola][I] memory pages used : 0
[lola][W] CANCELED task # 60 (type EQUN) for MedleyA-PT-11-ReachabilityFireability-2024-02 (obsolete)
[lola][I] LAUNCH task # 83 (type FNDP) for 45 MedleyA-PT-11-ReachabilityFireability-2024-15
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 84 (type EQUN) for 45 MedleyA-PT-11-ReachabilityFireability-2024-15
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 83 (type FNDP) for MedleyA-PT-11-ReachabilityFireability-2024-15
[lola][I] result : true
[lola][I] tried executions : 217
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][W] CANCELED task # 84 (type EQUN) for MedleyA-PT-11-ReachabilityFireability-2024-15 (obsolete)
[lola][I] LAUNCH task # 97 (type FNDP) for 39 MedleyA-PT-11-ReachabilityFireability-2024-13
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 98 (type EQUN) for 39 MedleyA-PT-11-ReachabilityFireability-2024-13
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 58 (type EXCL) for MedleyA-PT-11-ReachabilityFireability-2024-00
[lola][I] result : true
[lola][I] markings : 63722
[lola][I] fired transitions : 140025
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 65 (type EXCL) for 9 MedleyA-PT-11-ReachabilityFireability-2024-03
[lola][I] time limit : 447 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 65 (type EXCL) for MedleyA-PT-11-ReachabilityFireability-2024-03
[lola][I] result : true
[lola][I] markings : 9
[lola][I] fired transitions : 8
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 55 (type EXCL) for 18 MedleyA-PT-11-ReachabilityFireability-2024-06
[lola][I] time limit : 511 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 55 (type EXCL) for MedleyA-PT-11-ReachabilityFireability-2024-06
[lola][I] result : true
[lola][I] markings : 22203
[lola][I] fired transitions : 54060
[lola][I] time used : 1
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 53 (type FNDP) for MedleyA-PT-11-ReachabilityFireability-2024-06 (obsolete)
[lola][I] LAUNCH task # 88 (type EXCL) for 21 MedleyA-PT-11-ReachabilityFireability-2024-07
[lola][I] time limit : 596 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 79 (type FNDP) for 24 MedleyA-PT-11-ReachabilityFireability-2024-08
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 53 (type FNDP) for MedleyA-PT-11-ReachabilityFireability-2024-06
[lola][I] result : unknown
[lola][I] tried executions : 10443
[lola][I] time used : 2
[lola][I] memory pages used : 0
[lola][I] FINISHED task # 88 (type EXCL) for MedleyA-PT-11-ReachabilityFireability-2024-07
[lola][I] result : true
[lola][I] markings : 19266
[lola][I] fired transitions : 36544
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 72 (type EXCL) for 27 MedleyA-PT-11-ReachabilityFireability-2024-09
[lola][I] time limit : 716 sec
[lola][I] memory limit: 2000 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 EF EXCL 3/716 1/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 199149 m, 39829 m/sec, 420108 t fired, .
[lola][.] 79 EF FNDP 3/895 0/5 MedleyA-PT-11-ReachabilityFireability-2024-08 16586 attempts, .
[lola][.] 97 EF FNDP 4/1193 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 23265 attempts, .
[lola][.] 98 EF STEQ 4/1193 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 22 secs. Pages in use: 1
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 60 (type EQUN) for MedleyA-PT-11-ReachabilityFireability-2024-02
[lola][I] result : unknown
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 EF EXCL 8/716 2/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 561407 m, 72451 m/sec, 1244163 t fired, .
[lola][.] 79 EF FNDP 8/887 0/5 MedleyA-PT-11-ReachabilityFireability-2024-08 46159 attempts, .
[lola][.] 97 EF FNDP 9/1185 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 49471 attempts, .
[lola][.] 98 EF STEQ 9/1185 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 27 secs. Pages in use: 2
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 EF EXCL 13/716 4/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 922485 m, 72215 m/sec, 2107468 t fired, .
[lola][.] 79 EF FNDP 13/887 0/5 MedleyA-PT-11-ReachabilityFireability-2024-08 84316 attempts, .
[lola][.] 97 EF FNDP 14/1185 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 85360 attempts, .
[lola][.] 98 EF STEQ 14/1185 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 32 secs. Pages in use: 4
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 EF EXCL 18/716 5/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 1321002 m, 79703 m/sec, 3122673 t fired, .
[lola][.] 79 EF FNDP 18/882 0/5 MedleyA-PT-11-ReachabilityFireability-2024-08 122160 attempts, .
[lola][.] 97 EF FNDP 19/1180 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 117673 attempts, .
[lola][.] 98 EF STEQ 19/1180 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 37 secs. Pages in use: 5
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 EF EXCL 23/716 6/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 1684980 m, 72795 m/sec, 4103625 t fired, .
[lola][.] 79 EF FNDP 23/877 0/5 MedleyA-PT-11-ReachabilityFireability-2024-08 161192 attempts, .
[lola][.] 97 EF FNDP 24/1175 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 151041 attempts, .
[lola][.] 98 EF STEQ 24/1175 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 42 secs. Pages in use: 6
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 EF EXCL 28/716 7/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 2032596 m, 69523 m/sec, 5088555 t fired, .
[lola][.] 79 EF FNDP 28/872 0/5 MedleyA-PT-11-ReachabilityFireability-2024-08 200033 attempts, .
[lola][.] 97 EF FNDP 29/1170 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 185248 attempts, .
[lola][.] 98 EF STEQ 29/1170 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 47 secs. Pages in use: 7
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 EF EXCL 33/716 9/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 2373484 m, 68177 m/sec, 6091338 t fired, .
[lola][.] 79 EF FNDP 33/867 0/5 MedleyA-PT-11-ReachabilityFireability-2024-08 236641 attempts, .
[lola][.] 97 EF FNDP 34/1165 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 219795 attempts, .
[lola][.] 98 EF STEQ 34/1165 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 52 secs. Pages in use: 9
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 EF EXCL 38/716 10/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 2726235 m, 70550 m/sec, 7171749 t fired, .
[lola][.] 79 EF FNDP 38/862 0/5 MedleyA-PT-11-ReachabilityFireability-2024-08 273568 attempts, .
[lola][.] 97 EF FNDP 39/1160 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 252427 attempts, .
[lola][.] 98 EF STEQ 39/1160 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 57 secs. Pages in use: 10
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 EF EXCL 43/716 11/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 3043228 m, 63398 m/sec, 8192377 t fired, .
[lola][.] 79 EF FNDP 43/857 0/5 MedleyA-PT-11-ReachabilityFireability-2024-08 310872 attempts, .
[lola][.] 97 EF FNDP 44/1155 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 286780 attempts, .
[lola][.] 98 EF STEQ 44/1155 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 62 secs. Pages in use: 11
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 EF EXCL 48/716 12/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 3426106 m, 76575 m/sec, 9166192 t fired, .
[lola][.] 79 EF FNDP 48/852 0/5 MedleyA-PT-11-ReachabilityFireability-2024-08 348211 attempts, .
[lola][.] 97 EF FNDP 49/1150 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 321194 attempts, .
[lola][.] 98 EF STEQ 49/1150 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 67 secs. Pages in use: 12
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 EF EXCL 53/716 13/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 3766396 m, 68058 m/sec, 10093755 t fired, .
[lola][.] 79 EF FNDP 53/847 0/5 MedleyA-PT-11-ReachabilityFireability-2024-08 388944 attempts, .
[lola][.] 97 EF FNDP 54/1145 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 353082 attempts, .
[lola][.] 98 EF STEQ 54/1145 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 72 secs. Pages in use: 13
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 EF EXCL 58/716 15/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 4109992 m, 68719 m/sec, 11014995 t fired, .
[lola][.] 79 EF FNDP 58/842 0/5 MedleyA-PT-11-ReachabilityFireability-2024-08 424590 attempts, .
[lola][.] 97 EF FNDP 59/1140 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 387457 attempts, .
[lola][.] 98 EF STEQ 59/1140 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 77 secs. Pages in use: 15
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 98 (type EQUN) for MedleyA-PT-11-ReachabilityFireability-2024-13
[lola][I] result : unknown
[lola][I] LAUNCH task # 93 (type FNDP) for 30 MedleyA-PT-11-ReachabilityFireability-2024-10
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 EF EXCL 63/716 16/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 4484201 m, 74841 m/sec, 11911181 t fired, .
[lola][.] 79 EF FNDP 63/1131 0/5 MedleyA-PT-11-ReachabilityFireability-2024-08 461360 attempts, .
[lola][.] 93 EF FNDP 1/1173 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 8025 attempts, .
[lola][.] 97 EF FNDP 64/1131 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 421390 attempts, .
[lola][.]
[lola][.] Time elapsed: 82 secs. Pages in use: 16
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 EF EXCL 68/716 17/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 4805315 m, 64222 m/sec, 12782507 t fired, .
[lola][.] 79 EF FNDP 68/1130 0/5 MedleyA-PT-11-ReachabilityFireability-2024-08 502808 attempts, .
[lola][.] 93 EF FNDP 6/1172 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 35084 attempts, .
[lola][.] 97 EF FNDP 69/1130 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 456360 attempts, .
[lola][.]
[lola][.] Time elapsed: 87 secs. Pages in use: 17
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 EF EXCL 73/716 18/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 5144239 m, 67784 m/sec, 13663294 t fired, .
[lola][.] 79 EF FNDP 73/1125 0/5 MedleyA-PT-11-ReachabilityFireability-2024-08 543345 attempts, .
[lola][.] 93 EF FNDP 11/1167 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 63053 attempts, .
[lola][.] 97 EF FNDP 74/1125 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 487921 attempts, .
[lola][.]
[lola][.] Time elapsed: 92 secs. Pages in use: 18
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 EF EXCL 78/716 19/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 5473293 m, 65810 m/sec, 14558711 t fired, .
[lola][.] 79 EF FNDP 78/1120 0/5 MedleyA-PT-11-ReachabilityFireability-2024-08 585098 attempts, .
[lola][.] 93 EF FNDP 16/1162 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 89579 attempts, .
[lola][.] 97 EF FNDP 79/1120 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 522839 attempts, .
[lola][.]
[lola][.] Time elapsed: 97 secs. Pages in use: 19
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 EF EXCL 83/716 20/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 5798442 m, 65029 m/sec, 15384391 t fired, .
[lola][.] 79 EF FNDP 83/1115 0/5 MedleyA-PT-11-ReachabilityFireability-2024-08 622765 attempts, .
[lola][.] 93 EF FNDP 21/1157 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 114934 attempts, .
[lola][.] 97 EF FNDP 84/1115 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 556148 attempts, .
[lola][.]
[lola][.] Time elapsed: 102 secs. Pages in use: 20
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 EF EXCL 88/716 22/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 6124670 m, 65245 m/sec, 16216590 t fired, .
[lola][.] 79 EF FNDP 88/1110 0/5 MedleyA-PT-11-ReachabilityFireability-2024-08 663666 attempts, .
[lola][.] 93 EF FNDP 26/1152 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 141108 attempts, .
[lola][.] 97 EF FNDP 89/1110 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 589363 attempts, .
[lola][.]
[lola][.] Time elapsed: 107 secs. Pages in use: 22
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 EF EXCL 93/716 23/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 6447625 m, 64591 m/sec, 17065934 t fired, .
[lola][.] 79 EF FNDP 93/1105 0/5 MedleyA-PT-11-ReachabilityFireability-2024-08 701451 attempts, .
[lola][.] 93 EF FNDP 31/1147 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 167340 attempts, .
[lola][.] 97 EF FNDP 94/1105 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 626778 attempts, .
[lola][.]
[lola][.] Time elapsed: 112 secs. Pages in use: 23
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 EF EXCL 98/716 24/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 6773659 m, 65206 m/sec, 17945802 t fired, .
[lola][.] 79 EF FNDP 98/1100 0/5 MedleyA-PT-11-ReachabilityFireability-2024-08 738158 attempts, .
[lola][.] 93 EF FNDP 36/1142 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 195572 attempts, .
[lola][.] 97 EF FNDP 99/1100 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 661097 attempts, .
[lola][.]
[lola][.] Time elapsed: 117 secs. Pages in use: 24
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 EF EXCL 103/716 25/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 7118100 m, 68888 m/sec, 18856880 t fired, .
[lola][.] 79 EF FNDP 103/1095 0/5 MedleyA-PT-11-ReachabilityFireability-2024-08 774058 attempts, .
[lola][.] 93 EF FNDP 41/1137 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 223717 attempts, .
[lola][.] 97 EF FNDP 104/1095 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 696266 attempts, .
[lola][.]
[lola][.] Time elapsed: 122 secs. Pages in use: 25
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 EF EXCL 108/716 26/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 7423447 m, 61069 m/sec, 19678609 t fired, .
[lola][.] 79 EF FNDP 108/1090 0/5 MedleyA-PT-11-ReachabilityFireability-2024-08 812601 attempts, .
[lola][.] 93 EF FNDP 46/1132 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 250199 attempts, .
[lola][.] 97 EF FNDP 109/1090 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 732928 attempts, .
[lola][.]
[lola][.] Time elapsed: 127 secs. Pages in use: 26
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 EF EXCL 113/716 27/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 7738070 m, 62924 m/sec, 20531023 t fired, .
[lola][.] 79 EF FNDP 113/1085 0/5 MedleyA-PT-11-ReachabilityFireability-2024-08 849608 attempts, .
[lola][.] 93 EF FNDP 51/1127 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 274646 attempts, .
[lola][.] 97 EF FNDP 114/1085 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 768329 attempts, .
[lola][.]
[lola][.] Time elapsed: 132 secs. Pages in use: 27
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 EF EXCL 118/716 28/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 8073754 m, 67136 m/sec, 21451952 t fired, .
[lola][.] 79 EF FNDP 118/1080 0/5 MedleyA-PT-11-ReachabilityFireability-2024-08 889099 attempts, .
[lola][.] 93 EF FNDP 56/1122 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 301339 attempts, .
[lola][.] 97 EF FNDP 119/1080 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 803524 attempts, .
[lola][.]
[lola][.] Time elapsed: 137 secs. Pages in use: 28
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 EF EXCL 123/716 29/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 8369849 m, 59219 m/sec, 22288065 t fired, .
[lola][.] 79 EF FNDP 123/1075 0/5 MedleyA-PT-11-ReachabilityFireability-2024-08 926765 attempts, .
[lola][.] 93 EF FNDP 61/1117 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 329583 attempts, .
[lola][.] 97 EF FNDP 124/1075 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 837880 attempts, .
[lola][.]
[lola][.] Time elapsed: 142 secs. Pages in use: 29
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 EF EXCL 128/716 30/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 8677984 m, 61627 m/sec, 23132254 t fired, .
[lola][.] 79 EF FNDP 128/1070 0/5 MedleyA-PT-11-ReachabilityFireability-2024-08 966147 attempts, .
[lola][.] 93 EF FNDP 66/1112 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 358533 attempts, .
[lola][.] 97 EF FNDP 129/1070 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 870685 attempts, .
[lola][.]
[lola][.] Time elapsed: 147 secs. Pages in use: 30
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 EF EXCL 133/716 31/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 8988776 m, 62158 m/sec, 23977790 t fired, .
[lola][.] 79 EF FNDP 133/1065 0/5 MedleyA-PT-11-ReachabilityFireability-2024-08 1004915 attempts, .
[lola][.] 93 EF FNDP 71/1107 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 385890 attempts, .
[lola][.] 97 EF FNDP 134/1065 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 903638 attempts, .
[lola][.]
[lola][.] Time elapsed: 152 secs. Pages in use: 31
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 EF EXCL 138/716 33/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 9300818 m, 62408 m/sec, 24866922 t fired, .
[lola][.] 79 EF FNDP 138/1060 0/5 MedleyA-PT-11-ReachabilityFireability-2024-08 1043956 attempts, .
[lola][.] 93 EF FNDP 76/1102 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 413358 attempts, .
[lola][.] 97 EF FNDP 139/1060 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 939691 attempts, .
[lola][.]
[lola][.] Time elapsed: 157 secs. Pages in use: 33
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 EF EXCL 143/716 34/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 9605493 m, 60935 m/sec, 25746217 t fired, .
[lola][.] 79 EF FNDP 143/1055 0/5 MedleyA-PT-11-ReachabilityFireability-2024-08 1083890 attempts, .
[lola][.] 93 EF FNDP 81/1097 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 440969 attempts, .
[lola][.] 97 EF FNDP 144/1055 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 975049 attempts, .
[lola][.]
[lola][.] Time elapsed: 162 secs. Pages in use: 34
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 79 (type FNDP) for MedleyA-PT-11-ReachabilityFireability-2024-08
[lola][I] result : true
[lola][I] tried executions : 1115753
[lola][I] time used : 147
[lola][I] memory pages used : 0
[lola][I] LAUNCH task # 76 (type FNDP) for 36 MedleyA-PT-11-ReachabilityFireability-2024-12
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 76 (type FNDP) for MedleyA-PT-11-ReachabilityFireability-2024-12
[lola][I] result : true
[lola][I] tried executions : 4335
[lola][I] time used : 1
[lola][I] memory pages used : 0
[lola][I] LAUNCH task # 94 (type EQUN) for 30 MedleyA-PT-11-ReachabilityFireability-2024-10
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 EF EXCL 148/1193 35/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 9877002 m, 54301 m/sec, 26532270 t fired, .
[lola][.] 93 EF FNDP 86/1673 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 469417 attempts, .
[lola][.] 94 EF STEQ 0/1716 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 97 EF FNDP 149/3433 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 1010738 attempts, .
[lola][.]
[lola][.] Time elapsed: 167 secs. Pages in use: 35
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 EF EXCL 153/1193 36/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 10225535 m, 69706 m/sec, 27497925 t fired, .
[lola][.] 93 EF FNDP 91/1673 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 495620 attempts, .
[lola][.] 94 EF STEQ 5/1716 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 97 EF FNDP 154/3433 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 1044468 attempts, .
[lola][.]
[lola][.] Time elapsed: 172 secs. Pages in use: 36
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 EF EXCL 158/1193 37/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 10540336 m, 62960 m/sec, 28422338 t fired, .
[lola][.] 93 EF FNDP 96/1668 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 523073 attempts, .
[lola][.] 94 EF STEQ 10/1711 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 97 EF FNDP 159/3428 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 1078188 attempts, .
[lola][.]
[lola][.] Time elapsed: 177 secs. Pages in use: 37
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 EF EXCL 163/1193 38/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 10852769 m, 62486 m/sec, 29331767 t fired, .
[lola][.] 93 EF FNDP 101/1663 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 549286 attempts, .
[lola][.] 94 EF STEQ 15/1706 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 97 EF FNDP 164/3423 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 1110229 attempts, .
[lola][.]
[lola][.] Time elapsed: 182 secs. Pages in use: 38
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 EF EXCL 168/1193 39/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 11171462 m, 63738 m/sec, 30253973 t fired, .
[lola][.] 93 EF FNDP 106/1658 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 575976 attempts, .
[lola][.] 94 EF STEQ 20/1701 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 97 EF FNDP 169/3418 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 1142512 attempts, .
[lola][.]
[lola][.] Time elapsed: 187 secs. Pages in use: 39
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 EF EXCL 173/1193 40/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 11500841 m, 65875 m/sec, 31190798 t fired, .
[lola][.] 93 EF FNDP 111/1653 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 603321 attempts, .
[lola][.] 94 EF STEQ 25/1696 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 97 EF FNDP 174/3413 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 1175476 attempts, .
[lola][.]
[lola][.] Time elapsed: 192 secs. Pages in use: 40
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 EF EXCL 178/1193 41/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 11798999 m, 59631 m/sec, 32055029 t fired, .
[lola][.] 93 EF FNDP 116/1648 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 629742 attempts, .
[lola][.] 94 EF STEQ 30/1691 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 97 EF FNDP 179/3408 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 1209988 attempts, .
[lola][.]
[lola][.] Time elapsed: 197 secs. Pages in use: 41
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG 0 1 1 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 72 EF EXCL 183/1193 42/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 12121597 m, 64519 m/sec, 32984773 t fired, .
[lola][.] 93 EF FNDP 121/1643 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 656117 attempts, .
[lola][.] 94 EF STEQ 35/1686 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.] 97 EF FNDP 184/3403 0/5 MedleyA-PT-11-ReachabilityFireability-2024-13 1243360 attempts, .
[lola][.]
[lola][.] Time elapsed: 202 secs. Pages in use: 42
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 97 (type FNDP) for MedleyA-PT-11-ReachabilityFireability-2024-13
[lola][I] result : true
[lola][I] tried executions : 1246689
[lola][I] time used : 185
[lola][I] memory pages used : 0
[lola][I] LAUNCH task # 70 (type FNDP) for 27 MedleyA-PT-11-ReachabilityFireability-2024-09
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 4/1698 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 43321 attempts, .
[lola][.] 72 EF EXCL 188/1790 43/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 12425786 m, 60837 m/sec, 33894364 t fired, .
[lola][.] 93 EF FNDP 126/3397 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 682749 attempts, .
[lola][.] 94 EF STEQ 40/3397 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 207 secs. Pages in use: 43
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 9/1694 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 89694 attempts, .
[lola][.] 72 EF EXCL 193/1790 44/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 12726828 m, 60208 m/sec, 34803946 t fired, .
[lola][.] 93 EF FNDP 131/3393 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 709233 attempts, .
[lola][.] 94 EF STEQ 45/3393 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 212 secs. Pages in use: 44
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 14/1689 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 137448 attempts, .
[lola][.] 72 EF EXCL 198/1790 45/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 13036295 m, 61893 m/sec, 35705927 t fired, .
[lola][.] 93 EF FNDP 136/3388 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 735077 attempts, .
[lola][.] 94 EF STEQ 50/3388 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 217 secs. Pages in use: 45
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 19/1684 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 183228 attempts, .
[lola][.] 72 EF EXCL 203/1790 47/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 13349774 m, 62695 m/sec, 36633677 t fired, .
[lola][.] 93 EF FNDP 141/3383 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 762042 attempts, .
[lola][.] 94 EF STEQ 55/3383 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 222 secs. Pages in use: 47
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 24/1679 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 230509 attempts, .
[lola][.] 72 EF EXCL 208/1790 48/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 13646746 m, 59394 m/sec, 37505986 t fired, .
[lola][.] 93 EF FNDP 146/3378 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 788190 attempts, .
[lola][.] 94 EF STEQ 60/3378 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 227 secs. Pages in use: 48
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 29/1674 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 274799 attempts, .
[lola][.] 72 EF EXCL 213/1790 49/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 13954494 m, 61549 m/sec, 38416402 t fired, .
[lola][.] 93 EF FNDP 151/3373 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 816280 attempts, .
[lola][.] 94 EF STEQ 65/3373 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 232 secs. Pages in use: 49
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 34/1669 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 319067 attempts, .
[lola][.] 72 EF EXCL 218/1790 50/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 14288447 m, 66790 m/sec, 39407389 t fired, .
[lola][.] 93 EF FNDP 156/3368 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 841859 attempts, .
[lola][.] 94 EF STEQ 70/3368 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 237 secs. Pages in use: 50
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 39/1664 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 364915 attempts, .
[lola][.] 72 EF EXCL 223/1790 51/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 14604035 m, 63117 m/sec, 40320378 t fired, .
[lola][.] 93 EF FNDP 161/3363 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 867149 attempts, .
[lola][.] 94 EF STEQ 75/3363 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 242 secs. Pages in use: 51
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 44/1659 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 412969 attempts, .
[lola][.] 72 EF EXCL 228/1790 52/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 14903883 m, 59969 m/sec, 41219056 t fired, .
[lola][.] 93 EF FNDP 166/3358 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 893408 attempts, .
[lola][.] 94 EF STEQ 80/3358 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 247 secs. Pages in use: 52
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 49/1654 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 461114 attempts, .
[lola][.] 72 EF EXCL 233/1790 53/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 15213439 m, 61911 m/sec, 42167025 t fired, .
[lola][.] 93 EF FNDP 171/3353 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 917243 attempts, .
[lola][.] 94 EF STEQ 85/3353 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 252 secs. Pages in use: 53
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 54/1649 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 506349 attempts, .
[lola][.] 72 EF EXCL 238/1790 54/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 15525968 m, 62505 m/sec, 43073140 t fired, .
[lola][.] 93 EF FNDP 176/3348 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 943232 attempts, .
[lola][.] 94 EF STEQ 90/3348 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 257 secs. Pages in use: 54
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 59/1644 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 553372 attempts, .
[lola][.] 72 EF EXCL 243/1790 55/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 15825659 m, 59938 m/sec, 43950431 t fired, .
[lola][.] 93 EF FNDP 181/3343 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 969578 attempts, .
[lola][.] 94 EF STEQ 95/3343 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 262 secs. Pages in use: 55
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 64/1639 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 598862 attempts, .
[lola][.] 72 EF EXCL 248/1790 56/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 16123353 m, 59538 m/sec, 44834254 t fired, .
[lola][.] 93 EF FNDP 186/3338 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 995743 attempts, .
[lola][.] 94 EF STEQ 100/3338 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 267 secs. Pages in use: 56
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 69/1634 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 643881 attempts, .
[lola][.] 72 EF EXCL 253/1790 57/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 16433950 m, 62119 m/sec, 45765305 t fired, .
[lola][.] 93 EF FNDP 191/3333 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1021316 attempts, .
[lola][.] 94 EF STEQ 105/3333 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 272 secs. Pages in use: 57
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 74/1629 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 689244 attempts, .
[lola][.] 72 EF EXCL 258/1790 58/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 16764748 m, 66159 m/sec, 46730569 t fired, .
[lola][.] 93 EF FNDP 196/3328 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1046893 attempts, .
[lola][.] 94 EF STEQ 110/3328 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 277 secs. Pages in use: 58
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 79/1624 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 731245 attempts, .
[lola][.] 72 EF EXCL 263/1790 59/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 17076116 m, 62273 m/sec, 47677698 t fired, .
[lola][.] 93 EF FNDP 201/3323 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1074124 attempts, .
[lola][.] 94 EF STEQ 115/3323 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 282 secs. Pages in use: 59
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 84/1619 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 777174 attempts, .
[lola][.] 72 EF EXCL 268/1790 60/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 17397890 m, 64354 m/sec, 48646141 t fired, .
[lola][.] 93 EF FNDP 206/3318 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1099177 attempts, .
[lola][.] 94 EF STEQ 120/3318 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 287 secs. Pages in use: 60
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 89/1614 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 820558 attempts, .
[lola][.] 72 EF EXCL 273/1790 61/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 17698878 m, 60197 m/sec, 49541334 t fired, .
[lola][.] 93 EF FNDP 211/3313 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1125614 attempts, .
[lola][.] 94 EF STEQ 125/3313 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 292 secs. Pages in use: 61
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 94/1609 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 864662 attempts, .
[lola][.] 72 EF EXCL 278/1790 63/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 18009417 m, 62107 m/sec, 50467491 t fired, .
[lola][.] 93 EF FNDP 216/3308 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1152206 attempts, .
[lola][.] 94 EF STEQ 130/3308 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 297 secs. Pages in use: 63
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 99/1604 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 908613 attempts, .
[lola][.] 72 EF EXCL 283/1790 64/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 18325210 m, 63158 m/sec, 51400293 t fired, .
[lola][.] 93 EF FNDP 221/3303 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1179327 attempts, .
[lola][.] 94 EF STEQ 135/3303 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 302 secs. Pages in use: 64
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 104/1599 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 954602 attempts, .
[lola][.] 72 EF EXCL 288/1790 65/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 18638076 m, 62573 m/sec, 52389402 t fired, .
[lola][.] 93 EF FNDP 226/3298 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1203736 attempts, .
[lola][.] 94 EF STEQ 140/3298 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 307 secs. Pages in use: 65
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 109/1594 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 1001932 attempts, .
[lola][.] 72 EF EXCL 293/1790 66/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 18945662 m, 61517 m/sec, 53322931 t fired, .
[lola][.] 93 EF FNDP 231/3293 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1228743 attempts, .
[lola][.] 94 EF STEQ 145/3293 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 312 secs. Pages in use: 66
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 114/1589 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 1049421 attempts, .
[lola][.] 72 EF EXCL 298/1790 67/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 19244953 m, 59858 m/sec, 54251941 t fired, .
[lola][.] 93 EF FNDP 236/3288 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1255442 attempts, .
[lola][.] 94 EF STEQ 150/3288 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 317 secs. Pages in use: 67
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 119/1584 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 1094490 attempts, .
[lola][.] 72 EF EXCL 303/1790 68/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 19552378 m, 61485 m/sec, 55166953 t fired, .
[lola][.] 93 EF FNDP 241/3283 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1280841 attempts, .
[lola][.] 94 EF STEQ 155/3283 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 322 secs. Pages in use: 68
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 124/1579 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 1141271 attempts, .
[lola][.] 72 EF EXCL 308/1790 69/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 19855402 m, 60604 m/sec, 56094264 t fired, .
[lola][.] 93 EF FNDP 246/3278 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1306984 attempts, .
[lola][.] 94 EF STEQ 160/3278 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 327 secs. Pages in use: 69
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 129/1574 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 1186696 attempts, .
[lola][.] 72 EF EXCL 313/1790 70/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 20147765 m, 58472 m/sec, 57018027 t fired, .
[lola][.] 93 EF FNDP 251/3273 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1334165 attempts, .
[lola][.] 94 EF STEQ 165/3273 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 332 secs. Pages in use: 70
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 134/1569 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 1234856 attempts, .
[lola][.] 72 EF EXCL 318/1790 71/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 20423283 m, 55103 m/sec, 57896757 t fired, .
[lola][.] 93 EF FNDP 256/3268 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1360667 attempts, .
[lola][.] 94 EF STEQ 170/3268 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 337 secs. Pages in use: 71
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 139/1564 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 1280926 attempts, .
[lola][.] 72 EF EXCL 323/1790 72/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 20719818 m, 59307 m/sec, 58824213 t fired, .
[lola][.] 93 EF FNDP 261/3263 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1386806 attempts, .
[lola][.] 94 EF STEQ 175/3263 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 342 secs. Pages in use: 72
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 144/1559 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 1327671 attempts, .
[lola][.] 72 EF EXCL 328/1790 73/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 21007978 m, 57632 m/sec, 59727719 t fired, .
[lola][.] 93 EF FNDP 266/3258 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1413047 attempts, .
[lola][.] 94 EF STEQ 180/3258 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 347 secs. Pages in use: 73
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 149/1554 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 1373465 attempts, .
[lola][.] 72 EF EXCL 333/1790 74/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 21301742 m, 58752 m/sec, 60669872 t fired, .
[lola][.] 93 EF FNDP 271/3253 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1439273 attempts, .
[lola][.] 94 EF STEQ 185/3253 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 352 secs. Pages in use: 74
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 154/1549 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 1423917 attempts, .
[lola][.] 72 EF EXCL 338/1790 75/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 21578048 m, 55261 m/sec, 61541116 t fired, .
[lola][.] 93 EF FNDP 276/3248 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1464841 attempts, .
[lola][.] 94 EF STEQ 190/3248 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 357 secs. Pages in use: 75
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 159/1544 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 1469226 attempts, .
[lola][.] 72 EF EXCL 343/1790 76/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 21879846 m, 60359 m/sec, 62476832 t fired, .
[lola][.] 93 EF FNDP 281/3243 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1490185 attempts, .
[lola][.] 94 EF STEQ 195/3243 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 362 secs. Pages in use: 76
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 164/1539 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 1511970 attempts, .
[lola][.] 72 EF EXCL 348/1790 77/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 22187369 m, 61504 m/sec, 63446591 t fired, .
[lola][.] 93 EF FNDP 286/3238 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1516902 attempts, .
[lola][.] 94 EF STEQ 200/3238 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 367 secs. Pages in use: 77
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 169/1534 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 1555096 attempts, .
[lola][.] 72 EF EXCL 353/1790 78/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 22495060 m, 61538 m/sec, 64351414 t fired, .
[lola][.] 93 EF FNDP 291/3233 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1543740 attempts, .
[lola][.] 94 EF STEQ 205/3233 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 372 secs. Pages in use: 78
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 174/1529 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 1598662 attempts, .
[lola][.] 72 EF EXCL 358/1790 79/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 22779552 m, 56898 m/sec, 65253721 t fired, .
[lola][.] 93 EF FNDP 296/3228 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1569067 attempts, .
[lola][.] 94 EF STEQ 210/3228 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 377 secs. Pages in use: 79
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 179/1524 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 1645956 attempts, .
[lola][.] 72 EF EXCL 363/1790 80/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 23068534 m, 57796 m/sec, 66160703 t fired, .
[lola][.] 93 EF FNDP 301/3223 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1595673 attempts, .
[lola][.] 94 EF STEQ 215/3223 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 382 secs. Pages in use: 80
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 184/1519 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 1693405 attempts, .
[lola][.] 72 EF EXCL 368/1790 81/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 23352252 m, 56743 m/sec, 67055579 t fired, .
[lola][.] 93 EF FNDP 306/3218 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1621505 attempts, .
[lola][.] 94 EF STEQ 220/3218 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 387 secs. Pages in use: 81
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 189/1514 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 1740132 attempts, .
[lola][.] 72 EF EXCL 373/1790 82/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 23644238 m, 58397 m/sec, 67950952 t fired, .
[lola][.] 93 EF FNDP 311/3213 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1647350 attempts, .
[lola][.] 94 EF STEQ 225/3213 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 392 secs. Pages in use: 82
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 194/1509 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 1786578 attempts, .
[lola][.] 72 EF EXCL 378/1790 83/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 23929650 m, 57082 m/sec, 68874669 t fired, .
[lola][.] 93 EF FNDP 316/3208 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1674514 attempts, .
[lola][.] 94 EF STEQ 230/3208 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 397 secs. Pages in use: 83
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 199/1504 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 1831498 attempts, .
[lola][.] 72 EF EXCL 383/1790 84/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 24222012 m, 58472 m/sec, 69776336 t fired, .
[lola][.] 93 EF FNDP 321/3203 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1700916 attempts, .
[lola][.] 94 EF STEQ 235/3203 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 402 secs. Pages in use: 84
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 204/1499 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 1878627 attempts, .
[lola][.] 72 EF EXCL 388/1790 85/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 24508336 m, 57264 m/sec, 70671025 t fired, .
[lola][.] 93 EF FNDP 326/3198 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1727469 attempts, .
[lola][.] 94 EF STEQ 240/3198 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 407 secs. Pages in use: 85
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 209/1494 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 1923270 attempts, .
[lola][.] 72 EF EXCL 393/1790 86/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 24793044 m, 56941 m/sec, 71609544 t fired, .
[lola][.] 93 EF FNDP 331/3193 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1753285 attempts, .
[lola][.] 94 EF STEQ 245/3193 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 412 secs. Pages in use: 86
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 214/1489 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 1967515 attempts, .
[lola][.] 72 EF EXCL 398/1790 87/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 25098810 m, 61153 m/sec, 72540927 t fired, .
[lola][.] 93 EF FNDP 336/3188 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1778055 attempts, .
[lola][.] 94 EF STEQ 250/3188 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 417 secs. Pages in use: 87
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 219/1484 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 2014176 attempts, .
[lola][.] 72 EF EXCL 403/1790 88/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 25403920 m, 61022 m/sec, 73494294 t fired, .
[lola][.] 93 EF FNDP 341/3183 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1806009 attempts, .
[lola][.] 94 EF STEQ 255/3183 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 422 secs. Pages in use: 88
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 224/1479 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 2059754 attempts, .
[lola][.] 72 EF EXCL 408/1790 89/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 25681011 m, 55418 m/sec, 74383608 t fired, .
[lola][.] 93 EF FNDP 346/3178 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1832728 attempts, .
[lola][.] 94 EF STEQ 260/3178 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 427 secs. Pages in use: 89
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 229/1474 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 2104536 attempts, .
[lola][.] 72 EF EXCL 413/1790 90/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 25972844 m, 58366 m/sec, 75285620 t fired, .
[lola][.] 93 EF FNDP 351/3173 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1858132 attempts, .
[lola][.] 94 EF STEQ 265/3173 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 432 secs. Pages in use: 90
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 234/1469 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 2150891 attempts, .
[lola][.] 72 EF EXCL 418/1790 91/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 26267548 m, 58940 m/sec, 76209688 t fired, .
[lola][.] 93 EF FNDP 356/3168 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1884345 attempts, .
[lola][.] 94 EF STEQ 270/3168 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 437 secs. Pages in use: 91
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 239/1464 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 2197164 attempts, .
[lola][.] 72 EF EXCL 423/1790 92/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 26577764 m, 62043 m/sec, 77188487 t fired, .
[lola][.] 93 EF FNDP 361/3163 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1908940 attempts, .
[lola][.] 94 EF STEQ 275/3163 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 442 secs. Pages in use: 92
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 244/1459 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 2242496 attempts, .
[lola][.] 72 EF EXCL 428/1790 93/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 26879638 m, 60374 m/sec, 78166823 t fired, .
[lola][.] 93 EF FNDP 366/3158 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1935253 attempts, .
[lola][.] 94 EF STEQ 280/3158 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 447 secs. Pages in use: 93
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 249/1454 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 2286531 attempts, .
[lola][.] 72 EF EXCL 433/1790 94/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 27162420 m, 56556 m/sec, 79077502 t fired, .
[lola][.] 93 EF FNDP 371/3153 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1961735 attempts, .
[lola][.] 94 EF STEQ 285/3153 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 452 secs. Pages in use: 94
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 254/1449 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 2329206 attempts, .
[lola][.] 72 EF EXCL 438/1790 95/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 27440358 m, 55587 m/sec, 80010105 t fired, .
[lola][.] 93 EF FNDP 376/3148 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 1988367 attempts, .
[lola][.] 94 EF STEQ 290/3148 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 457 secs. Pages in use: 95
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 259/1444 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 2375357 attempts, .
[lola][.] 72 EF EXCL 443/1790 96/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 27721488 m, 56226 m/sec, 80977480 t fired, .
[lola][.] 93 EF FNDP 381/3143 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 2015474 attempts, .
[lola][.] 94 EF STEQ 295/3143 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 462 secs. Pages in use: 96
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 264/1439 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 2420182 attempts, .
[lola][.] 72 EF EXCL 448/1790 97/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 28006009 m, 56904 m/sec, 81901247 t fired, .
[lola][.] 93 EF FNDP 386/3138 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 2041524 attempts, .
[lola][.] 94 EF STEQ 300/3138 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 467 secs. Pages in use: 97
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 269/1434 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 2463376 attempts, .
[lola][.] 72 EF EXCL 453/1790 98/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 28281345 m, 55067 m/sec, 82827735 t fired, .
[lola][.] 93 EF FNDP 391/3133 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 2069160 attempts, .
[lola][.] 94 EF STEQ 305/3133 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 472 secs. Pages in use: 98
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 274/1429 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 2507506 attempts, .
[lola][.] 72 EF EXCL 458/1790 99/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 28570243 m, 57779 m/sec, 83794375 t fired, .
[lola][.] 93 EF FNDP 396/3128 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 2096477 attempts, .
[lola][.] 94 EF STEQ 310/3128 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 477 secs. Pages in use: 99
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 279/1424 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 2553924 attempts, .
[lola][.] 72 EF EXCL 463/1790 100/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 28869354 m, 59822 m/sec, 84750073 t fired, .
[lola][.] 93 EF FNDP 401/3123 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 2122086 attempts, .
[lola][.] 94 EF STEQ 315/3123 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 482 secs. Pages in use: 100
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 1 2 0 1 0 0 0
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF 0 1 2 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 284/1419 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 2600616 attempts, .
[lola][.] 72 EF EXCL 468/1790 101/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 29150019 m, 56133 m/sec, 85709721 t fired, .
[lola][.] 93 EF FNDP 406/3118 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 2148908 attempts, .
[lola][.] 94 EF STEQ 320/3118 0/5 MedleyA-PT-11-ReachabilityFireability-2024-10 sara not yet started (preprocessing).
[lola][.]
[lola][.] Time elapsed: 487 secs. Pages in use: 101
[lola][.] # running tasks: 4 of 4. Visible: 16
[lola][I] FINISHED task # 93 (type FNDP) for MedleyA-PT-11-ReachabilityFireability-2024-10
[lola][I] result : true
[lola][I] tried executions : 2169778
[lola][I] time used : 410
[lola][I] memory pages used : 0
[lola][W] CANCELED task # 94 (type EQUN) for MedleyA-PT-11-ReachabilityFireability-2024-10 (obsolete)
[lola][I] LAUNCH task # 71 (type EQUN) for 27 MedleyA-PT-11-ReachabilityFireability-2024-09
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-00: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-01: AG true state equation
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-02: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-03: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-04: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-05: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-06: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-07: EF true state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-08: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-10: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-11: AG false state space
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-12: EF true findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-13: AG false findpath
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-14: INITIAL false preprocessing
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-15: AG false findpath
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] MedleyA-PT-11-ReachabilityFireability-2024-09: AG 0 0 3 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 70 EF FNDP 289/3397 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 2645667 attempts, .
[lola][.] 71 EF STEQ 1/3109 0/5 MedleyA-PT-11-ReachabilityFireability-2024-09 sara not yet started (preprocessing).
[lola][.] 72 EF EXCL 473/3581 102/2000 MedleyA-PT-11-ReachabilityFireability-2024-09 29410641 m, 52124 m/sec, 86672429 t fired, .
[lola][.]
[lola][.] Time elapsed: 492 secs. Pages in use: 102
[lola][.] # running tasks: 3 of 4. Visible: 16
[lola][I] FINISHED task # 71 (type EQUN) for MedleyA-PT-11-ReachabilityFireability-2024-09
[lola][I] result : false
[lola][W] CANCELED task # 70 (type FNDP) for MedleyA-PT-11-ReachabilityFireability-2024-09 (obsolete)
[lola][W] CANCELED task # 72 (type EXCL) for MedleyA-PT-11-ReachabilityFireability-2024-09 (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="MedleyA-PT-11"
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 MedleyA-PT-11, 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 r577-smll-171734920400087"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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