MCC'2024- Execution of r291-tajo-171654447800223

About the Execution of LoLA for PolyORBLF-PT-S02J04T06

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
1510.995	247724.00	871061.00	37.60	??????TT??T?????	normal

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2024-input.r291-tajo-171654447800223.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2024-input.qcow2' backing_fmt='qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool lola
Input is PolyORBLF-PT-S02J04T06, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r291-tajo-171654447800223
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.6M
-rw-r--r-- 1 mcc users 11K Apr 11 16:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Apr 11 16:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 24K Apr 11 16:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 133K Apr 11 16:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:43 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K May 18 16:43 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 9.2K Apr 23 07:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 41K Apr 23 07:43 LTLCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Apr 23 07:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 31K Apr 23 07:43 LTLFireability.xml
-rw-r--r-- 1 mcc users 26K Apr 11 17:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 159K Apr 11 17:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 17K Apr 11 17:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 92K Apr 11 17:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.6K Apr 23 07:43 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.6K Apr 23 07:43 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 10 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 862K 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 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00
FORMULA_NAME PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01
FORMULA_NAME PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02
FORMULA_NAME PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03
FORMULA_NAME PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04
FORMULA_NAME PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05
FORMULA_NAME PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06
FORMULA_NAME PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07
FORMULA_NAME PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08
FORMULA_NAME PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09
FORMULA_NAME PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10
FORMULA_NAME PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11
FORMULA_NAME PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12
FORMULA_NAME PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13
FORMULA_NAME PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14
FORMULA_NAME PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15

=== Now, execution of the tool begins

BK_START 1717057906572

FORMULA PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

BK_STOP 1717058154296

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

