MCC'2024- Execution of r225-tall-171649614200487

About the Execution of LoLA for MAPK-PT-05120

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
0.000	398430.00	0.00	0.00	FF?FTT?FFFTFTFFT	normal

Execution Chart

Sorry, for this execution, no execution chart could be reported.

Trace from the execution

Formatting '/data/fkordon/mcc2024-input.r225-tall-171649614200487.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool lola
Input is MAPK-PT-05120, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r225-tall-171649614200487
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 476K
-rw-r--r-- 1 mcc users 8.1K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 70K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:42 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K May 18 16:42 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K May 19 07:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 19 16:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 22 14:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 22 14:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.2K Apr 13 07:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 61K Apr 13 07:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Apr 13 07:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 104K Apr 13 07:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 22 14:52 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 22 14:52 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 6 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 25K May 18 16:42 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 MAPK-PT-05120-ReachabilityFireability-2024-00
FORMULA_NAME MAPK-PT-05120-ReachabilityFireability-2024-01
FORMULA_NAME MAPK-PT-05120-ReachabilityFireability-2024-02
FORMULA_NAME MAPK-PT-05120-ReachabilityFireability-2024-03
FORMULA_NAME MAPK-PT-05120-ReachabilityFireability-2024-04
FORMULA_NAME MAPK-PT-05120-ReachabilityFireability-2024-05
FORMULA_NAME MAPK-PT-05120-ReachabilityFireability-2024-06
FORMULA_NAME MAPK-PT-05120-ReachabilityFireability-2024-07
FORMULA_NAME MAPK-PT-05120-ReachabilityFireability-2024-08
FORMULA_NAME MAPK-PT-05120-ReachabilityFireability-2024-09
FORMULA_NAME MAPK-PT-05120-ReachabilityFireability-2024-10
FORMULA_NAME MAPK-PT-05120-ReachabilityFireability-2024-11
FORMULA_NAME MAPK-PT-05120-ReachabilityFireability-2024-12
FORMULA_NAME MAPK-PT-05120-ReachabilityFireability-2024-13
FORMULA_NAME MAPK-PT-05120-ReachabilityFireability-2024-14
FORMULA_NAME MAPK-PT-05120-ReachabilityFireability-2024-15

=== Now, execution of the tool begins

BK_START 1717075525199

FORMULA MAPK-PT-05120-ReachabilityFireability-2024-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA MAPK-PT-05120-ReachabilityFireability-2024-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA MAPK-PT-05120-ReachabilityFireability-2024-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA MAPK-PT-05120-ReachabilityFireability-2024-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA MAPK-PT-05120-ReachabilityFireability-2024-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA MAPK-PT-05120-ReachabilityFireability-2024-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA MAPK-PT-05120-ReachabilityFireability-2024-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA MAPK-PT-05120-ReachabilityFireability-2024-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA MAPK-PT-05120-ReachabilityFireability-2024-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA MAPK-PT-05120-ReachabilityFireability-2024-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA MAPK-PT-05120-ReachabilityFireability-2024-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA MAPK-PT-05120-ReachabilityFireability-2024-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA MAPK-PT-05120-ReachabilityFireability-2024-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA MAPK-PT-05120-ReachabilityFireability-2024-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

BK_STOP 1717075923629

