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

About the Execution of LoLA for ShieldIIPt-PT-005A

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
16207.344 501693.00 996565.00 2207.20 TTFT?FFFTTFTFFFT 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.r357-tall-171683763000247.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 ShieldIIPt-PT-005A, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r357-tall-171683763000247
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 524K
-rw-r--r-- 1 mcc users 5.7K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 60K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:43 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.6K May 18 16:43 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 23 07:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 23 07:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 23 07:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 23 07:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Apr 12 21:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 152K Apr 12 21:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Apr 12 20:59 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 98K Apr 12 20:59 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 23 07:52 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 23 07:52 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 5 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 27K May 18 16:43 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME ShieldIIPt-PT-005A-ReachabilityFireability-2024-00
FORMULA_NAME ShieldIIPt-PT-005A-ReachabilityFireability-2024-01
FORMULA_NAME ShieldIIPt-PT-005A-ReachabilityFireability-2024-02
FORMULA_NAME ShieldIIPt-PT-005A-ReachabilityFireability-2024-03
FORMULA_NAME ShieldIIPt-PT-005A-ReachabilityFireability-2024-04
FORMULA_NAME ShieldIIPt-PT-005A-ReachabilityFireability-2024-05
FORMULA_NAME ShieldIIPt-PT-005A-ReachabilityFireability-2024-06
FORMULA_NAME ShieldIIPt-PT-005A-ReachabilityFireability-2024-07
FORMULA_NAME ShieldIIPt-PT-005A-ReachabilityFireability-2024-08
FORMULA_NAME ShieldIIPt-PT-005A-ReachabilityFireability-2024-09
FORMULA_NAME ShieldIIPt-PT-005A-ReachabilityFireability-2024-10
FORMULA_NAME ShieldIIPt-PT-005A-ReachabilityFireability-2024-11
FORMULA_NAME ShieldIIPt-PT-005A-ReachabilityFireability-2024-12
FORMULA_NAME ShieldIIPt-PT-005A-ReachabilityFireability-2024-13
FORMULA_NAME ShieldIIPt-PT-005A-ReachabilityFireability-2024-14
FORMULA_NAME ShieldIIPt-PT-005A-ReachabilityFireability-2024-15

=== Now, execution of the tool begins

BK_START 1717108378301

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

BK_STOP 1717108879994