[[35mlola[0m][I] LoLA will run for 3600 seconds at most ([1m[36m--timelimit[0m)
[[35mlola[0m][W] [1m[33munknown unit in memory specification: using default[0m
[[35mlola[0m][I] MEM LIMIT 5
[[35mlola[0m][I] NET
[[35mlola[0m][I] reading [1m[34mnet[0m from [4m[34mmodel.pnml[0m
[[35mlola[0m][I] input: PNML file ([1m[36m--pnmlnet[0m)
[[35mlola[0m][I] reading pnml
[[35mlola[0m][I] PNML file contains place/transition net
[[35mlola[0m][I] closed [1m[34mnet[0m file [4m[34mmodel.pnml[0m
[[35mlola[0m][I] finished parsing
[[35mlola[0m][I] Reading formula.
[[35mlola[0m][I] Using XML format ([1m[36m--xmlformula[0m)
[[35mlola[0m][I] reading XML formula
[[35mlola[0m][I] reading [1m[34mformula[0m from [4m[34mReachabilityFireability.xml[0m
[[35mlola[0m][I] Rule S: 0 transitions removed,0 places removed
[[35mlola[0m][I] LAUNCH task # 50 (type EXCL) for 3 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01
[[35mlola[0m][I] time limit : 222 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 48 (type FNDP) for 3 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 49 (type EQUN) for 3 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 51 (type FNDP) for 18 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 51 (type FNDP) for PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 65 (type FNDP) for 6 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 49 (type EQUN) for PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] LAUNCH task # 90 (type FNDP) for 21 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 90 (type FNDP) for PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] LAUNCH task # 54 (type FNDP) for 42 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14
[[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[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 4/394 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 14 attempts, .
[[35mlola[0m][.] 50 EF EXCL 4/254 3/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 323043 m, 64608 m/sec, 386144 t fired, .
[[35mlola[0m][.] 54 EF FNDP 3/395 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 14 attempts, .
[[35mlola[0m][.] 65 EF FNDP 4/394 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 1 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 43 secs. Pages in use: 3
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 9/391 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 85 attempts, .
[[35mlola[0m][.] 50 EF EXCL 9/254 5/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 706519 m, 76695 m/sec, 867329 t fired, .
[[35mlola[0m][.] 54 EF FNDP 8/392 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 70 attempts, .
[[35mlola[0m][.] 65 EF FNDP 9/391 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 6 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 48 secs. Pages in use: 5
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 14/386 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 209 attempts, .
[[35mlola[0m][.] 50 EF EXCL 14/254 8/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 1116601 m, 82016 m/sec, 1397783 t fired, .
[[35mlola[0m][.] 54 EF FNDP 13/387 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 172 attempts, .
[[35mlola[0m][.] 65 EF FNDP 14/386 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 39 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 53 secs. Pages in use: 8
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 19/381 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 362 attempts, .
[[35mlola[0m][.] 50 EF EXCL 19/254 10/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 1525444 m, 81768 m/sec, 1955075 t fired, .
[[35mlola[0m][.] 54 EF FNDP 18/382 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 296 attempts, .
[[35mlola[0m][.] 65 EF FNDP 19/381 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 93 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 58 secs. Pages in use: 10
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 24/376 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 557 attempts, .
[[35mlola[0m][.] 50 EF EXCL 24/254 13/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 1929311 m, 80773 m/sec, 2520461 t fired, .
[[35mlola[0m][.] 54 EF FNDP 23/377 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 426 attempts, .
[[35mlola[0m][.] 65 EF FNDP 24/376 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 160 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 63 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 29/371 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 754 attempts, .
[[35mlola[0m][.] 50 EF EXCL 29/254 15/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 2322231 m, 78584 m/sec, 3124551 t fired, .
[[35mlola[0m][.] 54 EF FNDP 28/372 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 596 attempts, .
[[35mlola[0m][.] 65 EF FNDP 29/371 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 227 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 68 secs. Pages in use: 15
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 34/366 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 973 attempts, .
[[35mlola[0m][.] 50 EF EXCL 34/254 18/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 2726478 m, 80849 m/sec, 3704142 t fired, .
[[35mlola[0m][.] 54 EF FNDP 33/367 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 756 attempts, .
[[35mlola[0m][.] 65 EF FNDP 34/366 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 317 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 73 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[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 39/361 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 1200 attempts, .
[[35mlola[0m][.] 50 EF EXCL 39/254 21/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 3125167 m, 79737 m/sec, 4343734 t fired, .
[[35mlola[0m][.] 54 EF FNDP 38/362 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 923 attempts, .
[[35mlola[0m][.] 65 EF FNDP 39/361 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 413 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 78 secs. Pages in use: 21
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 44/356 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 1432 attempts, .
[[35mlola[0m][.] 50 EF EXCL 44/254 23/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 3521383 m, 79243 m/sec, 4943987 t fired, .
[[35mlola[0m][.] 54 EF FNDP 43/357 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 1077 attempts, .
[[35mlola[0m][.] 65 EF FNDP 44/356 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 511 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 83 secs. Pages in use: 23
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 49/351 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 1669 attempts, .
[[35mlola[0m][.] 50 EF EXCL 49/254 26/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 3916877 m, 79098 m/sec, 5559112 t fired, .
[[35mlola[0m][.] 54 EF FNDP 48/352 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 1268 attempts, .
[[35mlola[0m][.] 65 EF FNDP 49/351 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 590 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 88 secs. Pages in use: 26
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 54/346 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 1877 attempts, .
[[35mlola[0m][.] 50 EF EXCL 54/254 28/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 4279612 m, 72547 m/sec, 6142035 t fired, .
[[35mlola[0m][.] 54 EF FNDP 53/347 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 1436 attempts, .
[[35mlola[0m][.] 65 EF FNDP 54/346 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 683 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 93 secs. Pages in use: 28
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 59/341 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 2109 attempts, .
[[35mlola[0m][.] 50 EF EXCL 59/254 31/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 4664561 m, 76989 m/sec, 6731827 t fired, .
[[35mlola[0m][.] 54 EF FNDP 58/342 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 1608 attempts, .
[[35mlola[0m][.] 65 EF FNDP 59/341 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 770 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 98 secs. Pages in use: 31
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 64/336 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 2324 attempts, .
[[35mlola[0m][.] 50 EF EXCL 64/254 33/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 5033617 m, 73811 m/sec, 7324766 t fired, .
[[35mlola[0m][.] 54 EF FNDP 63/337 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 1784 attempts, .
[[35mlola[0m][.] 65 EF FNDP 64/336 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 855 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 103 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 69/331 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 2594 attempts, .
[[35mlola[0m][.] 50 EF EXCL 69/254 35/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 5434529 m, 80182 m/sec, 7973251 t fired, .
[[35mlola[0m][.] 54 EF FNDP 68/332 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 1981 attempts, .
[[35mlola[0m][.] 65 EF FNDP 69/331 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 957 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 108 secs. Pages in use: 35
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 74/326 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 2848 attempts, .
[[35mlola[0m][.] 50 EF EXCL 74/254 38/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 5829132 m, 78920 m/sec, 8648841 t fired, .
[[35mlola[0m][.] 54 EF FNDP 73/327 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 2170 attempts, .
[[35mlola[0m][.] 65 EF FNDP 74/326 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 1062 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 113 secs. Pages in use: 38
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 79/321 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 3104 attempts, .
[[35mlola[0m][.] 50 EF EXCL 79/254 40/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 6223348 m, 78843 m/sec, 9222691 t fired, .
[[35mlola[0m][.] 54 EF FNDP 78/322 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 2376 attempts, .
[[35mlola[0m][.] 65 EF FNDP 79/321 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 1164 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 118 secs. Pages in use: 40
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 84/316 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 3352 attempts, .
[[35mlola[0m][.] 50 EF EXCL 84/254 43/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 6620554 m, 79441 m/sec, 9842410 t fired, .
[[35mlola[0m][.] 54 EF FNDP 83/317 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 2570 attempts, .
[[35mlola[0m][.] 65 EF FNDP 84/316 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 1260 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 123 secs. Pages in use: 43
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 89/311 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 3639 attempts, .
[[35mlola[0m][.] 50 EF EXCL 89/254 46/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 7017038 m, 79296 m/sec, 10506620 t fired, .
[[35mlola[0m][.] 54 EF FNDP 88/312 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 2788 attempts, .
[[35mlola[0m][.] 65 EF FNDP 89/311 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 1358 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 128 secs. Pages in use: 46
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 94/306 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 3874 attempts, .
[[35mlola[0m][.] 50 EF EXCL 94/254 48/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 7413766 m, 79345 m/sec, 11136467 t fired, .
[[35mlola[0m][.] 54 EF FNDP 93/307 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 2976 attempts, .
[[35mlola[0m][.] 65 EF FNDP 94/306 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 1467 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 133 secs. Pages in use: 48
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 99/301 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 4113 attempts, .
[[35mlola[0m][.] 50 EF EXCL 99/254 51/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 7804244 m, 78095 m/sec, 11807200 t fired, .
[[35mlola[0m][.] 54 EF FNDP 98/302 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 3151 attempts, .
[[35mlola[0m][.] 65 EF FNDP 99/301 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 1576 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 138 secs. Pages in use: 51
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 104/296 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 4362 attempts, .
[[35mlola[0m][.] 50 EF EXCL 104/254 53/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 8195708 m, 78292 m/sec, 12480756 t fired, .
[[35mlola[0m][.] 54 EF FNDP 103/297 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 3336 attempts, .
[[35mlola[0m][.] 65 EF FNDP 104/296 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 1667 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 143 secs. Pages in use: 53
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 109/291 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 4619 attempts, .
[[35mlola[0m][.] 50 EF EXCL 109/254 56/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 8588275 m, 78513 m/sec, 13121751 t fired, .
[[35mlola[0m][.] 54 EF FNDP 108/292 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 3543 attempts, .
[[35mlola[0m][.] 65 EF FNDP 109/291 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 1771 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 148 secs. Pages in use: 56
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 114/286 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 4876 attempts, .
[[35mlola[0m][.] 50 EF EXCL 114/254 58/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 8972309 m, 76806 m/sec, 13797241 t fired, .
[[35mlola[0m][.] 54 EF FNDP 113/287 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 3721 attempts, .
[[35mlola[0m][.] 65 EF FNDP 114/286 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 1884 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 153 secs. Pages in use: 58
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 119/281 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 5119 attempts, .
[[35mlola[0m][.] 50 EF EXCL 119/254 61/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 9352549 m, 76048 m/sec, 14499004 t fired, .
[[35mlola[0m][.] 54 EF FNDP 118/282 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 3910 attempts, .
[[35mlola[0m][.] 65 EF FNDP 119/281 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 1970 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 158 secs. Pages in use: 61
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 124/276 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 5360 attempts, .
[[35mlola[0m][.] 50 EF EXCL 124/254 63/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 9748020 m, 79094 m/sec, 15154861 t fired, .
[[35mlola[0m][.] 54 EF FNDP 123/277 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 4095 attempts, .
[[35mlola[0m][.] 65 EF FNDP 124/276 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 2073 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 163 secs. Pages in use: 63
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 129/271 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 5622 attempts, .
[[35mlola[0m][.] 50 EF EXCL 129/254 66/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 10134939 m, 77383 m/sec, 15884594 t fired, .
[[35mlola[0m][.] 54 EF FNDP 128/272 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 4300 attempts, .
[[35mlola[0m][.] 65 EF FNDP 129/271 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 2171 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 168 secs. Pages in use: 66
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 134/266 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 5867 attempts, .
[[35mlola[0m][.] 50 EF EXCL 134/254 68/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 10506638 m, 74339 m/sec, 16649881 t fired, .
[[35mlola[0m][.] 54 EF FNDP 133/267 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 4521 attempts, .
[[35mlola[0m][.] 65 EF FNDP 134/266 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 2258 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 173 secs. Pages in use: 68
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 139/261 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 6138 attempts, .
[[35mlola[0m][.] 50 EF EXCL 139/254 71/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 10886164 m, 75905 m/sec, 17333629 t fired, .
[[35mlola[0m][.] 54 EF FNDP 138/262 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 4718 attempts, .
[[35mlola[0m][.] 65 EF FNDP 139/261 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 2370 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 178 secs. Pages in use: 71
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 144/256 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 6402 attempts, .
[[35mlola[0m][.] 50 EF EXCL 144/254 73/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 11254426 m, 73652 m/sec, 18052900 t fired, .
[[35mlola[0m][.] 54 EF FNDP 143/257 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 4894 attempts, .
[[35mlola[0m][.] 65 EF FNDP 144/256 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 2487 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 183 secs. Pages in use: 73
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 149/251 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 6662 attempts, .
[[35mlola[0m][.] 50 EF EXCL 149/254 75/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 11638034 m, 76721 m/sec, 18764412 t fired, .
[[35mlola[0m][.] 54 EF FNDP 148/252 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 5080 attempts, .
[[35mlola[0m][.] 65 EF FNDP 149/251 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 2592 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 188 secs. Pages in use: 75
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 154/246 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 6906 attempts, .
[[35mlola[0m][.] 50 EF EXCL 154/254 78/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 12017520 m, 75897 m/sec, 19400561 t fired, .
[[35mlola[0m][.] 54 EF FNDP 153/247 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 5289 attempts, .
[[35mlola[0m][.] 65 EF FNDP 154/246 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 2703 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 193 secs. Pages in use: 78
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 159/241 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 7158 attempts, .
[[35mlola[0m][.] 50 EF EXCL 159/254 80/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 12381357 m, 72767 m/sec, 20218241 t fired, .
[[35mlola[0m][.] 54 EF FNDP 158/242 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 5497 attempts, .
[[35mlola[0m][.] 65 EF FNDP 159/241 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 2803 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 198 secs. Pages in use: 80
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 164/236 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 7413 attempts, .
[[35mlola[0m][.] 50 EF EXCL 164/254 83/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 12755480 m, 74824 m/sec, 20892073 t fired, .
[[35mlola[0m][.] 54 EF FNDP 163/237 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 5703 attempts, .
[[35mlola[0m][.] 65 EF FNDP 164/236 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 2904 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 203 secs. Pages in use: 83
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 169/231 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 7653 attempts, .
[[35mlola[0m][.] 50 EF EXCL 169/254 85/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 13138539 m, 76611 m/sec, 21464842 t fired, .
[[35mlola[0m][.] 54 EF FNDP 168/232 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 5899 attempts, .
[[35mlola[0m][.] 65 EF FNDP 169/231 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 3013 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 208 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[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 174/226 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 7910 attempts, .
[[35mlola[0m][.] 50 EF EXCL 174/254 87/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 13515579 m, 75408 m/sec, 22073427 t fired, .
[[35mlola[0m][.] 54 EF FNDP 173/227 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 6097 attempts, .
[[35mlola[0m][.] 65 EF FNDP 174/226 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 3128 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 213 secs. Pages in use: 87
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 179/221 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 8150 attempts, .
[[35mlola[0m][.] 50 EF EXCL 179/254 89/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 13889623 m, 74808 m/sec, 22684718 t fired, .
[[35mlola[0m][.] 54 EF FNDP 178/222 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 6328 attempts, .
[[35mlola[0m][.] 65 EF FNDP 179/221 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 3246 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 218 secs. Pages in use: 89
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 184/216 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 8393 attempts, .
[[35mlola[0m][.] 50 EF EXCL 184/254 91/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 14254086 m, 72892 m/sec, 23269663 t fired, .
[[35mlola[0m][.] 54 EF FNDP 183/217 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 6517 attempts, .
[[35mlola[0m][.] 65 EF FNDP 184/216 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 3351 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 223 secs. Pages in use: 91
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 189/211 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 8641 attempts, .
[[35mlola[0m][.] 50 EF EXCL 189/254 93/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 14605743 m, 70331 m/sec, 23819138 t fired, .
[[35mlola[0m][.] 54 EF FNDP 188/212 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 6715 attempts, .
[[35mlola[0m][.] 65 EF FNDP 189/211 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 3445 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 228 secs. Pages in use: 93
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 194/206 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 8883 attempts, .
[[35mlola[0m][.] 50 EF EXCL 194/254 95/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 14950247 m, 68900 m/sec, 24374980 t fired, .
[[35mlola[0m][.] 54 EF FNDP 193/207 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 6924 attempts, .
[[35mlola[0m][.] 65 EF FNDP 194/206 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 3553 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 233 secs. Pages in use: 95
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 2 0 2 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 48 EF FNDP 199/201 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 9131 attempts, .
[[35mlola[0m][.] 50 EF EXCL 199/254 97/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 15259558 m, 61862 m/sec, 24899378 t fired, .
[[35mlola[0m][.] 54 EF FNDP 198/202 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 7100 attempts, .
[[35mlola[0m][.] 65 EF FNDP 199/201 0/5 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 3653 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 238 secs. Pages in use: 97
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][W] CANCELED task # 48 (type FNDP) for PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 (local timeout)
[[35mlola[0m][W] CANCELED task # 54 (type FNDP) for PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14 (local timeout)
[[35mlola[0m][W] CANCELED task # 65 (type FNDP) for PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02 (local timeout)
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-06: EF true findpath[0m
[[35mlola[0m][.] [1m[32mPolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-07: 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][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-00: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01: EF 0 0 1 0 2 1 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02: EF 0 2 0 0 1 1 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-03: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-08: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-11: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14: EF 0 2 0 0 1 1 0 0
[[35mlola[0m][.] PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-15: 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][.] 50 EF EXCL 204/254 98/2000 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01 15567057 m, 61499 m/sec, 25416029 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 243 secs. Pages in use: 98
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] LAUNCH task # 71 (type FNDP) for 30 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 72 (type EQUN) for 30 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 93 (type FNDP) for 36 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-12
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 65 (type FNDP) for PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-02
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 3752
[[35mlola[0m][I] time used : 204
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 54 (type FNDP) for PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-14
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 7306
[[35mlola[0m][I] time used : 203
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 48 (type FNDP) for PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-01
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 9387
[[35mlola[0m][I] time used : 204
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 71 (type FNDP) for PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 1
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][W] CANCELED task # 72 (type EQUN) for PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-10 (obsolete)
[[35mlola[0m][I] LAUNCH task # 87 (type FNDP) for 39 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 88 (type EQUN) for 39 PolyORBLF-PT-S02J04T06-ReachabilityFireability-2024-13
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
/home/mcc/BenchKit/BenchKit_head.sh: line 23: 410 Segmentation fault $BK_TOOL --conf=/home/mcc/BenchKit/bin/myconf --formula=$BK_EXAMINATION.xml $LOLA_TIMELIMIT $LOLA_MEMLIMIT model.pnml

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-PT-S02J04T06"
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 PolyORBLF-PT-S02J04T06, 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 r291-tajo-171654447800223"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-PT-S02J04T06.tgz
mv PolyORBLF-PT-S02J04T06 execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' ReachabilityFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;