--------------------
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 # 37 (type CNST) for 36 MAPK-PT-05120-ReachabilityFireability-2024-12
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] LAUNCH task # 50 (type EXCL) for 12 MAPK-PT-05120-ReachabilityFireability-2024-04
[[35mlola[0m][I] time limit : 163 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 48 (type FNDP) for 12 MAPK-PT-05120-ReachabilityFireability-2024-04
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 49 (type EQUN) for 12 MAPK-PT-05120-ReachabilityFireability-2024-04
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 37 (type CNST) for MAPK-PT-05120-ReachabilityFireability-2024-12
[[35mlola[0m][I] result : true
[[35mlola[0m][I] LAUNCH task # 1 (type CNST) for 0 MAPK-PT-05120-ReachabilityFireability-2024-00
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] FINISHED task # 1 (type CNST) for MAPK-PT-05120-ReachabilityFireability-2024-00
[[35mlola[0m][I] result : false
[[35mlola[0m][I] LAUNCH task # 52 (type FNDP) for 3 MAPK-PT-05120-ReachabilityFireability-2024-01
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 50 (type EXCL) for MAPK-PT-05120-ReachabilityFireability-2024-04
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 1281
[[35mlola[0m][I] fired transitions : 1280
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][W] CANCELED task # 48 (type FNDP) for MAPK-PT-05120-ReachabilityFireability-2024-04 (obsolete)
[[35mlola[0m][W] CANCELED task # 49 (type EQUN) for MAPK-PT-05120-ReachabilityFireability-2024-04 (obsolete)
[[35mlola[0m][I] LAUNCH task # 54 (type EXCL) for 3 MAPK-PT-05120-ReachabilityFireability-2024-01
[[35mlola[0m][I] time limit : 240 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 53 (type EQUN) for 3 MAPK-PT-05120-ReachabilityFireability-2024-01
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 52 (type FNDP) for MAPK-PT-05120-ReachabilityFireability-2024-01
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][W] CANCELED task # 53 (type EQUN) for MAPK-PT-05120-ReachabilityFireability-2024-01 (obsolete)
[[35mlola[0m][W] CANCELED task # 54 (type EXCL) for MAPK-PT-05120-ReachabilityFireability-2024-01 (obsolete)
[[35mlola[0m][I] LAUNCH task # 58 (type EXCL) for 30 MAPK-PT-05120-ReachabilityFireability-2024-10
[[35mlola[0m][I] time limit : 327 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 55 (type FNDP) for 30 MAPK-PT-05120-ReachabilityFireability-2024-10
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 57 (type EQUN) for 30 MAPK-PT-05120-ReachabilityFireability-2024-10
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 59 (type FNDP) for 24 MAPK-PT-05120-ReachabilityFireability-2024-08
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 59 (type FNDP) for MAPK-PT-05120-ReachabilityFireability-2024-08
[[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 18 MAPK-PT-05120-ReachabilityFireability-2024-06
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 48 (type FNDP) for MAPK-PT-05120-ReachabilityFireability-2024-04
[[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] FINISHED task # 55 (type FNDP) for MAPK-PT-05120-ReachabilityFireability-2024-10
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][W] CANCELED task # 57 (type EQUN) for MAPK-PT-05120-ReachabilityFireability-2024-10 (obsolete)
[[35mlola[0m][W] CANCELED task # 58 (type EXCL) for MAPK-PT-05120-ReachabilityFireability-2024-10 (obsolete)
[[35mlola[0m][I] LAUNCH task # 98 (type EXCL) for 27 MAPK-PT-05120-ReachabilityFireability-2024-09
[[35mlola[0m][I] time limit : 360 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 82 (type FNDP) for 45 MAPK-PT-05120-ReachabilityFireability-2024-15
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 83 (type EQUN) for 45 MAPK-PT-05120-ReachabilityFireability-2024-15
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 98 (type EXCL) for MAPK-PT-05120-ReachabilityFireability-2024-09
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 4
[[35mlola[0m][I] fired transitions : 3
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 70 (type EXCL) for 33 MAPK-PT-05120-ReachabilityFireability-2024-11
[[35mlola[0m][I] time limit : 400 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 70 (type EXCL) for MAPK-PT-05120-ReachabilityFireability-2024-11
[[35mlola[0m][I] result : true
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 76 (type EXCL) for 39 MAPK-PT-05120-ReachabilityFireability-2024-13
[[35mlola[0m][I] time limit : 450 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 76 (type EXCL) for MAPK-PT-05120-ReachabilityFireability-2024-13
[[35mlola[0m][I] result : true
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] FINISHED task # 82 (type FNDP) for MAPK-PT-05120-ReachabilityFireability-2024-15
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][W] CANCELED task # 83 (type EQUN) for MAPK-PT-05120-ReachabilityFireability-2024-15 (obsolete)
[[35mlola[0m][I] LAUNCH task # 87 (type EXCL) for 21 MAPK-PT-05120-ReachabilityFireability-2024-07
[[35mlola[0m][I] time limit : 600 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 92 (type FNDP) for 15 MAPK-PT-05120-ReachabilityFireability-2024-05
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 93 (type EQUN) for 15 MAPK-PT-05120-ReachabilityFireability-2024-05
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 87 (type EXCL) for MAPK-PT-05120-ReachabilityFireability-2024-07
[[35mlola[0m][I] result : true
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 77 (type EXCL) for 6 MAPK-PT-05120-ReachabilityFireability-2024-02
[[35mlola[0m][I] time limit : 720 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 92 (type FNDP) for MAPK-PT-05120-ReachabilityFireability-2024-05
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][W] CANCELED task # 93 (type EQUN) for MAPK-PT-05120-ReachabilityFireability-2024-05 (obsolete)
[[35mlola[0m][I] LAUNCH task # 78 (type FNDP) for 9 MAPK-PT-05120-ReachabilityFireability-2024-03
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 79 (type EQUN) for 9 MAPK-PT-05120-ReachabilityFireability-2024-03
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 53 (type EQUN) for MAPK-PT-05120-ReachabilityFireability-2024-01
[[35mlola[0m][I] result : true
[[35mlola[0m][I] FINISHED task # 49 (type EQUN) for MAPK-PT-05120-ReachabilityFireability-2024-04
[[35mlola[0m][I] result : true
[[35mlola[0m][I] FINISHED task # 57 (type EQUN) for MAPK-PT-05120-ReachabilityFireability-2024-10
[[35mlola[0m][I] result : true
[[35mlola[0m][I] FINISHED task # 93 (type EQUN) for MAPK-PT-05120-ReachabilityFireability-2024-05
[[35mlola[0m][I] result : true
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-03: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 5/1198 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 4 attempts, .
[[35mlola[0m][.] 77 EF EXCL 5/900 9/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 2473534 m, 494706 m/sec, 4163456 t fired, .
[[35mlola[0m][.] 78 EF FNDP 5/1198 0/5 MAPK-PT-05120-ReachabilityFireability-2024-03 4 attempts, .
[[35mlola[0m][.] 79 EF STEQ 5/1798 0/5 MAPK-PT-05120-ReachabilityFireability-2024-03 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 5 secs. Pages in use: 9
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 79 (type EQUN) for MAPK-PT-05120-ReachabilityFireability-2024-03
[[35mlola[0m][I] result : false
[[35mlola[0m][W] CANCELED task # 78 (type FNDP) for MAPK-PT-05120-ReachabilityFireability-2024-03 (obsolete)
[[35mlola[0m][I] LAUNCH task # 89 (type FNDP) for 42 MAPK-PT-05120-ReachabilityFireability-2024-14
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 90 (type EQUN) for 42 MAPK-PT-05120-ReachabilityFireability-2024-14
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 78 (type FNDP) for MAPK-PT-05120-ReachabilityFireability-2024-03
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 5
[[35mlola[0m][I] time used : 6
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 89 (type FNDP) for MAPK-PT-05120-ReachabilityFireability-2024-14
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][W] CANCELED task # 90 (type EQUN) for MAPK-PT-05120-ReachabilityFireability-2024-14 (obsolete)
[[35mlola[0m][I] LAUNCH task # 71 (type EQUN) for 18 MAPK-PT-05120-ReachabilityFireability-2024-06
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 68 (type FNDP) for 6 MAPK-PT-05120-ReachabilityFireability-2024-02
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 90 (type EQUN) for MAPK-PT-05120-ReachabilityFireability-2024-14
[[35mlola[0m][I] result : true
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 10/3593 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 6 attempts, .
[[35mlola[0m][.] 68 EF FNDP 4/3593 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 3 attempts, .
[[35mlola[0m][.] 71 EF STEQ 4/1796 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 10/1800 17/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 4989798 m, 503252 m/sec, 8281325 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 10 secs. Pages in use: 17
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 15/3590 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 9 attempts, .
[[35mlola[0m][.] 68 EF FNDP 9/3590 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 6 attempts, .
[[35mlola[0m][.] 71 EF STEQ 9/1793 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 15/1800 28/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 7950998 m, 592240 m/sec, 13127311 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 15 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[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 20/3585 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 11 attempts, .
[[35mlola[0m][.] 68 EF FNDP 14/3585 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 8 attempts, .
[[35mlola[0m][.] 71 EF STEQ 14/1788 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 20/1800 39/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 11229528 m, 655706 m/sec, 18491534 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 20 secs. Pages in use: 39
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 25/3580 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 13 attempts, .
[[35mlola[0m][.] 68 EF FNDP 19/3580 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 11 attempts, .
[[35mlola[0m][.] 71 EF STEQ 19/1783 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 25/1800 51/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 14900133 m, 734121 m/sec, 24496787 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 25 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[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 30/3575 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 15 attempts, .
[[35mlola[0m][.] 68 EF FNDP 24/3575 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 13 attempts, .
[[35mlola[0m][.] 71 EF STEQ 24/1778 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 30/1800 62/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 18205137 m, 661000 m/sec, 29906285 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 30 secs. Pages in use: 62
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 35/3570 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 17 attempts, .
[[35mlola[0m][.] 68 EF FNDP 29/3570 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 16 attempts, .
[[35mlola[0m][.] 71 EF STEQ 29/1773 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 35/1800 74/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 21726946 m, 704361 m/sec, 35669140 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 35 secs. Pages in use: 74
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 40/3565 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 19 attempts, .
[[35mlola[0m][.] 68 EF FNDP 34/3565 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 18 attempts, .
[[35mlola[0m][.] 71 EF STEQ 34/1768 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 40/1800 86/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 25117915 m, 678193 m/sec, 41216986 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 40 secs. Pages in use: 86
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 45/3560 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 21 attempts, .
[[35mlola[0m][.] 68 EF FNDP 39/3560 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 21 attempts, .
[[35mlola[0m][.] 71 EF STEQ 39/1763 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 45/1800 98/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 28818769 m, 740170 m/sec, 47272399 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 45 secs. Pages in use: 98
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 50/3555 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 24 attempts, .
[[35mlola[0m][.] 68 EF FNDP 44/3555 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 22 attempts, .
[[35mlola[0m][.] 71 EF STEQ 44/1758 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 50/1800 110/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 32295037 m, 695253 m/sec, 52961743 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 50 secs. Pages in use: 110
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 55/3550 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 26 attempts, .
[[35mlola[0m][.] 68 EF FNDP 49/3550 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 24 attempts, .
[[35mlola[0m][.] 71 EF STEQ 49/1753 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 55/1800 122/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 35766016 m, 694195 m/sec, 58640468 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 55 secs. Pages in use: 122
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 60/3545 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 28 attempts, .
[[35mlola[0m][.] 68 EF FNDP 54/3545 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 27 attempts, .
[[35mlola[0m][.] 71 EF STEQ 54/1748 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 60/1800 134/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 39315910 m, 709978 m/sec, 64449087 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 60 secs. Pages in use: 134
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 65/3540 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 30 attempts, .
[[35mlola[0m][.] 68 EF FNDP 59/3540 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 29 attempts, .
[[35mlola[0m][.] 71 EF STEQ 59/1743 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 65/1800 145/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 42408795 m, 618577 m/sec, 69510761 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 65 secs. Pages in use: 145
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 70/3535 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 32 attempts, .
[[35mlola[0m][.] 68 EF FNDP 64/3535 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 32 attempts, .
[[35mlola[0m][.] 71 EF STEQ 64/1738 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 70/1800 153/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 44936896 m, 505620 m/sec, 73647420 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 70 secs. Pages in use: 153
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 75/3530 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 35 attempts, .
[[35mlola[0m][.] 68 EF FNDP 69/3530 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 34 attempts, .
[[35mlola[0m][.] 71 EF STEQ 69/1733 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 75/1800 160/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 46944843 m, 401589 m/sec, 76932990 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 75 secs. Pages in use: 160
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 80/3525 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 38 attempts, .
[[35mlola[0m][.] 68 EF FNDP 74/3525 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 36 attempts, .
[[35mlola[0m][.] 71 EF STEQ 74/1728 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 80/1800 165/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 48516429 m, 314317 m/sec, 79504957 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 80 secs. Pages in use: 165
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 85/3520 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 39 attempts, .
[[35mlola[0m][.] 68 EF FNDP 79/3520 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 39 attempts, .
[[35mlola[0m][.] 71 EF STEQ 79/1723 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 85/1800 173/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 50826772 m, 462068 m/sec, 83285456 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 85 secs. Pages in use: 173
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 90/3515 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 41 attempts, .
[[35mlola[0m][.] 68 EF FNDP 84/3515 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 42 attempts, .
[[35mlola[0m][.] 71 EF STEQ 84/1718 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 90/1800 183/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 53732524 m, 581150 m/sec, 88039833 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 90 secs. Pages in use: 183
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 95/3510 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 44 attempts, .
[[35mlola[0m][.] 68 EF FNDP 89/3510 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 43 attempts, .
[[35mlola[0m][.] 71 EF STEQ 89/1713 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 95/1800 194/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 56996334 m, 652762 m/sec, 93380816 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 95 secs. Pages in use: 194
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 100/3505 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 45 attempts, .
[[35mlola[0m][.] 68 EF FNDP 94/3505 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 46 attempts, .
[[35mlola[0m][.] 71 EF STEQ 94/1708 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 100/1800 200/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 58716263 m, 343985 m/sec, 96195031 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 100 secs. Pages in use: 200
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 105/3500 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 47 attempts, .
[[35mlola[0m][.] 68 EF FNDP 99/3500 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 48 attempts, .
[[35mlola[0m][.] 71 EF STEQ 99/1703 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 105/1800 212/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 62281829 m, 713113 m/sec, 102027801 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 105 secs. Pages in use: 212
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 110/3495 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 49 attempts, .
[[35mlola[0m][.] 68 EF FNDP 104/3495 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 50 attempts, .
[[35mlola[0m][.] 71 EF STEQ 104/1698 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 110/1800 225/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 66040396 m, 751713 m/sec, 108179502 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 110 secs. Pages in use: 225
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 115/3490 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 52 attempts, .
[[35mlola[0m][.] 68 EF FNDP 109/3490 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 52 attempts, .
[[35mlola[0m][.] 71 EF STEQ 109/1693 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 115/1800 236/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 69332181 m, 658357 m/sec, 113565635 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 115 secs. Pages in use: 236
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 120/3485 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 54 attempts, .
[[35mlola[0m][.] 68 EF FNDP 114/3485 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 54 attempts, .
[[35mlola[0m][.] 71 EF STEQ 114/1688 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 120/1800 248/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 72687095 m, 670982 m/sec, 119055671 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 120 secs. Pages in use: 248
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 125/3480 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 55 attempts, .
[[35mlola[0m][.] 68 EF FNDP 119/3480 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 56 attempts, .
[[35mlola[0m][.] 71 EF STEQ 119/1683 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 125/1800 260/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 76385020 m, 739585 m/sec, 125105534 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 125 secs. Pages in use: 260
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 130/3475 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 58 attempts, .
[[35mlola[0m][.] 68 EF FNDP 124/3475 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 58 attempts, .
[[35mlola[0m][.] 71 EF STEQ 124/1678 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 130/1800 272/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 79856429 m, 694281 m/sec, 130784906 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 130 secs. Pages in use: 272
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 135/3470 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 59 attempts, .
[[35mlola[0m][.] 68 EF FNDP 129/3470 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 60 attempts, .
[[35mlola[0m][.] 71 EF STEQ 129/1673 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 135/1800 284/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 83384723 m, 705658 m/sec, 136559222 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 135 secs. Pages in use: 284
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 140/3465 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 61 attempts, .
[[35mlola[0m][.] 68 EF FNDP 134/3465 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 62 attempts, .
[[35mlola[0m][.] 71 EF STEQ 134/1668 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 140/1800 295/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 86707334 m, 664522 m/sec, 141995799 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 140 secs. Pages in use: 295
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 145/3460 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 64 attempts, .
[[35mlola[0m][.] 68 EF FNDP 139/3460 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 64 attempts, .
[[35mlola[0m][.] 71 EF STEQ 139/1663 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 145/1800 307/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 90068000 m, 672133 m/sec, 147496001 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 145 secs. Pages in use: 307
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 150/3455 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 65 attempts, .
[[35mlola[0m][.] 68 EF FNDP 144/3455 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 67 attempts, .
[[35mlola[0m][.] 71 EF STEQ 144/1658 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 150/1800 319/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 93803736 m, 747147 m/sec, 153607301 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 150 secs. Pages in use: 319
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 155/3450 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 68 attempts, .
[[35mlola[0m][.] 68 EF FNDP 149/3450 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 69 attempts, .
[[35mlola[0m][.] 71 EF STEQ 149/1653 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 155/1800 331/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 97276770 m, 694606 m/sec, 159291585 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 155 secs. Pages in use: 331
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 160/3445 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 70 attempts, .
[[35mlola[0m][.] 68 EF FNDP 154/3445 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 71 attempts, .
[[35mlola[0m][.] 71 EF STEQ 154/1648 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 160/1800 343/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 100864148 m, 717475 m/sec, 165160752 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 160 secs. Pages in use: 343
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 165/3440 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 71 attempts, .
[[35mlola[0m][.] 68 EF FNDP 159/3440 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 73 attempts, .
[[35mlola[0m][.] 71 EF STEQ 159/1643 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 165/1800 355/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 104425014 m, 712173 m/sec, 170987178 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 165 secs. Pages in use: 355
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 170/3435 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 74 attempts, .
[[35mlola[0m][.] 68 EF FNDP 164/3435 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 75 attempts, .
[[35mlola[0m][.] 71 EF STEQ 164/1638 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 170/1800 367/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 107868726 m, 688742 m/sec, 176623295 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 170 secs. Pages in use: 367
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 175/3430 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 76 attempts, .
[[35mlola[0m][.] 68 EF FNDP 169/3430 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 77 attempts, .
[[35mlola[0m][.] 71 EF STEQ 169/1633 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 175/1800 379/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 111478590 m, 721972 m/sec, 182710575 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 175 secs. Pages in use: 379
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 180/3425 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 78 attempts, .
[[35mlola[0m][.] 68 EF FNDP 174/3425 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 79 attempts, .
[[35mlola[0m][.] 71 EF STEQ 174/1628 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 180/1800 391/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 115222752 m, 748832 m/sec, 189113844 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 180 secs. Pages in use: 391
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 185/3420 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 80 attempts, .
[[35mlola[0m][.] 68 EF FNDP 179/3420 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 81 attempts, .
[[35mlola[0m][.] 71 EF STEQ 179/1623 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 185/1800 403/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 118873101 m, 730069 m/sec, 195371131 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 185 secs. Pages in use: 403
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 190/3415 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 83 attempts, .
[[35mlola[0m][.] 68 EF FNDP 184/3415 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 83 attempts, .
[[35mlola[0m][.] 71 EF STEQ 184/1618 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 190/1800 414/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 122400882 m, 705556 m/sec, 201420505 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 190 secs. Pages in use: 414
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 83 (type EQUN) for MAPK-PT-05120-ReachabilityFireability-2024-15
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 195/3408 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 84 attempts, .
[[35mlola[0m][.] 68 EF FNDP 189/3408 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 84 attempts, .
[[35mlola[0m][.] 71 EF STEQ 189/1611 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 195/1800 427/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 126229049 m, 765633 m/sec, 207980454 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 195 secs. Pages in use: 427
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 200/3405 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 85 attempts, .
[[35mlola[0m][.] 68 EF FNDP 194/3405 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 85 attempts, .
[[35mlola[0m][.] 71 EF STEQ 194/1608 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 200/1800 440/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 130371311 m, 828452 m/sec, 215081816 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 200 secs. Pages in use: 440
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 205/3400 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 86 attempts, .
[[35mlola[0m][.] 68 EF FNDP 199/3400 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 86 attempts, .
[[35mlola[0m][.] 71 EF STEQ 199/1603 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 205/1800 454/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 134482865 m, 822310 m/sec, 222130893 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 205 secs. Pages in use: 454
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 210/3395 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 87 attempts, .
[[35mlola[0m][.] 68 EF FNDP 204/3395 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 87 attempts, .
[[35mlola[0m][.] 71 EF STEQ 204/1598 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 210/1800 466/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 138398501 m, 783127 m/sec, 228870818 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 210 secs. Pages in use: 466
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 215/3390 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 88 attempts, .
[[35mlola[0m][.] 68 EF FNDP 209/3390 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 88 attempts, .
[[35mlola[0m][.] 71 EF STEQ 209/1593 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 215/1800 477/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 141617150 m, 643729 m/sec, 234617205 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 215 secs. Pages in use: 477
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 220/3385 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 90 attempts, .
[[35mlola[0m][.] 68 EF FNDP 214/3385 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 89 attempts, .
[[35mlola[0m][.] 71 EF STEQ 214/1588 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 220/1800 487/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 144723739 m, 621317 m/sec, 240163733 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 220 secs. Pages in use: 487
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 225/3380 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 91 attempts, .
[[35mlola[0m][.] 68 EF FNDP 219/3380 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 90 attempts, .
[[35mlola[0m][.] 71 EF STEQ 219/1583 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 225/1800 497/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 147737403 m, 602732 m/sec, 245546129 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 225 secs. Pages in use: 497
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 230/3375 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 92 attempts, .
[[35mlola[0m][.] 68 EF FNDP 224/3375 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 91 attempts, .
[[35mlola[0m][.] 71 EF STEQ 224/1578 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 230/1800 506/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 150699886 m, 592496 m/sec, 250834437 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 230 secs. Pages in use: 506
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 235/3370 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 93 attempts, .
[[35mlola[0m][.] 68 EF FNDP 229/3370 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 92 attempts, .
[[35mlola[0m][.] 71 EF STEQ 229/1573 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 235/1800 516/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 153641775 m, 588377 m/sec, 256089007 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 235 secs. Pages in use: 516
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 240/3365 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 94 attempts, .
[[35mlola[0m][.] 68 EF FNDP 234/3365 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 93 attempts, .
[[35mlola[0m][.] 71 EF STEQ 234/1568 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 240/1800 525/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 156521721 m, 575989 m/sec, 261231849 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 240 secs. Pages in use: 525
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 245/3360 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 97 attempts, .
[[35mlola[0m][.] 68 EF FNDP 239/3360 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 94 attempts, .
[[35mlola[0m][.] 71 EF STEQ 239/1563 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 245/1800 535/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 159523788 m, 600413 m/sec, 266591632 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 245 secs. Pages in use: 535
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 250/3355 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 101 attempts, .
[[35mlola[0m][.] 68 EF FNDP 244/3355 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 94 attempts, .
[[35mlola[0m][.] 71 EF STEQ 244/1558 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 250/1800 546/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 162897005 m, 674643 m/sec, 272480327 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 250 secs. Pages in use: 546
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 255/3350 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 104 attempts, .
[[35mlola[0m][.] 68 EF FNDP 249/3350 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 95 attempts, .
[[35mlola[0m][.] 71 EF STEQ 249/1553 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 255/1800 554/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 165571242 m, 534847 m/sec, 277064782 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 255 secs. Pages in use: 554
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 260/3345 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 107 attempts, .
[[35mlola[0m][.] 68 EF FNDP 254/3345 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 95 attempts, .
[[35mlola[0m][.] 71 EF STEQ 254/1548 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 260/1800 560/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 167364600 m, 358671 m/sec, 280139210 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 260 secs. Pages in use: 560
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 265/3340 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 111 attempts, .
[[35mlola[0m][.] 68 EF FNDP 259/3340 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 95 attempts, .
[[35mlola[0m][.] 71 EF STEQ 259/1543 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 265/1800 566/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 169178572 m, 362794 m/sec, 283248884 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 265 secs. Pages in use: 566
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 270/3335 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 114 attempts, .
[[35mlola[0m][.] 68 EF FNDP 264/3335 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 96 attempts, .
[[35mlola[0m][.] 71 EF STEQ 264/1538 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 270/1800 572/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 170992201 m, 362725 m/sec, 286357602 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 270 secs. Pages in use: 572
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 275/3330 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 117 attempts, .
[[35mlola[0m][.] 68 EF FNDP 269/3330 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 97 attempts, .
[[35mlola[0m][.] 71 EF STEQ 269/1533 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 275/1800 580/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 173412261 m, 484012 m/sec, 290552961 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 275 secs. Pages in use: 580
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 304/3325 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 119 attempts, .
[[35mlola[0m][.] 68 EF FNDP 306/3325 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 100 attempts, .
[[35mlola[0m][.] 71 EF STEQ 312/1528 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 326/1800 583/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 174311716 m, 179891 m/sec, 292157381 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 334 secs. Pages in use: 583
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-01: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-03: EF false state equation[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-04: EF true state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-05: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-07: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-08: AG false findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-09: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-10: EF true findpath[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-11: AG false state space[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-12: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-13: AG false state space[0m
[[35mlola[0m][.] [1m[31mMAPK-PT-05120-ReachabilityFireability-2024-14: AG false findpath[0m
[[35mlola[0m][.] [1m[32mMAPK-PT-05120-ReachabilityFireability-2024-15: EF true findpath[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] MAPK-PT-05120-ReachabilityFireability-2024-06: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 65 EF FNDP 383/3266 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 119 attempts, .
[[35mlola[0m][.] 68 EF FNDP 379/3266 0/5 MAPK-PT-05120-ReachabilityFireability-2024-02 100 attempts, .
[[35mlola[0m][.] 71 EF STEQ 381/1469 0/5 MAPK-PT-05120-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 77 EF EXCL 388/1800 583/2000 MAPK-PT-05120-ReachabilityFireability-2024-02 174319852 m, 1627 m/sec, 292174172 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 391 secs. Pages in use: 583
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
/home/mcc/BenchKit/BenchKit_head.sh: line 23: 408 Killed $BK_TOOL --conf=/home/mcc/BenchKit/bin/myconf --formula=$BK_EXAMINATION.xml $LOLA_TIMELIMIT $LOLA_MEMLIMIT model.pnml

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MAPK-PT-05120"
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 MAPK-PT-05120, 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 r225-tall-171649614200487"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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