About the Execution of LoLA for Murphy-PT-D2N050
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16205.271 | 253223.00 | 984518.00 | 981.40 | ???T?T??F????T?T | 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-171654353100303.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-D2N050, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r247-tall-171654353100303
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 496K
-rw-r--r-- 1 mcc users 5.9K Apr 11 23:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 60K Apr 11 23:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Apr 11 23:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Apr 11 23:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 6 10:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K 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 16K Apr 11 23:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 180K Apr 11 23:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Apr 11 23:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 84K Apr 11 23:03 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 12K 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-D2N050-ReachabilityFireability-2024-00
FORMULA_NAME Murphy-PT-D2N050-ReachabilityFireability-2024-01
FORMULA_NAME Murphy-PT-D2N050-ReachabilityFireability-2024-02
FORMULA_NAME Murphy-PT-D2N050-ReachabilityFireability-2024-03
FORMULA_NAME Murphy-PT-D2N050-ReachabilityFireability-2024-04
FORMULA_NAME Murphy-PT-D2N050-ReachabilityFireability-2024-05
FORMULA_NAME Murphy-PT-D2N050-ReachabilityFireability-2024-06
FORMULA_NAME Murphy-PT-D2N050-ReachabilityFireability-2024-07
FORMULA_NAME Murphy-PT-D2N050-ReachabilityFireability-2024-08
FORMULA_NAME Murphy-PT-D2N050-ReachabilityFireability-2024-09
FORMULA_NAME Murphy-PT-D2N050-ReachabilityFireability-2024-10
FORMULA_NAME Murphy-PT-D2N050-ReachabilityFireability-2024-11
FORMULA_NAME Murphy-PT-D2N050-ReachabilityFireability-2024-12
FORMULA_NAME Murphy-PT-D2N050-ReachabilityFireability-2024-13
FORMULA_NAME Murphy-PT-D2N050-ReachabilityFireability-2024-14
FORMULA_NAME Murphy-PT-D2N050-ReachabilityFireability-2024-15
=== Now, execution of the tool begins
BK_START 1717071489869
FORMULA Murphy-PT-D2N050-ReachabilityFireability-2024-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Murphy-PT-D2N050-ReachabilityFireability-2024-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Murphy-PT-D2N050-ReachabilityFireability-2024-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Murphy-PT-D2N050-ReachabilityFireability-2024-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Murphy-PT-D2N050-ReachabilityFireability-2024-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1717071743092
--------------------
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 # 10 (type CNST) for 9 Murphy-PT-D2N050-ReachabilityFireability-2024-03
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] LAUNCH task # 16 (type CNST) for 15 Murphy-PT-D2N050-ReachabilityFireability-2024-05
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] LAUNCH task # 40 (type CNST) for 39 Murphy-PT-D2N050-ReachabilityFireability-2024-13
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] FINISHED task # 10 (type CNST) for Murphy-PT-D2N050-ReachabilityFireability-2024-03
[[35mlola[0m][I] result : true
[[35mlola[0m][I] FINISHED task # 40 (type CNST) for Murphy-PT-D2N050-ReachabilityFireability-2024-13
[[35mlola[0m][I] result : true
[[35mlola[0m][I] FINISHED task # 16 (type CNST) for Murphy-PT-D2N050-ReachabilityFireability-2024-05
[[35mlola[0m][I] result : true
[[35mlola[0m][I] LAUNCH task # 25 (type CNST) for 24 Murphy-PT-D2N050-ReachabilityFireability-2024-08
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] LAUNCH task # 51 (type EXCL) for 30 Murphy-PT-D2N050-ReachabilityFireability-2024-10
[[35mlola[0m][I] time limit : 276 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 49 (type FNDP) for 30 Murphy-PT-D2N050-ReachabilityFireability-2024-10
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 50 (type EQUN) for 30 Murphy-PT-D2N050-ReachabilityFireability-2024-10
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 25 (type CNST) for Murphy-PT-D2N050-ReachabilityFireability-2024-08
[[35mlola[0m][I] result : false
[[35mlola[0m][I] LAUNCH task # 66 (type FNDP) for 0 Murphy-PT-D2N050-ReachabilityFireability-2024-00
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 50 (type EQUN) for Murphy-PT-D2N050-ReachabilityFireability-2024-10
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] LAUNCH task # 56 (type FNDP) for 18 Murphy-PT-D2N050-ReachabilityFireability-2024-06
[[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[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 5/449 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 2 attempts, .
[[35mlola[0m][.] 51 EF EXCL 5/299 18/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 5219010 m, 1043802 m/sec, 8616488 t fired, .
[[35mlola[0m][.] 56 EF FNDP 5/449 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 2 attempts, .
[[35mlola[0m][.] 66 EF FNDP 5/514 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 2 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 6 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[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 10/444 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 4 attempts, .
[[35mlola[0m][.] 51 EF EXCL 10/299 36/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 10237096 m, 1003617 m/sec, 16983802 t fired, .
[[35mlola[0m][.] 56 EF FNDP 10/444 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 3 attempts, .
[[35mlola[0m][.] 66 EF FNDP 10/509 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 4 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 11 secs. Pages in use: 36
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 15/439 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 5 attempts, .
[[35mlola[0m][.] 51 EF EXCL 15/299 52/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 15106927 m, 973966 m/sec, 25113576 t fired, .
[[35mlola[0m][.] 56 EF FNDP 15/439 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 5 attempts, .
[[35mlola[0m][.] 66 EF FNDP 15/504 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 5 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 16 secs. Pages in use: 52
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 20/434 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 6 attempts, .
[[35mlola[0m][.] 51 EF EXCL 20/299 69/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 19946513 m, 967917 m/sec, 33124343 t fired, .
[[35mlola[0m][.] 56 EF FNDP 20/434 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 6 attempts, .
[[35mlola[0m][.] 66 EF FNDP 20/499 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 7 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 21 secs. Pages in use: 69
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 25/429 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 7 attempts, .
[[35mlola[0m][.] 51 EF EXCL 25/299 85/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 24596498 m, 929997 m/sec, 41072559 t fired, .
[[35mlola[0m][.] 56 EF FNDP 25/429 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 7 attempts, .
[[35mlola[0m][.] 66 EF FNDP 25/494 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 8 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 26 secs. Pages in use: 85
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 30/424 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 8 attempts, .
[[35mlola[0m][.] 51 EF EXCL 30/299 102/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 29420978 m, 964896 m/sec, 49186947 t fired, .
[[35mlola[0m][.] 56 EF FNDP 30/424 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 8 attempts, .
[[35mlola[0m][.] 66 EF FNDP 30/489 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 10 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 31 secs. Pages in use: 102
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 35/419 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 10 attempts, .
[[35mlola[0m][.] 51 EF EXCL 35/299 117/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 33999017 m, 915607 m/sec, 57033129 t fired, .
[[35mlola[0m][.] 56 EF FNDP 35/419 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 9 attempts, .
[[35mlola[0m][.] 66 EF FNDP 35/484 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 11 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 36 secs. Pages in use: 117
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 40/414 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 11 attempts, .
[[35mlola[0m][.] 51 EF EXCL 40/299 133/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 38585144 m, 917225 m/sec, 64793715 t fired, .
[[35mlola[0m][.] 56 EF FNDP 40/414 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 10 attempts, .
[[35mlola[0m][.] 66 EF FNDP 40/479 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 12 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 41 secs. Pages in use: 133
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 45/409 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 12 attempts, .
[[35mlola[0m][.] 51 EF EXCL 45/299 149/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 43152118 m, 913394 m/sec, 72458892 t fired, .
[[35mlola[0m][.] 56 EF FNDP 45/409 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 11 attempts, .
[[35mlola[0m][.] 66 EF FNDP 45/474 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 14 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 46 secs. Pages in use: 149
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 50/404 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 13 attempts, .
[[35mlola[0m][.] 51 EF EXCL 50/299 165/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 47727730 m, 915122 m/sec, 80169840 t fired, .
[[35mlola[0m][.] 56 EF FNDP 50/404 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 12 attempts, .
[[35mlola[0m][.] 66 EF FNDP 50/469 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 15 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 51 secs. Pages in use: 165
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 55/399 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 14 attempts, .
[[35mlola[0m][.] 51 EF EXCL 55/299 180/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 52291321 m, 912718 m/sec, 87842684 t fired, .
[[35mlola[0m][.] 56 EF FNDP 55/399 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 13 attempts, .
[[35mlola[0m][.] 66 EF FNDP 55/464 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 16 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 56 secs. Pages in use: 180
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 60/394 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 15 attempts, .
[[35mlola[0m][.] 51 EF EXCL 60/299 196/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 56783971 m, 898530 m/sec, 95517272 t fired, .
[[35mlola[0m][.] 56 EF FNDP 60/394 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 14 attempts, .
[[35mlola[0m][.] 66 EF FNDP 60/459 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 18 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 61 secs. Pages in use: 196
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 65/389 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 16 attempts, .
[[35mlola[0m][.] 51 EF EXCL 65/299 212/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 61342590 m, 911723 m/sec, 103423748 t fired, .
[[35mlola[0m][.] 56 EF FNDP 65/389 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 15 attempts, .
[[35mlola[0m][.] 66 EF FNDP 65/454 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 19 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 66 secs. Pages in use: 212
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 70/384 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 17 attempts, .
[[35mlola[0m][.] 51 EF EXCL 70/299 227/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 65928488 m, 917179 m/sec, 111180876 t fired, .
[[35mlola[0m][.] 56 EF FNDP 70/384 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 16 attempts, .
[[35mlola[0m][.] 66 EF FNDP 70/449 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 20 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 71 secs. Pages in use: 227
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 75/379 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 18 attempts, .
[[35mlola[0m][.] 51 EF EXCL 75/299 243/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 70432679 m, 900838 m/sec, 118902619 t fired, .
[[35mlola[0m][.] 56 EF FNDP 75/379 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 17 attempts, .
[[35mlola[0m][.] 66 EF FNDP 75/444 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 22 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 76 secs. Pages in use: 243
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 80/374 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 19 attempts, .
[[35mlola[0m][.] 51 EF EXCL 80/299 258/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 74905880 m, 894640 m/sec, 126660426 t fired, .
[[35mlola[0m][.] 56 EF FNDP 80/374 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 18 attempts, .
[[35mlola[0m][.] 66 EF FNDP 80/439 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 23 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 81 secs. Pages in use: 258
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 85/369 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 20 attempts, .
[[35mlola[0m][.] 51 EF EXCL 85/299 274/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 79472695 m, 913363 m/sec, 134373939 t fired, .
[[35mlola[0m][.] 56 EF FNDP 85/369 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 19 attempts, .
[[35mlola[0m][.] 66 EF FNDP 85/434 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 24 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 86 secs. Pages in use: 274
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 90/364 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 21 attempts, .
[[35mlola[0m][.] 51 EF EXCL 90/299 289/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 83897216 m, 884904 m/sec, 141884985 t fired, .
[[35mlola[0m][.] 56 EF FNDP 90/364 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 20 attempts, .
[[35mlola[0m][.] 66 EF FNDP 90/429 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 25 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 91 secs. Pages in use: 289
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 95/359 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 22 attempts, .
[[35mlola[0m][.] 51 EF EXCL 95/299 304/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 88239447 m, 868446 m/sec, 149291941 t fired, .
[[35mlola[0m][.] 56 EF FNDP 95/359 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 21 attempts, .
[[35mlola[0m][.] 66 EF FNDP 95/424 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 26 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 96 secs. Pages in use: 304
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 100/354 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 23 attempts, .
[[35mlola[0m][.] 51 EF EXCL 100/299 319/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 92628481 m, 877806 m/sec, 156854632 t fired, .
[[35mlola[0m][.] 56 EF FNDP 100/354 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 22 attempts, .
[[35mlola[0m][.] 66 EF FNDP 100/419 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 27 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 101 secs. Pages in use: 319
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 105/349 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 24 attempts, .
[[35mlola[0m][.] 51 EF EXCL 105/299 335/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 97202880 m, 914879 m/sec, 164686704 t fired, .
[[35mlola[0m][.] 56 EF FNDP 105/349 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 23 attempts, .
[[35mlola[0m][.] 66 EF FNDP 105/414 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 28 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 106 secs. Pages in use: 335
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 110/344 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 26 attempts, .
[[35mlola[0m][.] 51 EF EXCL 110/299 350/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 101727935 m, 905011 m/sec, 172205998 t fired, .
[[35mlola[0m][.] 56 EF FNDP 110/344 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 24 attempts, .
[[35mlola[0m][.] 66 EF FNDP 110/409 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 29 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 111 secs. Pages in use: 350
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 115/339 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 27 attempts, .
[[35mlola[0m][.] 51 EF EXCL 115/299 365/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 106019893 m, 858391 m/sec, 179624344 t fired, .
[[35mlola[0m][.] 56 EF FNDP 115/339 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 25 attempts, .
[[35mlola[0m][.] 66 EF FNDP 115/404 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 29 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 116 secs. Pages in use: 365
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 120/334 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 28 attempts, .
[[35mlola[0m][.] 51 EF EXCL 120/299 380/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 110392330 m, 874487 m/sec, 187089858 t fired, .
[[35mlola[0m][.] 56 EF FNDP 120/334 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 26 attempts, .
[[35mlola[0m][.] 66 EF FNDP 120/399 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 30 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 121 secs. Pages in use: 380
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 125/329 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 29 attempts, .
[[35mlola[0m][.] 51 EF EXCL 125/299 396/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 114886722 m, 898878 m/sec, 194659216 t fired, .
[[35mlola[0m][.] 56 EF FNDP 125/329 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 27 attempts, .
[[35mlola[0m][.] 66 EF FNDP 125/394 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 31 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 126 secs. Pages in use: 396
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 130/324 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 30 attempts, .
[[35mlola[0m][.] 51 EF EXCL 130/299 411/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 119272745 m, 877204 m/sec, 202022857 t fired, .
[[35mlola[0m][.] 56 EF FNDP 130/324 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 28 attempts, .
[[35mlola[0m][.] 66 EF FNDP 130/389 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 32 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 131 secs. Pages in use: 411
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 135/319 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 31 attempts, .
[[35mlola[0m][.] 51 EF EXCL 135/299 426/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 123629887 m, 871428 m/sec, 209402997 t fired, .
[[35mlola[0m][.] 56 EF FNDP 135/319 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 29 attempts, .
[[35mlola[0m][.] 66 EF FNDP 135/384 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 33 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 136 secs. Pages in use: 426
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 140/314 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 32 attempts, .
[[35mlola[0m][.] 51 EF EXCL 140/299 441/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 128100683 m, 894159 m/sec, 217103072 t fired, .
[[35mlola[0m][.] 56 EF FNDP 140/314 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 30 attempts, .
[[35mlola[0m][.] 66 EF FNDP 140/379 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 34 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 141 secs. Pages in use: 441
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 145/309 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 33 attempts, .
[[35mlola[0m][.] 51 EF EXCL 145/299 456/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 132533017 m, 886466 m/sec, 224607355 t fired, .
[[35mlola[0m][.] 56 EF FNDP 145/309 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 31 attempts, .
[[35mlola[0m][.] 66 EF FNDP 145/374 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 35 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 146 secs. Pages in use: 456
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 150/304 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 34 attempts, .
[[35mlola[0m][.] 51 EF EXCL 150/299 471/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 136742504 m, 841897 m/sec, 231979251 t fired, .
[[35mlola[0m][.] 56 EF FNDP 150/304 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 32 attempts, .
[[35mlola[0m][.] 66 EF FNDP 150/369 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 36 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 151 secs. Pages in use: 471
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 155/299 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 36 attempts, .
[[35mlola[0m][.] 51 EF EXCL 155/299 486/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 141253339 m, 902167 m/sec, 239576766 t fired, .
[[35mlola[0m][.] 56 EF FNDP 155/299 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 33 attempts, .
[[35mlola[0m][.] 66 EF FNDP 155/364 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 37 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 156 secs. Pages in use: 486
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 160/294 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 37 attempts, .
[[35mlola[0m][.] 51 EF EXCL 160/299 501/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 145613248 m, 871981 m/sec, 246923551 t fired, .
[[35mlola[0m][.] 56 EF FNDP 160/294 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 34 attempts, .
[[35mlola[0m][.] 66 EF FNDP 160/359 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 38 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 161 secs. Pages in use: 501
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 165/289 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 38 attempts, .
[[35mlola[0m][.] 51 EF EXCL 165/299 516/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 149848810 m, 847112 m/sec, 254246944 t fired, .
[[35mlola[0m][.] 56 EF FNDP 165/289 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 35 attempts, .
[[35mlola[0m][.] 66 EF FNDP 165/354 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 39 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 166 secs. Pages in use: 516
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 170/284 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 39 attempts, .
[[35mlola[0m][.] 51 EF EXCL 170/299 531/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 154108217 m, 851881 m/sec, 261601083 t fired, .
[[35mlola[0m][.] 56 EF FNDP 170/284 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 36 attempts, .
[[35mlola[0m][.] 66 EF FNDP 170/349 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 40 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 171 secs. Pages in use: 531
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 175/279 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 40 attempts, .
[[35mlola[0m][.] 51 EF EXCL 175/299 546/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 158477736 m, 873903 m/sec, 268997441 t fired, .
[[35mlola[0m][.] 56 EF FNDP 175/279 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 37 attempts, .
[[35mlola[0m][.] 66 EF FNDP 175/344 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 42 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 176 secs. Pages in use: 546
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 180/274 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 41 attempts, .
[[35mlola[0m][.] 51 EF EXCL 180/299 561/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 163007398 m, 905932 m/sec, 276631995 t fired, .
[[35mlola[0m][.] 56 EF FNDP 180/274 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 37 attempts, .
[[35mlola[0m][.] 66 EF FNDP 180/339 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 43 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 181 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[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 185/269 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 42 attempts, .
[[35mlola[0m][.] 51 EF EXCL 185/299 576/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 167380239 m, 874568 m/sec, 284093296 t fired, .
[[35mlola[0m][.] 56 EF FNDP 185/269 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 38 attempts, .
[[35mlola[0m][.] 66 EF FNDP 185/334 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 44 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 186 secs. Pages in use: 576
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 190/264 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 43 attempts, .
[[35mlola[0m][.] 51 EF EXCL 190/299 592/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 171907391 m, 905430 m/sec, 291631732 t fired, .
[[35mlola[0m][.] 56 EF FNDP 190/264 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 39 attempts, .
[[35mlola[0m][.] 66 EF FNDP 190/329 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 45 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 191 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[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 195/259 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 44 attempts, .
[[35mlola[0m][.] 51 EF EXCL 195/299 608/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 176491401 m, 916802 m/sec, 299339245 t fired, .
[[35mlola[0m][.] 56 EF FNDP 195/259 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 40 attempts, .
[[35mlola[0m][.] 66 EF FNDP 195/324 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 46 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 196 secs. Pages in use: 608
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 200/254 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 45 attempts, .
[[35mlola[0m][.] 51 EF EXCL 200/299 622/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 180820436 m, 865807 m/sec, 306578511 t fired, .
[[35mlola[0m][.] 56 EF FNDP 200/254 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 41 attempts, .
[[35mlola[0m][.] 66 EF FNDP 200/319 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 47 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 201 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[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 205/249 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 46 attempts, .
[[35mlola[0m][.] 51 EF EXCL 205/299 636/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 184903536 m, 816620 m/sec, 313746460 t fired, .
[[35mlola[0m][.] 56 EF FNDP 205/249 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 42 attempts, .
[[35mlola[0m][.] 66 EF FNDP 205/314 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 48 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 206 secs. Pages in use: 636
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 210/244 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 47 attempts, .
[[35mlola[0m][.] 51 EF EXCL 210/299 651/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 189088604 m, 837013 m/sec, 320962808 t fired, .
[[35mlola[0m][.] 56 EF FNDP 210/244 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 43 attempts, .
[[35mlola[0m][.] 66 EF FNDP 210/309 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 49 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 211 secs. Pages in use: 651
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 215/239 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 49 attempts, .
[[35mlola[0m][.] 51 EF EXCL 215/299 665/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 193203852 m, 823049 m/sec, 328122501 t fired, .
[[35mlola[0m][.] 56 EF FNDP 215/239 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 44 attempts, .
[[35mlola[0m][.] 66 EF FNDP 215/304 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 50 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 216 secs. Pages in use: 665
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 220/234 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 50 attempts, .
[[35mlola[0m][.] 51 EF EXCL 220/299 680/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 197607469 m, 880723 m/sec, 335530457 t fired, .
[[35mlola[0m][.] 56 EF FNDP 220/234 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 45 attempts, .
[[35mlola[0m][.] 66 EF FNDP 220/299 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 51 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 221 secs. Pages in use: 680
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 2 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 225/229 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-10 51 attempts, .
[[35mlola[0m][.] 51 EF EXCL 225/299 695/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 201859155 m, 850337 m/sec, 342875041 t fired, .
[[35mlola[0m][.] 56 EF FNDP 225/229 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-06 46 attempts, .
[[35mlola[0m][.] 66 EF FNDP 225/294 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 51 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 226 secs. Pages in use: 695
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][W] CANCELED task # 49 (type FNDP) for Murphy-PT-D2N050-ReachabilityFireability-2024-10 (local timeout)
[[35mlola[0m][W] CANCELED task # 56 (type FNDP) for Murphy-PT-D2N050-ReachabilityFireability-2024-06 (local timeout)
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 0 0 1 1 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 1 0 2 1 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-15: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 51 EF EXCL 230/299 710/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 206261093 m, 880387 m/sec, 350456379 t fired, .
[[35mlola[0m][.] 66 EF FNDP 230/289 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 52 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 231 secs. Pages in use: 710
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] LAUNCH task # 87 (type FNDP) for 45 Murphy-PT-D2N050-ReachabilityFireability-2024-15
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 88 (type EQUN) for 45 Murphy-PT-D2N050-ReachabilityFireability-2024-15
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 49 (type FNDP) for Murphy-PT-D2N050-ReachabilityFireability-2024-10
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 54
[[35mlola[0m][I] time used : 230
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 56 (type FNDP) for Murphy-PT-D2N050-ReachabilityFireability-2024-06
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 48
[[35mlola[0m][I] time used : 230
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 87 (type FNDP) for Murphy-PT-D2N050-ReachabilityFireability-2024-15
[[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][W] CANCELED task # 88 (type EQUN) for Murphy-PT-D2N050-ReachabilityFireability-2024-15 (obsolete)
[[35mlola[0m][I] LAUNCH task # 81 (type FNDP) for 3 Murphy-PT-D2N050-ReachabilityFireability-2024-01
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 82 (type EQUN) for 3 Murphy-PT-D2N050-ReachabilityFireability-2024-01
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 88 (type EQUN) for Murphy-PT-D2N050-ReachabilityFireability-2024-15
[[35mlola[0m][I] result : true
[[35mlola[0m][I] FINISHED task # 82 (type EQUN) for Murphy-PT-D2N050-ReachabilityFireability-2024-01
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] LAUNCH task # 75 (type FNDP) for 33 Murphy-PT-D2N050-ReachabilityFireability-2024-11
[[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[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-15: EF true 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-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 1 1 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 0 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 1 0 3 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 51 EF EXCL 235/327 724/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 210480672 m, 843915 m/sec, 357531555 t fired, .
[[35mlola[0m][.] 66 EF FNDP 235/368 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 53 attempts, .
[[35mlola[0m][.] 75 EF FNDP 4/561 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-11 2 attempts, .
[[35mlola[0m][.] 81 EF FNDP 5/560 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-01 2 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 236 secs. Pages in use: 724
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-15: EF true 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-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 1 1 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 0 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 1 0 3 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 51 EF EXCL 240/327 739/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 214625134 m, 828892 m/sec, 364768527 t fired, .
[[35mlola[0m][.] 66 EF FNDP 240/364 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 54 attempts, .
[[35mlola[0m][.] 75 EF FNDP 9/557 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-11 4 attempts, .
[[35mlola[0m][.] 81 EF FNDP 10/556 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-01 3 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 241 secs. Pages in use: 739
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-15: EF true 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-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 1 1 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 0 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 1 0 3 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 51 EF EXCL 245/327 753/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 218787915 m, 832556 m/sec, 372006249 t fired, .
[[35mlola[0m][.] 66 EF FNDP 245/359 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 55 attempts, .
[[35mlola[0m][.] 75 EF FNDP 14/552 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-11 5 attempts, .
[[35mlola[0m][.] 81 EF FNDP 15/551 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-01 5 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 246 secs. Pages in use: 753
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-03: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-05: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMurphy-PT-D2N050-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-13: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mMurphy-PT-D2N050-ReachabilityFireability-2024-15: EF true 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-D2N050-ReachabilityFireability-2024-00: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-01: AG 0 1 1 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-04: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-06: AG 0 2 0 0 2 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-10: AG 0 0 1 0 3 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-11: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] Murphy-PT-D2N050-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 51 EF EXCL 251/327 757/2000 Murphy-PT-D2N050-ReachabilityFireability-2024-10 219987024 m, 239821 m/sec, 374108717 t fired, .
[[35mlola[0m][.] 66 EF FNDP 251/354 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-00 55 attempts, .
[[35mlola[0m][.] 75 EF FNDP 20/547 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-11 6 attempts, .
[[35mlola[0m][.] 81 EF FNDP 21/546 0/5 Murphy-PT-D2N050-ReachabilityFireability-2024-01 5 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 252 secs. Pages in use: 757
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
/home/mcc/BenchKit/BenchKit_head.sh: line 23: 410 Killed $BK_TOOL --conf=/home/mcc/BenchKit/bin/myconf --formula=$BK_EXAMINATION.xml $LOLA_TIMELIMIT $LOLA_MEMLIMIT model.pnml
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Murphy-PT-D2N050"
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-D2N050, 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-171654353100303"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Murphy-PT-D2N050.tgz
mv Murphy-PT-D2N050 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 ;