About the Execution of LoLA for Murphy-PT-D4N025
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 14958.151 | 275257.00 | 1049577.00 | 104.90 | ????F??????TF??? | 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.r247-tall-171654353100327.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 Murphy-PT-D4N025, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r247-tall-171654353100327
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 444K
-rw-r--r-- 1 mcc users 6.2K Apr 11 22:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Apr 11 22:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Apr 11 22:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Apr 11 22:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K May 6 10:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 6 10:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 6 10:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 6 10:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Apr 11 22:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 106K Apr 11 22:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Apr 11 22:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 96K Apr 11 22:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 6 10:02 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 6 10:02 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 7 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 19K 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 Murphy-PT-D4N025-ReachabilityFireability-2024-00
FORMULA_NAME Murphy-PT-D4N025-ReachabilityFireability-2024-01
FORMULA_NAME Murphy-PT-D4N025-ReachabilityFireability-2024-02
FORMULA_NAME Murphy-PT-D4N025-ReachabilityFireability-2024-03
FORMULA_NAME Murphy-PT-D4N025-ReachabilityFireability-2024-04
FORMULA_NAME Murphy-PT-D4N025-ReachabilityFireability-2024-05
FORMULA_NAME Murphy-PT-D4N025-ReachabilityFireability-2024-06
FORMULA_NAME Murphy-PT-D4N025-ReachabilityFireability-2024-07
FORMULA_NAME Murphy-PT-D4N025-ReachabilityFireability-2024-08
FORMULA_NAME Murphy-PT-D4N025-ReachabilityFireability-2024-09
FORMULA_NAME Murphy-PT-D4N025-ReachabilityFireability-2024-10
FORMULA_NAME Murphy-PT-D4N025-ReachabilityFireability-2024-11
FORMULA_NAME Murphy-PT-D4N025-ReachabilityFireability-2024-12
FORMULA_NAME Murphy-PT-D4N025-ReachabilityFireability-2024-13
FORMULA_NAME Murphy-PT-D4N025-ReachabilityFireability-2024-14
FORMULA_NAME Murphy-PT-D4N025-ReachabilityFireability-2024-15
=== Now, execution of the tool begins
BK_START 1717072011844
FORMULA Murphy-PT-D4N025-ReachabilityFireability-2024-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Murphy-PT-D4N025-ReachabilityFireability-2024-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Murphy-PT-D4N025-ReachabilityFireability-2024-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1717072287101
--------------------
content from stderr:
[[35mlola[0m][I] LoLA will run for 3600 seconds at most ([1m[36m--timelimit[0m)
[[35mlola[0m][W] [1m[33munknown unit in memory specification: using default[0m
[[35mlola[0m][I] MEM LIMIT 5
[[35mlola[0m][I] NET
[[35mlola[0m][I] reading [1m[34mnet[0m from [4m[34mmodel.pnml[0m
[[35mlola[0m][I] input: PNML file ([1m[36m--pnmlnet[0m)
[[35mlola[0m][I] reading pnml
[[35mlola[0m][I] PNML file contains place/transition net
[[35mlola[0m][I] closed [1m[34mnet[0m file [4m[34mmodel.pnml[0m
[[35mlola[0m][I] finished parsing
[[35mlola[0m][I] Reading formula.
[[35mlola[0m][I] Using XML format ([1m[36m--xmlformula[0m)
[[35mlola[0m][I] reading XML formula
[[35mlola[0m][I] reading [1m[34mformula[0m from [4m[34mReachabilityFireability.xml[0m
[[35mlola[0m][I] Rule S: 0 transitions removed,0 places removed
[[35mlola[0m][I] LAUNCH task # 50 (type EXCL) for 18 Murphy-PT-D4N025-ReachabilityFireability-2024-06
[[35mlola[0m][I] time limit : 179 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 48 (type FNDP) for 18 Murphy-PT-D4N025-ReachabilityFireability-2024-06
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 49 (type EQUN) for 18 Murphy-PT-D4N025-ReachabilityFireability-2024-06
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 52 (type FNDP) for 36 Murphy-PT-D4N025-ReachabilityFireability-2024-12
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 52 (type FNDP) for Murphy-PT-D4N025-ReachabilityFireability-2024-12
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 60 (type FNDP) for 21 Murphy-PT-D4N025-ReachabilityFireability-2024-07
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 13 (type CNST) for 12 Murphy-PT-D4N025-ReachabilityFireability-2024-04
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] FINISHED task # 49 (type EQUN) for Murphy-PT-D4N025-ReachabilityFireability-2024-06
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] FINISHED task # 13 (type CNST) for Murphy-PT-D4N025-ReachabilityFireability-2024-04
[[35mlola[0m][I] result : false
[[35mlola[0m][I] LAUNCH task # 75 (type FNDP) for 45 Murphy-PT-D4N025-ReachabilityFireability-2024-15
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 5/399 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 2 attempts, .
[[35mlola[0m][.] 50 EF EXCL 5/257 18/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 4968206 m, 993641 m/sec, 7246993 t fired, .
[[35mlola[0m][.] 60 EF FNDP 5/399 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 2 attempts, .
[[35mlola[0m][.] 75 EF FNDP 5/399 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 2 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 7 secs. Pages in use: 18
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 10/394 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 3 attempts, .
[[35mlola[0m][.] 50 EF EXCL 10/257 35/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 9708448 m, 948048 m/sec, 14212108 t fired, .
[[35mlola[0m][.] 60 EF FNDP 10/394 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 4 attempts, .
[[35mlola[0m][.] 75 EF FNDP 10/394 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 3 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 12 secs. Pages in use: 35
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 15/389 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 4 attempts, .
[[35mlola[0m][.] 50 EF EXCL 15/257 51/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 14284177 m, 915145 m/sec, 21092528 t fired, .
[[35mlola[0m][.] 60 EF FNDP 15/389 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 5 attempts, .
[[35mlola[0m][.] 75 EF FNDP 15/389 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 4 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 17 secs. Pages in use: 51
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 20/384 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 5 attempts, .
[[35mlola[0m][.] 50 EF EXCL 20/257 68/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 18948152 m, 932795 m/sec, 27961138 t fired, .
[[35mlola[0m][.] 60 EF FNDP 20/384 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 6 attempts, .
[[35mlola[0m][.] 75 EF FNDP 20/384 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 5 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 22 secs. Pages in use: 68
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 25/379 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 6 attempts, .
[[35mlola[0m][.] 50 EF EXCL 25/257 84/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 23337684 m, 877906 m/sec, 34600672 t fired, .
[[35mlola[0m][.] 60 EF FNDP 25/379 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 7 attempts, .
[[35mlola[0m][.] 75 EF FNDP 25/379 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 6 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 27 secs. Pages in use: 84
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 30/374 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 8 attempts, .
[[35mlola[0m][.] 50 EF EXCL 30/257 99/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 27703750 m, 873213 m/sec, 41247244 t fired, .
[[35mlola[0m][.] 60 EF FNDP 30/374 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 8 attempts, .
[[35mlola[0m][.] 75 EF FNDP 30/374 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 7 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 32 secs. Pages in use: 99
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 35/369 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 9 attempts, .
[[35mlola[0m][.] 50 EF EXCL 35/257 114/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 31763061 m, 811862 m/sec, 47833852 t fired, .
[[35mlola[0m][.] 60 EF FNDP 35/369 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 9 attempts, .
[[35mlola[0m][.] 75 EF FNDP 35/369 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 8 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 37 secs. Pages in use: 114
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 40/364 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 10 attempts, .
[[35mlola[0m][.] 50 EF EXCL 40/257 130/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 36422604 m, 931908 m/sec, 54787447 t fired, .
[[35mlola[0m][.] 60 EF FNDP 40/364 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 10 attempts, .
[[35mlola[0m][.] 75 EF FNDP 40/364 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 8 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 42 secs. Pages in use: 130
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 45/359 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 11 attempts, .
[[35mlola[0m][.] 50 EF EXCL 45/257 146/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 40682825 m, 852044 m/sec, 61334863 t fired, .
[[35mlola[0m][.] 60 EF FNDP 45/359 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 11 attempts, .
[[35mlola[0m][.] 75 EF FNDP 45/359 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 9 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 47 secs. Pages in use: 146
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 50/354 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 12 attempts, .
[[35mlola[0m][.] 50 EF EXCL 50/257 161/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 44903237 m, 844082 m/sec, 67874671 t fired, .
[[35mlola[0m][.] 60 EF FNDP 50/354 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 12 attempts, .
[[35mlola[0m][.] 75 EF FNDP 50/354 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 10 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 52 secs. Pages in use: 161
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 55/349 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 13 attempts, .
[[35mlola[0m][.] 50 EF EXCL 55/257 175/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 48835103 m, 786373 m/sec, 74419438 t fired, .
[[35mlola[0m][.] 60 EF FNDP 55/349 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 12 attempts, .
[[35mlola[0m][.] 75 EF FNDP 55/349 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 11 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 57 secs. Pages in use: 175
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 60/344 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 14 attempts, .
[[35mlola[0m][.] 50 EF EXCL 60/257 190/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 53082265 m, 849432 m/sec, 81009167 t fired, .
[[35mlola[0m][.] 60 EF FNDP 60/344 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 13 attempts, .
[[35mlola[0m][.] 75 EF FNDP 60/344 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 11 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 62 secs. Pages in use: 190
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 65/339 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 15 attempts, .
[[35mlola[0m][.] 50 EF EXCL 65/257 205/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 57232865 m, 830120 m/sec, 87409159 t fired, .
[[35mlola[0m][.] 60 EF FNDP 65/339 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 14 attempts, .
[[35mlola[0m][.] 75 EF FNDP 65/339 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 12 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 67 secs. Pages in use: 205
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 70/334 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 16 attempts, .
[[35mlola[0m][.] 50 EF EXCL 70/257 219/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 61270568 m, 807540 m/sec, 93957779 t fired, .
[[35mlola[0m][.] 60 EF FNDP 70/334 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 15 attempts, .
[[35mlola[0m][.] 75 EF FNDP 70/334 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 13 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 72 secs. Pages in use: 219
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 75/329 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 16 attempts, .
[[35mlola[0m][.] 50 EF EXCL 75/257 233/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 65145466 m, 774979 m/sec, 100431581 t fired, .
[[35mlola[0m][.] 60 EF FNDP 75/329 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 15 attempts, .
[[35mlola[0m][.] 75 EF FNDP 75/329 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 13 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 77 secs. Pages in use: 233
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 80/324 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 17 attempts, .
[[35mlola[0m][.] 50 EF EXCL 80/257 247/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 69171706 m, 805248 m/sec, 106895085 t fired, .
[[35mlola[0m][.] 60 EF FNDP 80/324 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 16 attempts, .
[[35mlola[0m][.] 75 EF FNDP 80/324 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 14 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 82 secs. Pages in use: 247
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 85/319 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 18 attempts, .
[[35mlola[0m][.] 50 EF EXCL 85/257 261/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 72877298 m, 741118 m/sec, 113382578 t fired, .
[[35mlola[0m][.] 60 EF FNDP 85/319 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 17 attempts, .
[[35mlola[0m][.] 75 EF FNDP 85/319 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 15 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 87 secs. Pages in use: 261
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 90/314 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 19 attempts, .
[[35mlola[0m][.] 50 EF EXCL 90/257 276/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 77159483 m, 856437 m/sec, 119986480 t fired, .
[[35mlola[0m][.] 60 EF FNDP 90/314 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 18 attempts, .
[[35mlola[0m][.] 75 EF FNDP 90/314 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 15 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 92 secs. Pages in use: 276
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 95/309 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 20 attempts, .
[[35mlola[0m][.] 50 EF EXCL 95/257 291/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 81455115 m, 859126 m/sec, 126586317 t fired, .
[[35mlola[0m][.] 60 EF FNDP 95/309 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 18 attempts, .
[[35mlola[0m][.] 75 EF FNDP 95/309 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 16 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 97 secs. Pages in use: 291
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 100/304 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 21 attempts, .
[[35mlola[0m][.] 50 EF EXCL 100/257 307/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 85955823 m, 900141 m/sec, 133358753 t fired, .
[[35mlola[0m][.] 60 EF FNDP 100/304 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 19 attempts, .
[[35mlola[0m][.] 75 EF FNDP 100/304 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 16 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 102 secs. Pages in use: 307
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 105/299 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 22 attempts, .
[[35mlola[0m][.] 50 EF EXCL 105/257 323/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 90462994 m, 901434 m/sec, 140101679 t fired, .
[[35mlola[0m][.] 60 EF FNDP 105/299 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 20 attempts, .
[[35mlola[0m][.] 75 EF FNDP 105/299 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 17 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 107 secs. Pages in use: 323
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 110/294 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 23 attempts, .
[[35mlola[0m][.] 50 EF EXCL 110/257 340/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 94950363 m, 897473 m/sec, 146958375 t fired, .
[[35mlola[0m][.] 60 EF FNDP 110/294 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 21 attempts, .
[[35mlola[0m][.] 75 EF FNDP 110/294 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 18 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 112 secs. Pages in use: 340
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 115/289 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 23 attempts, .
[[35mlola[0m][.] 50 EF EXCL 115/257 353/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 98726294 m, 755186 m/sec, 153357395 t fired, .
[[35mlola[0m][.] 60 EF FNDP 115/289 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 21 attempts, .
[[35mlola[0m][.] 75 EF FNDP 115/289 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 18 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 117 secs. Pages in use: 353
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 120/284 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 24 attempts, .
[[35mlola[0m][.] 50 EF EXCL 120/257 366/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 102274824 m, 709706 m/sec, 159645221 t fired, .
[[35mlola[0m][.] 60 EF FNDP 120/284 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 22 attempts, .
[[35mlola[0m][.] 75 EF FNDP 120/284 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 19 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 122 secs. Pages in use: 366
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 125/279 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 25 attempts, .
[[35mlola[0m][.] 50 EF EXCL 125/257 378/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 105758491 m, 696733 m/sec, 166001857 t fired, .
[[35mlola[0m][.] 60 EF FNDP 125/279 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 23 attempts, .
[[35mlola[0m][.] 75 EF FNDP 125/279 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 19 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 127 secs. Pages in use: 378
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 130/274 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 26 attempts, .
[[35mlola[0m][.] 50 EF EXCL 130/257 393/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 109815343 m, 811370 m/sec, 172353383 t fired, .
[[35mlola[0m][.] 60 EF FNDP 130/274 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 24 attempts, .
[[35mlola[0m][.] 75 EF FNDP 130/274 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 20 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 132 secs. Pages in use: 393
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 135/269 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 27 attempts, .
[[35mlola[0m][.] 50 EF EXCL 135/257 406/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 113448491 m, 726629 m/sec, 178696914 t fired, .
[[35mlola[0m][.] 60 EF FNDP 135/269 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 24 attempts, .
[[35mlola[0m][.] 75 EF FNDP 135/269 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 21 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 137 secs. Pages in use: 406
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 140/264 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 28 attempts, .
[[35mlola[0m][.] 50 EF EXCL 140/257 420/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 117487227 m, 807747 m/sec, 185038835 t fired, .
[[35mlola[0m][.] 60 EF FNDP 140/264 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 25 attempts, .
[[35mlola[0m][.] 75 EF FNDP 140/264 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 21 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 142 secs. Pages in use: 420
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 145/259 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 29 attempts, .
[[35mlola[0m][.] 50 EF EXCL 145/257 433/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 121024143 m, 707383 m/sec, 191169676 t fired, .
[[35mlola[0m][.] 60 EF FNDP 145/259 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 26 attempts, .
[[35mlola[0m][.] 75 EF FNDP 145/259 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 22 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 147 secs. Pages in use: 433
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 150/254 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 30 attempts, .
[[35mlola[0m][.] 50 EF EXCL 150/257 445/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 124464383 m, 688048 m/sec, 197198858 t fired, .
[[35mlola[0m][.] 60 EF FNDP 150/254 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 27 attempts, .
[[35mlola[0m][.] 75 EF FNDP 150/254 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 22 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 152 secs. Pages in use: 445
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 155/249 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 31 attempts, .
[[35mlola[0m][.] 50 EF EXCL 155/257 458/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 128050063 m, 717136 m/sec, 203021981 t fired, .
[[35mlola[0m][.] 60 EF FNDP 155/249 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 27 attempts, .
[[35mlola[0m][.] 75 EF FNDP 155/249 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 23 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 157 secs. Pages in use: 458
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 160/244 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 31 attempts, .
[[35mlola[0m][.] 50 EF EXCL 160/257 468/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 130890508 m, 568089 m/sec, 208539667 t fired, .
[[35mlola[0m][.] 60 EF FNDP 160/244 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 28 attempts, .
[[35mlola[0m][.] 75 EF FNDP 160/244 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 24 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 162 secs. Pages in use: 468
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 165/239 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 32 attempts, .
[[35mlola[0m][.] 50 EF EXCL 165/257 478/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 133747255 m, 571349 m/sec, 213996489 t fired, .
[[35mlola[0m][.] 60 EF FNDP 165/239 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 29 attempts, .
[[35mlola[0m][.] 75 EF FNDP 165/239 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 25 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 167 secs. Pages in use: 478
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 170/234 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 33 attempts, .
[[35mlola[0m][.] 50 EF EXCL 170/257 490/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 137180658 m, 686680 m/sec, 219573134 t fired, .
[[35mlola[0m][.] 60 EF FNDP 170/234 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 29 attempts, .
[[35mlola[0m][.] 75 EF FNDP 170/234 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 25 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 172 secs. Pages in use: 490
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 175/229 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 33 attempts, .
[[35mlola[0m][.] 50 EF EXCL 175/257 504/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 140976090 m, 759086 m/sec, 225394195 t fired, .
[[35mlola[0m][.] 60 EF FNDP 175/229 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 30 attempts, .
[[35mlola[0m][.] 75 EF FNDP 175/229 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 26 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 177 secs. Pages in use: 504
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 180/224 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 34 attempts, .
[[35mlola[0m][.] 50 EF EXCL 180/257 515/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 144060268 m, 616835 m/sec, 231007994 t fired, .
[[35mlola[0m][.] 60 EF FNDP 180/224 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 31 attempts, .
[[35mlola[0m][.] 75 EF FNDP 180/224 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 27 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 182 secs. Pages in use: 515
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 185/219 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 36 attempts, .
[[35mlola[0m][.] 50 EF EXCL 185/257 523/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 146305791 m, 449104 m/sec, 234697712 t fired, .
[[35mlola[0m][.] 60 EF FNDP 185/219 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 32 attempts, .
[[35mlola[0m][.] 75 EF FNDP 185/219 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 28 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 187 secs. Pages in use: 523
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 190/214 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 38 attempts, .
[[35mlola[0m][.] 50 EF EXCL 190/257 530/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 148281410 m, 395123 m/sec, 237888321 t fired, .
[[35mlola[0m][.] 60 EF FNDP 190/214 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 33 attempts, .
[[35mlola[0m][.] 75 EF FNDP 190/214 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 30 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 192 secs. Pages in use: 530
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 195/209 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 42 attempts, .
[[35mlola[0m][.] 50 EF EXCL 195/257 537/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 150207877 m, 385293 m/sec, 241137495 t fired, .
[[35mlola[0m][.] 60 EF FNDP 195/209 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 35 attempts, .
[[35mlola[0m][.] 75 EF FNDP 195/209 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 31 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 197 secs. Pages in use: 537
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 48 EF FNDP 200/204 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-06 44 attempts, .
[[35mlola[0m][.] 50 EF EXCL 200/257 543/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 151994945 m, 357413 m/sec, 244505710 t fired, .
[[35mlola[0m][.] 60 EF FNDP 200/204 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-07 37 attempts, .
[[35mlola[0m][.] 75 EF FNDP 200/204 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-15 33 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 202 secs. Pages in use: 543
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][W] CANCELED task # 48 (type FNDP) for Murphy-PT-D4N025-ReachabilityFireability-2024-06 (local timeout)
[[35mlola[0m][W] CANCELED task # 60 (type FNDP) for Murphy-PT-D4N025-ReachabilityFireability-2024-07 (local timeout)
[[35mlola[0m][W] CANCELED task # 75 (type FNDP) for Murphy-PT-D4N025-ReachabilityFireability-2024-15 (local timeout)
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 1 0 2 1 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 0 0 1 1 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 0 0 1 1 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 50 EF EXCL 205/257 549/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 153688073 m, 338625 m/sec, 247860599 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 207 secs. Pages in use: 549
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] LAUNCH task # 63 (type FNDP) for 9 Murphy-PT-D4N025-ReachabilityFireability-2024-03
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 64 (type EQUN) for 9 Murphy-PT-D4N025-ReachabilityFireability-2024-03
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 81 (type FNDP) for 33 Murphy-PT-D4N025-ReachabilityFireability-2024-11
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 60 (type FNDP) for Murphy-PT-D4N025-ReachabilityFireability-2024-07
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 40
[[35mlola[0m][I] time used : 205
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 75 (type FNDP) for Murphy-PT-D4N025-ReachabilityFireability-2024-15
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 35
[[35mlola[0m][I] time used : 205
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 48 (type FNDP) for Murphy-PT-D4N025-ReachabilityFireability-2024-06
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 48
[[35mlola[0m][I] time used : 205
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 81 (type FNDP) for Murphy-PT-D4N025-ReachabilityFireability-2024-11
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 94 (type FNDP) for 27 Murphy-PT-D4N025-ReachabilityFireability-2024-09
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D4N025-ReachabilityFireability-2024-11: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 1 0 3 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 0 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 0 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 50 EF EXCL 210/276 555/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 155403201 m, 343025 m/sec, 250920694 t fired, .
[[35mlola[0m][.] 63 EF FNDP 5/424 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-03 6 attempts, .
[[35mlola[0m][.] 64 EF STEQ 5/484 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF FNDP 5/484 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-09 6 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 212 secs. Pages in use: 555
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D4N025-ReachabilityFireability-2024-11: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 1 0 3 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 0 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 0 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 50 EF EXCL 215/276 561/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 156984113 m, 316182 m/sec, 253890277 t fired, .
[[35mlola[0m][.] 63 EF FNDP 10/419 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-03 13 attempts, .
[[35mlola[0m][.] 64 EF STEQ 10/479 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF FNDP 10/479 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-09 11 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 217 secs. Pages in use: 561
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D4N025-ReachabilityFireability-2024-11: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 1 0 3 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 0 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 0 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 50 EF EXCL 220/276 571/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 159681666 m, 539510 m/sec, 258310352 t fired, .
[[35mlola[0m][.] 63 EF FNDP 15/414 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-03 17 attempts, .
[[35mlola[0m][.] 64 EF STEQ 15/474 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF FNDP 15/474 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-09 14 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 222 secs. Pages in use: 571
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D4N025-ReachabilityFireability-2024-11: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 1 0 3 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 0 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 0 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 50 EF EXCL 225/276 584/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 163493337 m, 762334 m/sec, 263968378 t fired, .
[[35mlola[0m][.] 63 EF FNDP 20/409 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-03 20 attempts, .
[[35mlola[0m][.] 64 EF STEQ 20/469 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF FNDP 20/469 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-09 15 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 227 secs. Pages in use: 584
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D4N025-ReachabilityFireability-2024-11: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 1 0 3 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 0 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 0 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 50 EF EXCL 230/276 592/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 165798242 m, 460981 m/sec, 267465781 t fired, .
[[35mlola[0m][.] 63 EF FNDP 25/404 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-03 21 attempts, .
[[35mlola[0m][.] 64 EF STEQ 25/464 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF FNDP 25/464 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-09 16 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 232 secs. Pages in use: 592
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D4N025-ReachabilityFireability-2024-11: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 1 0 3 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 0 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 0 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 50 EF EXCL 235/276 601/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 168191066 m, 478564 m/sec, 271031271 t fired, .
[[35mlola[0m][.] 63 EF FNDP 30/399 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-03 24 attempts, .
[[35mlola[0m][.] 64 EF STEQ 30/459 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF FNDP 30/459 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-09 17 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 237 secs. Pages in use: 601
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D4N025-ReachabilityFireability-2024-11: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 1 0 3 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 0 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 0 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 50 EF EXCL 240/276 612/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 171187118 m, 599210 m/sec, 275675449 t fired, .
[[35mlola[0m][.] 63 EF FNDP 35/394 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-03 29 attempts, .
[[35mlola[0m][.] 64 EF STEQ 35/454 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF FNDP 35/454 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-09 17 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 242 secs. Pages in use: 612
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D4N025-ReachabilityFireability-2024-11: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 1 0 3 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 0 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 0 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 50 EF EXCL 245/276 622/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 173964876 m, 555551 m/sec, 280006174 t fired, .
[[35mlola[0m][.] 63 EF FNDP 40/389 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-03 32 attempts, .
[[35mlola[0m][.] 64 EF STEQ 40/449 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF FNDP 40/449 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-09 18 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 247 secs. Pages in use: 622
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D4N025-ReachabilityFireability-2024-11: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 1 0 3 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 0 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 0 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 50 EF EXCL 250/276 627/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 175553351 m, 317695 m/sec, 283021863 t fired, .
[[35mlola[0m][.] 63 EF FNDP 45/384 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-03 37 attempts, .
[[35mlola[0m][.] 64 EF STEQ 45/444 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF FNDP 45/444 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-09 22 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 252 secs. Pages in use: 627
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D4N025-ReachabilityFireability-2024-11: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 1 0 3 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 0 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 0 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 50 EF EXCL 255/276 632/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 176938647 m, 277059 m/sec, 285887424 t fired, .
[[35mlola[0m][.] 63 EF FNDP 50/379 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-03 43 attempts, .
[[35mlola[0m][.] 64 EF STEQ 50/439 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF FNDP 50/439 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-09 26 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 257 secs. Pages in use: 632
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D4N025-ReachabilityFireability-2024-11: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 1 0 3 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 0 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 0 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 50 EF EXCL 260/276 638/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 178517674 m, 315805 m/sec, 288794513 t fired, .
[[35mlola[0m][.] 63 EF FNDP 55/374 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-03 49 attempts, .
[[35mlola[0m][.] 64 EF STEQ 55/434 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF FNDP 55/434 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-09 31 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 262 secs. Pages in use: 638
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D4N025-ReachabilityFireability-2024-11: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 1 0 3 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 0 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 0 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 50 EF EXCL 265/276 645/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 180637950 m, 424055 m/sec, 292119620 t fired, .
[[35mlola[0m][.] 63 EF FNDP 60/369 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-03 54 attempts, .
[[35mlola[0m][.] 64 EF STEQ 60/429 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF FNDP 60/429 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-09 36 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 267 secs. Pages in use: 645
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D4N025-ReachabilityFireability-2024-11: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D4N025-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-00: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-02: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-05: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-06: EF 0 0 1 0 3 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-07: AG 0 2 0 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-08: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-09: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-14: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D4N025-ReachabilityFireability-2024-15: EF 0 2 0 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 50 EF EXCL 270/276 653/2000 Murphy-PT-D4N025-ReachabilityFireability-2024-06 182723304 m, 417070 m/sec, 295374591 t fired, .
[[35mlola[0m][.] 63 EF FNDP 65/364 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-03 61 attempts, .
[[35mlola[0m][.] 64 EF STEQ 65/424 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.] 94 EF FNDP 65/424 0/5 Murphy-PT-D4N025-ReachabilityFireability-2024-09 41 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 272 secs. Pages in use: 653
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
/home/mcc/BenchKit/BenchKit_head.sh: line 23: 408 Segmentation fault $BK_TOOL --conf=/home/mcc/BenchKit/bin/myconf --formula=$BK_EXAMINATION.xml $LOLA_TIMELIMIT $LOLA_MEMLIMIT model.pnml
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Murphy-PT-D4N025"
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 Murphy-PT-D4N025, 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 r247-tall-171654353100327"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Murphy-PT-D4N025.tgz
mv Murphy-PT-D4N025 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 '
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 ;