--------------------
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 # 51 (type EXCL) for 9 ShieldIIPt-PT-005A-ReachabilityFireability-2024-03
[lola][I] time limit : 199 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 49 (type FNDP) for 9 ShieldIIPt-PT-005A-ReachabilityFireability-2024-03
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 50 (type EQUN) for 9 ShieldIIPt-PT-005A-ReachabilityFireability-2024-03
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 53 (type FNDP) for 18 ShieldIIPt-PT-005A-ReachabilityFireability-2024-06
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 53 (type FNDP) for ShieldIIPt-PT-005A-ReachabilityFireability-2024-06
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] LAUNCH task # 76 (type FNDP) for 12 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 50 (type EQUN) for ShieldIIPt-PT-005A-ReachabilityFireability-2024-03
[lola][I] result : false
[lola][W] CANCELED task # 49 (type FNDP) for ShieldIIPt-PT-005A-ReachabilityFireability-2024-03 (obsolete)
[lola][W] CANCELED task # 51 (type EXCL) for ShieldIIPt-PT-005A-ReachabilityFireability-2024-03 (obsolete)
[lola][I] LAUNCH task # 98 (type EXCL) for 39 ShieldIIPt-PT-005A-ReachabilityFireability-2024-13
[lola][I] time limit : 256 sec
[lola][I] memory limit: 2000 pages
[lola][I] LAUNCH task # 100 (type FNDP) for 30 ShieldIIPt-PT-005A-ReachabilityFireability-2024-10
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 101 (type EQUN) for 30 ShieldIIPt-PT-005A-ReachabilityFireability-2024-10
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 49 (type FNDP) for ShieldIIPt-PT-005A-ReachabilityFireability-2024-03
[lola][I] result : unknown
[lola][I] tried executions : 2
[lola][I] time used : 1
[lola][I] memory pages used : 0
[lola][I] FINISHED task # 98 (type EXCL) for ShieldIIPt-PT-005A-ReachabilityFireability-2024-13
[lola][I] result : true
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 105 (type EXCL) for 45 ShieldIIPt-PT-005A-ReachabilityFireability-2024-15
[lola][I] time limit : 276 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 105 (type EXCL) for ShieldIIPt-PT-005A-ReachabilityFireability-2024-15
[lola][I] result : true
[lola][I] markings : 8
[lola][I] fired transitions : 7
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 85 (type EXCL) for 27 ShieldIIPt-PT-005A-ReachabilityFireability-2024-09
[lola][I] time limit : 299 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 85 (type EXCL) for ShieldIIPt-PT-005A-ReachabilityFireability-2024-09
[lola][I] result : true
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 62 (type EXCL) for 0 ShieldIIPt-PT-005A-ReachabilityFireability-2024-00
[lola][I] time limit : 327 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 62 (type EXCL) for ShieldIIPt-PT-005A-ReachabilityFireability-2024-00
[lola][I] result : true
[lola][I] markings : 34
[lola][I] fired transitions : 36
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 82 (type EXCL) for 15 ShieldIIPt-PT-005A-ReachabilityFireability-2024-05
[lola][I] time limit : 359 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 100 (type FNDP) for ShieldIIPt-PT-005A-ReachabilityFireability-2024-10
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][W] CANCELED task # 101 (type EQUN) for ShieldIIPt-PT-005A-ReachabilityFireability-2024-10 (obsolete)
[lola][I] LAUNCH task # 92 (type FNDP) for 33 ShieldIIPt-PT-005A-ReachabilityFireability-2024-11
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 93 (type EQUN) for 33 ShieldIIPt-PT-005A-ReachabilityFireability-2024-11
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 82 (type EXCL) for ShieldIIPt-PT-005A-ReachabilityFireability-2024-05
[lola][I] result : true
[lola][I] markings : 13
[lola][I] fired transitions : 12
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 70 (type EXCL) for 42 ShieldIIPt-PT-005A-ReachabilityFireability-2024-14
[lola][I] time limit : 449 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 70 (type EXCL) for ShieldIIPt-PT-005A-ReachabilityFireability-2024-14
[lola][I] result : true
[lola][I] markings : 13
[lola][I] fired transitions : 12
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 91 (type EXCL) for 24 ShieldIIPt-PT-005A-ReachabilityFireability-2024-08
[lola][I] time limit : 513 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 91 (type EXCL) for ShieldIIPt-PT-005A-ReachabilityFireability-2024-08
[lola][I] result : true
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 66 (type EXCL) for 36 ShieldIIPt-PT-005A-ReachabilityFireability-2024-12
[lola][I] time limit : 599 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 66 (type EXCL) for ShieldIIPt-PT-005A-ReachabilityFireability-2024-12
[lola][I] result : true
[lola][I] markings : 2
[lola][I] fired transitions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 88 (type EXCL) for 3 ShieldIIPt-PT-005A-ReachabilityFireability-2024-01
[lola][I] time limit : 719 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 88 (type EXCL) for ShieldIIPt-PT-005A-ReachabilityFireability-2024-01
[lola][I] result : true
[lola][I] markings : 168
[lola][I] fired transitions : 178
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 59 (type EXCL) for 6 ShieldIIPt-PT-005A-ReachabilityFireability-2024-02
[lola][I] time limit : 899 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 59 (type EXCL) for ShieldIIPt-PT-005A-ReachabilityFireability-2024-02
[lola][I] result : true
[lola][I] markings : 94
[lola][I] fired transitions : 99
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 74 (type EXCL) for 21 ShieldIIPt-PT-005A-ReachabilityFireability-2024-07
[lola][I] time limit : 1199 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 92 (type FNDP) for ShieldIIPt-PT-005A-ReachabilityFireability-2024-11
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][W] CANCELED task # 93 (type EQUN) for ShieldIIPt-PT-005A-ReachabilityFireability-2024-11 (obsolete)
[lola][I] LAUNCH task # 77 (type EQUN) for 12 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 72 (type FNDP) for 21 ShieldIIPt-PT-005A-ReachabilityFireability-2024-07
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 74 (type EXCL) for ShieldIIPt-PT-005A-ReachabilityFireability-2024-07
[lola][I] result : true
[lola][I] markings : 26
[lola][I] fired transitions : 25
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 72 (type FNDP) for ShieldIIPt-PT-005A-ReachabilityFireability-2024-07 (obsolete)
[lola][I] LAUNCH task # 78 (type EXCL) for 12 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04
[lola][I] time limit : 3597 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 72 (type FNDP) for ShieldIIPt-PT-005A-ReachabilityFireability-2024-07
[lola][I] result : true
[lola][I] tried executions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 0
[lola][I] FINISHED task # 93 (type EQUN) for ShieldIIPt-PT-005A-ReachabilityFireability-2024-11
[lola][I] result : true
[lola][I] FINISHED task # 77 (type EQUN) for ShieldIIPt-PT-005A-ReachabilityFireability-2024-04
[lola][I] result : unknown
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 5/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 6 attempts, .
[lola][.] 78 EF EXCL 4/3597 10/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 2700827 m, 540165 m/sec, 3267269 t fired, .
[lola][.]
[lola][.] Time elapsed: 7 secs. Pages in use: 10
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I] FINISHED task # 101 (type EQUN) for ShieldIIPt-PT-005A-ReachabilityFireability-2024-10
[lola][I] result : true
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 10/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 11 attempts, .
[lola][.] 78 EF EXCL 9/3597 19/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 5520438 m, 563922 m/sec, 6891974 t fired, .
[lola][.]
[lola][.] Time elapsed: 12 secs. Pages in use: 19
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 15/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 16 attempts, .
[lola][.] 78 EF EXCL 14/3597 28/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 8071424 m, 510197 m/sec, 10260815 t fired, .
[lola][.]
[lola][.] Time elapsed: 17 secs. Pages in use: 28
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 20/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 22 attempts, .
[lola][.] 78 EF EXCL 19/3597 36/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 10431995 m, 472114 m/sec, 13427012 t fired, .
[lola][.]
[lola][.] Time elapsed: 22 secs. Pages in use: 36
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 25/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 27 attempts, .
[lola][.] 78 EF EXCL 24/3597 44/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 12748547 m, 463310 m/sec, 16575622 t fired, .
[lola][.]
[lola][.] Time elapsed: 27 secs. Pages in use: 44
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 30/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 33 attempts, .
[lola][.] 78 EF EXCL 29/3597 52/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 15022825 m, 454855 m/sec, 19693938 t fired, .
[lola][.]
[lola][.] Time elapsed: 32 secs. Pages in use: 52
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 35/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 38 attempts, .
[lola][.] 78 EF EXCL 34/3597 59/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 17263508 m, 448136 m/sec, 22792822 t fired, .
[lola][.]
[lola][.] Time elapsed: 37 secs. Pages in use: 59
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 40/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 43 attempts, .
[lola][.] 78 EF EXCL 39/3597 67/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 19472748 m, 441848 m/sec, 25870211 t fired, .
[lola][.]
[lola][.] Time elapsed: 42 secs. Pages in use: 67
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 45/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 49 attempts, .
[lola][.] 78 EF EXCL 44/3597 74/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 21635760 m, 432602 m/sec, 28900960 t fired, .
[lola][.]
[lola][.] Time elapsed: 47 secs. Pages in use: 74
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 50/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 54 attempts, .
[lola][.] 78 EF EXCL 49/3597 82/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 23792038 m, 431255 m/sec, 31937633 t fired, .
[lola][.]
[lola][.] Time elapsed: 52 secs. Pages in use: 82
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 55/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 59 attempts, .
[lola][.] 78 EF EXCL 54/3597 89/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 25891749 m, 419942 m/sec, 34908749 t fired, .
[lola][.]
[lola][.] Time elapsed: 57 secs. Pages in use: 89
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 60/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 65 attempts, .
[lola][.] 78 EF EXCL 59/3597 96/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 27953037 m, 412257 m/sec, 37841038 t fired, .
[lola][.]
[lola][.] Time elapsed: 62 secs. Pages in use: 96
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 65/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 70 attempts, .
[lola][.] 78 EF EXCL 64/3597 103/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 30018153 m, 413023 m/sec, 40787954 t fired, .
[lola][.]
[lola][.] Time elapsed: 67 secs. Pages in use: 103
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 70/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 76 attempts, .
[lola][.] 78 EF EXCL 69/3597 110/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 32063271 m, 409023 m/sec, 43722331 t fired, .
[lola][.]
[lola][.] Time elapsed: 72 secs. Pages in use: 110
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 75/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 82 attempts, .
[lola][.] 78 EF EXCL 74/3597 117/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 34078818 m, 403109 m/sec, 46616813 t fired, .
[lola][.]
[lola][.] Time elapsed: 77 secs. Pages in use: 117
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 80/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 87 attempts, .
[lola][.] 78 EF EXCL 79/3597 124/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 36097774 m, 403791 m/sec, 49533536 t fired, .
[lola][.]
[lola][.] Time elapsed: 82 secs. Pages in use: 124
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 85/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 93 attempts, .
[lola][.] 78 EF EXCL 84/3597 131/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 38161547 m, 412754 m/sec, 52522296 t fired, .
[lola][.]
[lola][.] Time elapsed: 87 secs. Pages in use: 131
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 90/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 98 attempts, .
[lola][.] 78 EF EXCL 89/3597 138/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 40259744 m, 419639 m/sec, 55564661 t fired, .
[lola][.]
[lola][.] Time elapsed: 92 secs. Pages in use: 138
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 95/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 103 attempts, .
[lola][.] 78 EF EXCL 94/3597 145/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 42406962 m, 429443 m/sec, 58687738 t fired, .
[lola][.]
[lola][.] Time elapsed: 97 secs. Pages in use: 145
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 100/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 108 attempts, .
[lola][.] 78 EF EXCL 99/3597 152/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 44561665 m, 430940 m/sec, 61831440 t fired, .
[lola][.]
[lola][.] Time elapsed: 102 secs. Pages in use: 152
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 105/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 114 attempts, .
[lola][.] 78 EF EXCL 104/3597 159/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 46666095 m, 420886 m/sec, 64910108 t fired, .
[lola][.]
[lola][.] Time elapsed: 107 secs. Pages in use: 159
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 110/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 119 attempts, .
[lola][.] 78 EF EXCL 109/3597 167/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 48749333 m, 416647 m/sec, 67974444 t fired, .
[lola][.]
[lola][.] Time elapsed: 112 secs. Pages in use: 167
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 115/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 124 attempts, .
[lola][.] 78 EF EXCL 114/3597 174/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 50830864 m, 416306 m/sec, 71039457 t fired, .
[lola][.]
[lola][.] Time elapsed: 117 secs. Pages in use: 174
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 120/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 130 attempts, .
[lola][.] 78 EF EXCL 119/3597 181/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 52889846 m, 411796 m/sec, 74076163 t fired, .
[lola][.]
[lola][.] Time elapsed: 122 secs. Pages in use: 181
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 125/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 135 attempts, .
[lola][.] 78 EF EXCL 124/3597 188/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 54955457 m, 413122 m/sec, 77124096 t fired, .
[lola][.]
[lola][.] Time elapsed: 127 secs. Pages in use: 188
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 130/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 140 attempts, .
[lola][.] 78 EF EXCL 129/3597 195/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 56995204 m, 407949 m/sec, 80148935 t fired, .
[lola][.]
[lola][.] Time elapsed: 132 secs. Pages in use: 195
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 135/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 146 attempts, .
[lola][.] 78 EF EXCL 134/3597 202/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 59037448 m, 408448 m/sec, 83175951 t fired, .
[lola][.]
[lola][.] Time elapsed: 137 secs. Pages in use: 202
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 140/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 151 attempts, .
[lola][.] 78 EF EXCL 139/3597 208/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 61063692 m, 405248 m/sec, 86194344 t fired, .
[lola][.]
[lola][.] Time elapsed: 142 secs. Pages in use: 208
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 145/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 156 attempts, .
[lola][.] 78 EF EXCL 144/3597 215/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 63090504 m, 405362 m/sec, 89208811 t fired, .
[lola][.]
[lola][.] Time elapsed: 147 secs. Pages in use: 215
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 150/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 162 attempts, .
[lola][.] 78 EF EXCL 149/3597 222/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 65107679 m, 403435 m/sec, 92217663 t fired, .
[lola][.]
[lola][.] Time elapsed: 152 secs. Pages in use: 222
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 155/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 167 attempts, .
[lola][.] 78 EF EXCL 154/3597 229/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 67106596 m, 399783 m/sec, 95208215 t fired, .
[lola][.]
[lola][.] Time elapsed: 157 secs. Pages in use: 229
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 160/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 172 attempts, .
[lola][.] 78 EF EXCL 159/3597 236/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 69100903 m, 398861 m/sec, 98192473 t fired, .
[lola][.]
[lola][.] Time elapsed: 162 secs. Pages in use: 236
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 165/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 177 attempts, .
[lola][.] 78 EF EXCL 164/3597 242/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 71091144 m, 398048 m/sec, 101180535 t fired, .
[lola][.]
[lola][.] Time elapsed: 167 secs. Pages in use: 242
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 170/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 183 attempts, .
[lola][.] 78 EF EXCL 169/3597 249/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 73059265 m, 393624 m/sec, 104140356 t fired, .
[lola][.]
[lola][.] Time elapsed: 172 secs. Pages in use: 249
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 175/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 188 attempts, .
[lola][.] 78 EF EXCL 174/3597 256/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 75030202 m, 394187 m/sec, 107107257 t fired, .
[lola][.]
[lola][.] Time elapsed: 177 secs. Pages in use: 256
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 180/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 193 attempts, .
[lola][.] 78 EF EXCL 179/3597 262/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 76986609 m, 391281 m/sec, 110061046 t fired, .
[lola][.]
[lola][.] Time elapsed: 182 secs. Pages in use: 262
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 185/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 199 attempts, .
[lola][.] 78 EF EXCL 184/3597 269/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 78949971 m, 392672 m/sec, 113022686 t fired, .
[lola][.]
[lola][.] Time elapsed: 187 secs. Pages in use: 269
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 190/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 204 attempts, .
[lola][.] 78 EF EXCL 189/3597 276/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 80886904 m, 387386 m/sec, 115953216 t fired, .
[lola][.]
[lola][.] Time elapsed: 192 secs. Pages in use: 276
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 195/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 209 attempts, .
[lola][.] 78 EF EXCL 194/3597 282/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 82825808 m, 387780 m/sec, 118890358 t fired, .
[lola][.]
[lola][.] Time elapsed: 197 secs. Pages in use: 282
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 200/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 215 attempts, .
[lola][.] 78 EF EXCL 199/3597 289/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 84760332 m, 386904 m/sec, 121817469 t fired, .
[lola][.]
[lola][.] Time elapsed: 202 secs. Pages in use: 289
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 205/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 220 attempts, .
[lola][.] 78 EF EXCL 204/3597 295/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 86685382 m, 385010 m/sec, 124740662 t fired, .
[lola][.]
[lola][.] Time elapsed: 207 secs. Pages in use: 295
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 210/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 225 attempts, .
[lola][.] 78 EF EXCL 209/3597 302/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 88557625 m, 374448 m/sec, 127581685 t fired, .
[lola][.]
[lola][.] Time elapsed: 212 secs. Pages in use: 302
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 215/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 230 attempts, .
[lola][.] 78 EF EXCL 214/3597 308/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 90418389 m, 372152 m/sec, 130408011 t fired, .
[lola][.]
[lola][.] Time elapsed: 217 secs. Pages in use: 308
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 220/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 236 attempts, .
[lola][.] 78 EF EXCL 219/3597 314/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 92272436 m, 370809 m/sec, 133232285 t fired, .
[lola][.]
[lola][.] Time elapsed: 222 secs. Pages in use: 314
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 225/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 241 attempts, .
[lola][.] 78 EF EXCL 224/3597 320/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 94086061 m, 362725 m/sec, 135994657 t fired, .
[lola][.]
[lola][.] Time elapsed: 227 secs. Pages in use: 320
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 230/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 246 attempts, .
[lola][.] 78 EF EXCL 229/3597 327/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 95914701 m, 365728 m/sec, 138787461 t fired, .
[lola][.]
[lola][.] Time elapsed: 232 secs. Pages in use: 327
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 235/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 251 attempts, .
[lola][.] 78 EF EXCL 234/3597 333/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 97719101 m, 360880 m/sec, 141547293 t fired, .
[lola][.]
[lola][.] Time elapsed: 237 secs. Pages in use: 333
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 240/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 257 attempts, .
[lola][.] 78 EF EXCL 239/3597 339/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 99546098 m, 365399 m/sec, 144335815 t fired, .
[lola][.]
[lola][.] Time elapsed: 242 secs. Pages in use: 339
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 245/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 262 attempts, .
[lola][.] 78 EF EXCL 244/3597 345/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 101400946 m, 370969 m/sec, 147173795 t fired, .
[lola][.]
[lola][.] Time elapsed: 247 secs. Pages in use: 345
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 250/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 267 attempts, .
[lola][.] 78 EF EXCL 249/3597 352/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 103231678 m, 366146 m/sec, 149979108 t fired, .
[lola][.]
[lola][.] Time elapsed: 252 secs. Pages in use: 352
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 255/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 272 attempts, .
[lola][.] 78 EF EXCL 254/3597 358/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 105073748 m, 368414 m/sec, 152806369 t fired, .
[lola][.]
[lola][.] Time elapsed: 257 secs. Pages in use: 358
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 260/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 278 attempts, .
[lola][.] 78 EF EXCL 259/3597 364/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 106911511 m, 367552 m/sec, 155629724 t fired, .
[lola][.]
[lola][.] Time elapsed: 262 secs. Pages in use: 364
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 265/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 283 attempts, .
[lola][.] 78 EF EXCL 264/3597 370/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 108740677 m, 365833 m/sec, 158442153 t fired, .
[lola][.]
[lola][.] Time elapsed: 267 secs. Pages in use: 370
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 270/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 288 attempts, .
[lola][.] 78 EF EXCL 269/3597 376/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 110562638 m, 364392 m/sec, 161249013 t fired, .
[lola][.]
[lola][.] Time elapsed: 272 secs. Pages in use: 376
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 275/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 293 attempts, .
[lola][.] 78 EF EXCL 274/3597 383/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 112376659 m, 362804 m/sec, 164044396 t fired, .
[lola][.]
[lola][.] Time elapsed: 277 secs. Pages in use: 383
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 280/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 299 attempts, .
[lola][.] 78 EF EXCL 279/3597 389/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 114195745 m, 363817 m/sec, 166847415 t fired, .
[lola][.]
[lola][.] Time elapsed: 282 secs. Pages in use: 389
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 285/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 304 attempts, .
[lola][.] 78 EF EXCL 284/3597 395/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 115998754 m, 360601 m/sec, 169633170 t fired, .
[lola][.]
[lola][.] Time elapsed: 287 secs. Pages in use: 395
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 290/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 309 attempts, .
[lola][.] 78 EF EXCL 289/3597 401/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 117809101 m, 362069 m/sec, 172432822 t fired, .
[lola][.]
[lola][.] Time elapsed: 292 secs. Pages in use: 401
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 295/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 314 attempts, .
[lola][.] 78 EF EXCL 294/3597 407/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 119617407 m, 361661 m/sec, 175228171 t fired, .
[lola][.]
[lola][.] Time elapsed: 297 secs. Pages in use: 407
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 300/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 320 attempts, .
[lola][.] 78 EF EXCL 299/3597 413/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 121427854 m, 362089 m/sec, 178029838 t fired, .
[lola][.]
[lola][.] Time elapsed: 302 secs. Pages in use: 413
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 305/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 325 attempts, .
[lola][.] 78 EF EXCL 304/3597 419/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 123224334 m, 359296 m/sec, 180806953 t fired, .
[lola][.]
[lola][.] Time elapsed: 307 secs. Pages in use: 419
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 310/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 330 attempts, .
[lola][.] 78 EF EXCL 309/3597 425/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 125013639 m, 357861 m/sec, 183581198 t fired, .
[lola][.]
[lola][.] Time elapsed: 312 secs. Pages in use: 425
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 315/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 335 attempts, .
[lola][.] 78 EF EXCL 314/3597 431/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 126807334 m, 358739 m/sec, 186366924 t fired, .
[lola][.]
[lola][.] Time elapsed: 317 secs. Pages in use: 431
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 320/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 341 attempts, .
[lola][.] 78 EF EXCL 319/3597 438/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 128600725 m, 358678 m/sec, 189151537 t fired, .
[lola][.]
[lola][.] Time elapsed: 322 secs. Pages in use: 438
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 325/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 346 attempts, .
[lola][.] 78 EF EXCL 324/3597 444/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 130392216 m, 358298 m/sec, 191935484 t fired, .
[lola][.]
[lola][.] Time elapsed: 327 secs. Pages in use: 444
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 330/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 351 attempts, .
[lola][.] 78 EF EXCL 329/3597 450/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 132172271 m, 356011 m/sec, 194698950 t fired, .
[lola][.]
[lola][.] Time elapsed: 332 secs. Pages in use: 450
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 335/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 356 attempts, .
[lola][.] 78 EF EXCL 334/3597 456/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 133950416 m, 355629 m/sec, 197466880 t fired, .
[lola][.]
[lola][.] Time elapsed: 337 secs. Pages in use: 456
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 340/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 362 attempts, .
[lola][.] 78 EF EXCL 339/3597 462/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 135729265 m, 355769 m/sec, 200235270 t fired, .
[lola][.]
[lola][.] Time elapsed: 342 secs. Pages in use: 462
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 345/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 367 attempts, .
[lola][.] 78 EF EXCL 344/3597 468/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 137490311 m, 352209 m/sec, 202979576 t fired, .
[lola][.]
[lola][.] Time elapsed: 347 secs. Pages in use: 468
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 350/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 372 attempts, .
[lola][.] 78 EF EXCL 349/3597 474/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 139265019 m, 354941 m/sec, 205743980 t fired, .
[lola][.]
[lola][.] Time elapsed: 352 secs. Pages in use: 474
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 355/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 378 attempts, .
[lola][.] 78 EF EXCL 354/3597 480/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 141025235 m, 352043 m/sec, 208494188 t fired, .
[lola][.]
[lola][.] Time elapsed: 357 secs. Pages in use: 480
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 360/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 383 attempts, .
[lola][.] 78 EF EXCL 359/3597 486/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 142794961 m, 353945 m/sec, 211256322 t fired, .
[lola][.]
[lola][.] Time elapsed: 362 secs. Pages in use: 486
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 365/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 388 attempts, .
[lola][.] 78 EF EXCL 364/3597 492/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 144554977 m, 352003 m/sec, 214007890 t fired, .
[lola][.]
[lola][.] Time elapsed: 367 secs. Pages in use: 492
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 370/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 393 attempts, .
[lola][.] 78 EF EXCL 369/3597 498/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 146314669 m, 351938 m/sec, 216759600 t fired, .
[lola][.]
[lola][.] Time elapsed: 372 secs. Pages in use: 498
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 375/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 399 attempts, .
[lola][.] 78 EF EXCL 374/3597 504/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 148073015 m, 351669 m/sec, 219506375 t fired, .
[lola][.]
[lola][.] Time elapsed: 377 secs. Pages in use: 504
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 380/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 404 attempts, .
[lola][.] 78 EF EXCL 379/3597 509/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 149823152 m, 350027 m/sec, 222245933 t fired, .
[lola][.]
[lola][.] Time elapsed: 382 secs. Pages in use: 509
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 385/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 409 attempts, .
[lola][.] 78 EF EXCL 384/3597 515/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 151557501 m, 346869 m/sec, 224968892 t fired, .
[lola][.]
[lola][.] Time elapsed: 387 secs. Pages in use: 515
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 390/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 415 attempts, .
[lola][.] 78 EF EXCL 389/3597 521/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 153285600 m, 345619 m/sec, 227678076 t fired, .
[lola][.]
[lola][.] Time elapsed: 392 secs. Pages in use: 521
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 395/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 420 attempts, .
[lola][.] 78 EF EXCL 394/3597 527/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 155026918 m, 348263 m/sec, 230410270 t fired, .
[lola][.]
[lola][.] Time elapsed: 397 secs. Pages in use: 527
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 400/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 425 attempts, .
[lola][.] 78 EF EXCL 399/3597 533/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 156766403 m, 347897 m/sec, 233142415 t fired, .
[lola][.]
[lola][.] Time elapsed: 402 secs. Pages in use: 533
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 405/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 431 attempts, .
[lola][.] 78 EF EXCL 404/3597 539/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 158502021 m, 347123 m/sec, 235871386 t fired, .
[lola][.]
[lola][.] Time elapsed: 407 secs. Pages in use: 539
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 410/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 436 attempts, .
[lola][.] 78 EF EXCL 409/3597 545/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 160233402 m, 346276 m/sec, 238593861 t fired, .
[lola][.]
[lola][.] Time elapsed: 412 secs. Pages in use: 545
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 415/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 441 attempts, .
[lola][.] 78 EF EXCL 414/3597 551/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 161954991 m, 344317 m/sec, 241300264 t fired, .
[lola][.]
[lola][.] Time elapsed: 417 secs. Pages in use: 551
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 420/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 446 attempts, .
[lola][.] 78 EF EXCL 419/3597 556/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 163669767 m, 342955 m/sec, 244006321 t fired, .
[lola][.]
[lola][.] Time elapsed: 422 secs. Pages in use: 556
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 425/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 452 attempts, .
[lola][.] 78 EF EXCL 424/3597 562/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 165393097 m, 344666 m/sec, 246716550 t fired, .
[lola][.]
[lola][.] Time elapsed: 427 secs. Pages in use: 562
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 430/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 457 attempts, .
[lola][.] 78 EF EXCL 429/3597 568/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 167114238 m, 344228 m/sec, 249429292 t fired, .
[lola][.]
[lola][.] Time elapsed: 432 secs. Pages in use: 568
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 435/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 462 attempts, .
[lola][.] 78 EF EXCL 434/3597 574/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 168832061 m, 343564 m/sec, 252136629 t fired, .
[lola][.]
[lola][.] Time elapsed: 437 secs. Pages in use: 574
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 440/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 467 attempts, .
[lola][.] 78 EF EXCL 439/3597 580/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 170545492 m, 342686 m/sec, 254838011 t fired, .
[lola][.]
[lola][.] Time elapsed: 442 secs. Pages in use: 580
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 445/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 473 attempts, .
[lola][.] 78 EF EXCL 444/3597 585/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 172254781 m, 341857 m/sec, 257536841 t fired, .
[lola][.]
[lola][.] Time elapsed: 447 secs. Pages in use: 585
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 450/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 478 attempts, .
[lola][.] 78 EF EXCL 449/3597 591/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 173954009 m, 339845 m/sec, 260221907 t fired, .
[lola][.]
[lola][.] Time elapsed: 452 secs. Pages in use: 591
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 455/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 483 attempts, .
[lola][.] 78 EF EXCL 454/3597 597/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 175629870 m, 335172 m/sec, 262863347 t fired, .
[lola][.]
[lola][.] Time elapsed: 457 secs. Pages in use: 597
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 460/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 489 attempts, .
[lola][.] 78 EF EXCL 459/3597 603/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 177325250 m, 339076 m/sec, 265541951 t fired, .
[lola][.]
[lola][.] Time elapsed: 462 secs. Pages in use: 603
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 465/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 494 attempts, .
[lola][.] 78 EF EXCL 464/3597 608/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 179013770 m, 337704 m/sec, 268212546 t fired, .
[lola][.]
[lola][.] Time elapsed: 467 secs. Pages in use: 608
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 470/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 500 attempts, .
[lola][.] 78 EF EXCL 469/3597 614/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 180702456 m, 337737 m/sec, 270884627 t fired, .
[lola][.]
[lola][.] Time elapsed: 472 secs. Pages in use: 614
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 475/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 505 attempts, .
[lola][.] 78 EF EXCL 474/3597 620/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 182384583 m, 336425 m/sec, 273546593 t fired, .
[lola][.]
[lola][.] Time elapsed: 477 secs. Pages in use: 620
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 480/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 510 attempts, .
[lola][.] 78 EF EXCL 479/3597 626/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 184096758 m, 342435 m/sec, 276256895 t fired, .
[lola][.]
[lola][.] Time elapsed: 482 secs. Pages in use: 626
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 485/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 515 attempts, .
[lola][.] 78 EF EXCL 484/3597 631/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 185749574 m, 330563 m/sec, 278877125 t fired, .
[lola][.]
[lola][.] Time elapsed: 487 secs. Pages in use: 631
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-00: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-01: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-02: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-03: AG true state equation
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-05: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-06: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-07: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-08: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-09: EF true state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-10: AG false findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-11: EF true findpath
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-12: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-13: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-14: AG false state space
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-15: EF true state space
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] ShieldIIPt-PT-005A-ReachabilityFireability-2024-04: AG 0 0 2 0 2 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 76 EF FNDP 498/3598 0/5 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 516 attempts, .
[lola][.] 78 EF EXCL 497/3597 633/2000 ShieldIIPt-PT-005A-ReachabilityFireability-2024-04 186136619 m, 77409 m/sec, 279490163 t fired, .
[lola][.]
[lola][.] Time elapsed: 500 secs. Pages in use: 633
[lola][.] # running tasks: 2 of 4. Visible: 16
/home/mcc/BenchKit/BenchKit_head.sh: line 23: 404 Killed $BK_TOOL --conf=/home/mcc/BenchKit/bin/myconf --formula=$BK_EXAMINATION.xml $LOLA_TIMELIMIT $LOLA_MEMLIMIT model.pnml

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldIIPt-PT-005A"
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 ShieldIIPt-PT-005A, 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 r357-tall-171683763000247"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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