About the Execution of LoLA for DNAwalker-PT-09ringLR
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 993.523 | 321118.00 | 1213312.00 | 361.60 | FFFFFTFFTFTFFFTT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r115-smll-171624277100439.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 DNAwalker-PT-09ringLR, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r115-smll-171624277100439
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 644K
-rw-r--r-- 1 mcc users 6.6K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K 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.0K May 18 16:42 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 22 14:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 22 14:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 22 14:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 22 14:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Apr 13 14:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 134K Apr 13 14:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 15K Apr 13 14:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 137K Apr 13 14:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 22 14:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 22 14:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 9 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 112K 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 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityFireability-2024-01
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityFireability-2024-03
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityFireability-2024-04
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityFireability-2024-05
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityFireability-2024-07
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityFireability-2024-08
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityFireability-2024-10
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityFireability-2024-11
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityFireability-2024-12
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityFireability-2024-13
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14
FORMULA_NAME DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15
=== Now, execution of the tool begins
BK_START 1717173847900
FORMULA DNAwalker-PT-09ringLR-ReachabilityFireability-2024-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-09ringLR-ReachabilityFireability-2024-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-09ringLR-ReachabilityFireability-2024-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-09ringLR-ReachabilityFireability-2024-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-09ringLR-ReachabilityFireability-2024-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-09ringLR-ReachabilityFireability-2024-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-09ringLR-ReachabilityFireability-2024-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-09ringLR-ReachabilityFireability-2024-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-09ringLR-ReachabilityFireability-2024-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-09ringLR-ReachabilityFireability-2024-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
[[35mlola[0m] [1mFINAL RESULTS[0m
[[35mlola[0m] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF false state equation[0m
[[35mlola[0m] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF false state equation[0m
[[35mlola[0m] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF false state equation[0m
[[35mlola[0m] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG true state space[0m
[[35mlola[0m] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG true state space[0m
[[35mlola[0m]
[[35mlola[0m] Time elapsed: 320 secs. Pages in use: 33
BK_STOP 1717174169018
--------------------
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 # 25 (type CNST) for 24 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-08
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] FINISHED task # 25 (type CNST) for DNAwalker-PT-09ringLR-ReachabilityFireability-2024-08
[[35mlola[0m][I] result : true
[[35mlola[0m][I] LAUNCH task # 4 (type CNST) for 3 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-01
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] FINISHED task # 4 (type CNST) for DNAwalker-PT-09ringLR-ReachabilityFireability-2024-01
[[35mlola[0m][I] result : false
[[35mlola[0m][I] LAUNCH task # 13 (type CNST) for 12 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-04
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] FINISHED task # 13 (type CNST) for DNAwalker-PT-09ringLR-ReachabilityFireability-2024-04
[[35mlola[0m][I] result : false
[[35mlola[0m][I] LAUNCH task # 22 (type CNST) for 21 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-07
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] LAUNCH task # 34 (type CNST) for 33 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-11
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] LAUNCH task # 40 (type CNST) for 39 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-13
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] FINISHED task # 34 (type CNST) for DNAwalker-PT-09ringLR-ReachabilityFireability-2024-11
[[35mlola[0m][I] result : false
[[35mlola[0m][I] LAUNCH task # 10 (type CNST) for 9 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-03
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] FINISHED task # 40 (type CNST) for DNAwalker-PT-09ringLR-ReachabilityFireability-2024-13
[[35mlola[0m][I] result : false
[[35mlola[0m][I] FINISHED task # 22 (type CNST) for DNAwalker-PT-09ringLR-ReachabilityFireability-2024-07
[[35mlola[0m][I] result : false
[[35mlola[0m][I] FINISHED task # 10 (type CNST) for DNAwalker-PT-09ringLR-ReachabilityFireability-2024-03
[[35mlola[0m][I] result : false
[[35mlola[0m][I] LAUNCH task # 50 (type EXCL) for 36 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-12
[[35mlola[0m][I] time limit : 399 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 48 (type FNDP) for 36 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-12
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 49 (type EQUN) for 36 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-12
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 51 (type FNDP) for 27 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 49 (type EQUN) for DNAwalker-PT-09ringLR-ReachabilityFireability-2024-12
[[35mlola[0m][I] result : false
[[35mlola[0m][W] CANCELED task # 48 (type FNDP) for DNAwalker-PT-09ringLR-ReachabilityFireability-2024-12 (obsolete)
[[35mlola[0m][W] CANCELED task # 50 (type EXCL) for DNAwalker-PT-09ringLR-ReachabilityFireability-2024-12 (obsolete)
[[35mlola[0m][I] LAUNCH task # 63 (type EXCL) for 30 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-10
[[35mlola[0m][I] time limit : 449 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 72 (type FNDP) for 15 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-05
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 73 (type EQUN) for 15 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-05
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 48 (type FNDP) for DNAwalker-PT-09ringLR-ReachabilityFireability-2024-12
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 1099
[[35mlola[0m][I] time used : 1
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 73 (type EQUN) for DNAwalker-PT-09ringLR-ReachabilityFireability-2024-05
[[35mlola[0m][I] result : false
[[35mlola[0m][W] CANCELED task # 72 (type FNDP) for DNAwalker-PT-09ringLR-ReachabilityFireability-2024-05 (obsolete)
[[35mlola[0m][I] LAUNCH task # 57 (type FNDP) for 0 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 58 (type EQUN) for 0 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 72 (type FNDP) for DNAwalker-PT-09ringLR-ReachabilityFireability-2024-05
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 66790
[[35mlola[0m][I] time used : 4
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 51 EF FNDP 5/894 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 69569 attempts, .
[[35mlola[0m][.] 57 EF FNDP 0/718 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 5143 attempts, .
[[35mlola[0m][.] 58 EF STEQ 0/718 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 63 EF EXCL 4/513 2/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-10 580306 m, 116061 m/sec, 1553180 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 7 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 51 EF FNDP 10/894 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 136383 attempts, .
[[35mlola[0m][.] 57 EF FNDP 5/718 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 67513 attempts, .
[[35mlola[0m][.] 58 EF STEQ 5/718 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 63 EF EXCL 9/513 5/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-10 1228315 m, 129601 m/sec, 3480038 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 12 secs. Pages in use: 5
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 51 EF FNDP 15/889 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 201238 attempts, .
[[35mlola[0m][.] 57 EF FNDP 10/713 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 126088 attempts, .
[[35mlola[0m][.] 58 EF STEQ 10/713 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 63 EF EXCL 14/513 7/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-10 1861296 m, 126596 m/sec, 5409978 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 17 secs. Pages in use: 7
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 51 EF FNDP 20/884 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 266731 attempts, .
[[35mlola[0m][.] 57 EF FNDP 15/708 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 183743 attempts, .
[[35mlola[0m][.] 58 EF STEQ 15/708 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 63 EF EXCL 19/513 9/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-10 2449250 m, 117590 m/sec, 7408158 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 22 secs. Pages in use: 9
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 63 (type EXCL) for DNAwalker-PT-09ringLR-ReachabilityFireability-2024-10
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 2730339
[[35mlola[0m][I] fired transitions : 8366351
[[35mlola[0m][I] time used : 22
[[35mlola[0m][I] memory pages used : 9
[[35mlola[0m][I] LAUNCH task # 53 (type EXCL) for 27 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09
[[35mlola[0m][I] time limit : 595 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 51 EF FNDP 25/876 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 330733 attempts, .
[[35mlola[0m][.] 53 EF EXCL 2/595 2/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 310261 m, 62052 m/sec, 912614 t fired, .
[[35mlola[0m][.] 57 EF FNDP 20/880 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 240125 attempts, .
[[35mlola[0m][.] 58 EF STEQ 20/880 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 27 secs. Pages in use: 9
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 51 EF FNDP 30/874 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 393131 attempts, .
[[35mlola[0m][.] 53 EF EXCL 7/595 4/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 947510 m, 127449 m/sec, 2791932 t fired, .
[[35mlola[0m][.] 57 EF FNDP 25/878 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 299376 attempts, .
[[35mlola[0m][.] 58 EF STEQ 25/878 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 32 secs. Pages in use: 9
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 51 EF FNDP 35/869 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 455028 attempts, .
[[35mlola[0m][.] 53 EF EXCL 12/595 6/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 1539580 m, 118414 m/sec, 4752072 t fired, .
[[35mlola[0m][.] 57 EF FNDP 30/873 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 358703 attempts, .
[[35mlola[0m][.] 58 EF STEQ 30/873 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 37 secs. Pages in use: 9
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 51 EF FNDP 40/864 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 516771 attempts, .
[[35mlola[0m][.] 53 EF EXCL 17/595 7/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 2130867 m, 118257 m/sec, 6782798 t fired, .
[[35mlola[0m][.] 57 EF FNDP 35/868 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 417941 attempts, .
[[35mlola[0m][.] 58 EF STEQ 35/868 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 42 secs. Pages in use: 9
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 51 EF FNDP 45/859 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 578211 attempts, .
[[35mlola[0m][.] 53 EF EXCL 22/595 10/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 2768826 m, 127591 m/sec, 8569390 t fired, .
[[35mlola[0m][.] 57 EF FNDP 40/863 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 476652 attempts, .
[[35mlola[0m][.] 58 EF STEQ 40/863 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 47 secs. Pages in use: 10
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 51 EF FNDP 50/854 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 638184 attempts, .
[[35mlola[0m][.] 53 EF EXCL 27/595 12/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 3374526 m, 121140 m/sec, 10431911 t fired, .
[[35mlola[0m][.] 57 EF FNDP 45/858 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 533779 attempts, .
[[35mlola[0m][.] 58 EF STEQ 45/858 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 52 secs. Pages in use: 12
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 51 EF FNDP 55/849 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 699136 attempts, .
[[35mlola[0m][.] 53 EF EXCL 32/595 14/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 3993759 m, 123846 m/sec, 12361648 t fired, .
[[35mlola[0m][.] 57 EF FNDP 50/853 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 591987 attempts, .
[[35mlola[0m][.] 58 EF STEQ 50/853 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 57 secs. Pages in use: 14
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 51 EF FNDP 60/844 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 753914 attempts, .
[[35mlola[0m][.] 53 EF EXCL 37/595 15/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 4539138 m, 109075 m/sec, 14207182 t fired, .
[[35mlola[0m][.] 57 EF FNDP 55/848 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 647090 attempts, .
[[35mlola[0m][.] 58 EF STEQ 55/848 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 62 secs. Pages in use: 15
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 51 EF FNDP 65/839 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 814276 attempts, .
[[35mlola[0m][.] 53 EF EXCL 42/595 17/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 5079515 m, 108075 m/sec, 16130248 t fired, .
[[35mlola[0m][.] 57 EF FNDP 60/843 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 705326 attempts, .
[[35mlola[0m][.] 58 EF STEQ 60/843 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 67 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[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 51 EF FNDP 70/834 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 874464 attempts, .
[[35mlola[0m][.] 53 EF EXCL 47/595 19/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 5608963 m, 105889 m/sec, 18149885 t fired, .
[[35mlola[0m][.] 57 EF FNDP 65/838 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 763305 attempts, .
[[35mlola[0m][.] 58 EF STEQ 65/838 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 72 secs. Pages in use: 19
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 51 EF FNDP 75/829 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 931724 attempts, .
[[35mlola[0m][.] 53 EF EXCL 52/595 21/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 6130837 m, 104374 m/sec, 20107733 t fired, .
[[35mlola[0m][.] 57 EF FNDP 70/833 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 818359 attempts, .
[[35mlola[0m][.] 58 EF STEQ 70/833 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 77 secs. Pages in use: 21
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 51 EF FNDP 80/824 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 990905 attempts, .
[[35mlola[0m][.] 53 EF EXCL 57/595 22/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 6609624 m, 95757 m/sec, 22144305 t fired, .
[[35mlola[0m][.] 57 EF FNDP 75/828 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 875695 attempts, .
[[35mlola[0m][.] 58 EF STEQ 75/828 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 82 secs. Pages in use: 22
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 51 EF FNDP 85/819 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 1050691 attempts, .
[[35mlola[0m][.] 53 EF EXCL 62/595 24/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 7087308 m, 95536 m/sec, 24211916 t fired, .
[[35mlola[0m][.] 57 EF FNDP 80/823 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 933243 attempts, .
[[35mlola[0m][.] 58 EF STEQ 80/823 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 87 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 51 EF FNDP 90/814 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 1109503 attempts, .
[[35mlola[0m][.] 53 EF EXCL 67/595 25/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 7508516 m, 84241 m/sec, 26210698 t fired, .
[[35mlola[0m][.] 57 EF FNDP 85/818 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 992659 attempts, .
[[35mlola[0m][.] 58 EF STEQ 85/818 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 92 secs. Pages in use: 25
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 51 EF FNDP 95/809 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 1168986 attempts, .
[[35mlola[0m][.] 53 EF EXCL 72/595 27/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 8090020 m, 116300 m/sec, 28268659 t fired, .
[[35mlola[0m][.] 57 EF FNDP 90/813 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 1052460 attempts, .
[[35mlola[0m][.] 58 EF STEQ 90/813 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 97 secs. Pages in use: 27
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 51 EF FNDP 100/804 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 1228308 attempts, .
[[35mlola[0m][.] 53 EF EXCL 77/595 29/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 8705123 m, 123020 m/sec, 30298864 t fired, .
[[35mlola[0m][.] 57 EF FNDP 95/808 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 1112116 attempts, .
[[35mlola[0m][.] 58 EF STEQ 95/808 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 102 secs. Pages in use: 29
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 51 EF FNDP 105/799 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 1287770 attempts, .
[[35mlola[0m][.] 53 EF EXCL 82/595 31/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 9264120 m, 111799 m/sec, 32406318 t fired, .
[[35mlola[0m][.] 57 EF FNDP 100/803 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 1171931 attempts, .
[[35mlola[0m][.] 58 EF STEQ 100/803 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 107 secs. Pages in use: 31
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 51 EF FNDP 110/794 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 1346948 attempts, .
[[35mlola[0m][.] 53 EF EXCL 87/595 32/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 9781439 m, 103463 m/sec, 34539687 t fired, .
[[35mlola[0m][.] 57 EF FNDP 105/798 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 1231784 attempts, .
[[35mlola[0m][.] 58 EF STEQ 105/798 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 112 secs. Pages in use: 32
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 53 (type EXCL) for DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 9878589
[[35mlola[0m][I] fired transitions : 35041241
[[35mlola[0m][I] time used : 89
[[35mlola[0m][I] memory pages used : 33
[[35mlola[0m][W] CANCELED task # 51 (type FNDP) for DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09 (obsolete)
[[35mlola[0m][I] LAUNCH task # 78 (type EXCL) for 45 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15
[[35mlola[0m][I] time limit : 697 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 68 (type FNDP) for 18 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 51 (type FNDP) for DNAwalker-PT-09ringLR-ReachabilityFireability-2024-09
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 1360635
[[35mlola[0m][I] time used : 112
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 EF FNDP 110/1090 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 1290100 attempts, .
[[35mlola[0m][.] 58 EF STEQ 110/1090 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 68 EF FNDP 3/871 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 53048 attempts, .
[[35mlola[0m][.] 78 EF EXCL 3/697 2/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15 448230 m, 89646 m/sec, 1449134 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 117 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 EF FNDP 115/1087 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 1350262 attempts, .
[[35mlola[0m][.] 58 EF STEQ 115/1087 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 68 EF FNDP 8/868 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 123295 attempts, .
[[35mlola[0m][.] 78 EF EXCL 8/697 4/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15 1069315 m, 124217 m/sec, 3317536 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 122 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 EF FNDP 120/1082 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 1410469 attempts, .
[[35mlola[0m][.] 58 EF STEQ 120/1082 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 68 EF FNDP 13/863 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 192267 attempts, .
[[35mlola[0m][.] 78 EF EXCL 13/697 6/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15 1706115 m, 127360 m/sec, 5213760 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 127 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 EF FNDP 125/1077 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 1470426 attempts, .
[[35mlola[0m][.] 58 EF STEQ 125/1077 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 68 EF FNDP 18/858 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 260559 attempts, .
[[35mlola[0m][.] 78 EF EXCL 18/697 8/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15 2361482 m, 131073 m/sec, 7218075 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 132 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 EF FNDP 130/1072 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 1530104 attempts, .
[[35mlola[0m][.] 58 EF STEQ 130/1072 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 68 EF FNDP 23/853 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 328398 attempts, .
[[35mlola[0m][.] 78 EF EXCL 23/697 10/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15 2925276 m, 112758 m/sec, 9386249 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 137 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 EF FNDP 135/1067 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 1589126 attempts, .
[[35mlola[0m][.] 58 EF STEQ 135/1067 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 68 EF FNDP 28/848 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 395762 attempts, .
[[35mlola[0m][.] 78 EF EXCL 28/697 12/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15 3541112 m, 123167 m/sec, 11431454 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 142 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 EF FNDP 140/1062 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 1648699 attempts, .
[[35mlola[0m][.] 58 EF STEQ 140/1062 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 68 EF FNDP 33/843 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 462849 attempts, .
[[35mlola[0m][.] 78 EF EXCL 33/697 14/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15 4150164 m, 121810 m/sec, 13491192 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 147 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 EF FNDP 145/1057 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 1704267 attempts, .
[[35mlola[0m][.] 58 EF STEQ 145/1057 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 68 EF FNDP 38/838 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 527553 attempts, .
[[35mlola[0m][.] 78 EF EXCL 38/697 16/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15 4714618 m, 112890 m/sec, 15368542 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 152 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 EF FNDP 150/1052 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 1764061 attempts, .
[[35mlola[0m][.] 58 EF STEQ 150/1052 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 68 EF FNDP 43/833 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 594580 attempts, .
[[35mlola[0m][.] 78 EF EXCL 43/697 18/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15 5255669 m, 108210 m/sec, 17494631 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 157 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 EF FNDP 155/1047 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 1819795 attempts, .
[[35mlola[0m][.] 58 EF STEQ 155/1047 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 68 EF FNDP 48/828 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 661421 attempts, .
[[35mlola[0m][.] 78 EF EXCL 48/697 20/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15 5924082 m, 133682 m/sec, 19402079 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 162 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 57 EF FNDP 160/1042 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 1879339 attempts, .
[[35mlola[0m][.] 58 EF STEQ 160/1042 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 68 EF FNDP 53/823 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 727864 attempts, .
[[35mlola[0m][.] 78 EF EXCL 53/697 22/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15 6494738 m, 114131 m/sec, 21460913 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 167 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 58 (type EQUN) for DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00
[[35mlola[0m][I] result : false
[[35mlola[0m][W] CANCELED task # 57 (type FNDP) for DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00 (obsolete)
[[35mlola[0m][I] LAUNCH task # 54 (type FNDP) for 6 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 55 (type EQUN) for 6 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 57 (type FNDP) for DNAwalker-PT-09ringLR-ReachabilityFireability-2024-00
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 1928654
[[35mlola[0m][I] time used : 165
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 54 EF FNDP 0/1142 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02 10075 attempts, .
[[35mlola[0m][.] 55 EF STEQ 0/1142 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02 sara not yet started (preprocessing).
[[35mlola[0m][.] 68 EF FNDP 58/1685 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 792906 attempts, .
[[35mlola[0m][.] 78 EF EXCL 58/871 24/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15 7109134 m, 122879 m/sec, 23644635 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 172 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 78 (type EXCL) for DNAwalker-PT-09ringLR-ReachabilityFireability-2024-15
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 7216063
[[35mlola[0m][I] fired transitions : 23909672
[[35mlola[0m][I] time used : 59
[[35mlola[0m][I] memory pages used : 24
[[35mlola[0m][I] LAUNCH task # 67 (type EXCL) for 42 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14
[[35mlola[0m][I] time limit : 1142 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 55 (type EQUN) for DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02
[[35mlola[0m][I] result : false
[[35mlola[0m][W] CANCELED task # 54 (type FNDP) for DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02 (obsolete)
[[35mlola[0m][I] LAUNCH task # 69 (type EQUN) for 18 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 65 (type FNDP) for 42 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 54 (type FNDP) for DNAwalker-PT-09ringLR-ReachabilityFireability-2024-02
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 55263
[[35mlola[0m][I] time used : 4
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: 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 1/1712 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14 14709 attempts, .
[[35mlola[0m][.] 67 EF EXCL 4/1713 2/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14 529631 m, 105926 m/sec, 1586474 t fired, .
[[35mlola[0m][.] 68 EF FNDP 63/3424 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 855844 attempts, .
[[35mlola[0m][.] 69 EF STEQ 1/3424 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 177 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: 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 6/1711 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14 87767 attempts, .
[[35mlola[0m][.] 67 EF EXCL 9/1713 4/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14 1079317 m, 109937 m/sec, 3538107 t fired, .
[[35mlola[0m][.] 68 EF FNDP 68/3423 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 917064 attempts, .
[[35mlola[0m][.] 69 EF STEQ 6/3423 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 182 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: 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 11/1706 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14 157859 attempts, .
[[35mlola[0m][.] 67 EF EXCL 14/1713 6/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14 1712273 m, 126591 m/sec, 5317860 t fired, .
[[35mlola[0m][.] 68 EF FNDP 73/3418 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 979566 attempts, .
[[35mlola[0m][.] 69 EF STEQ 11/3418 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 187 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: 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 16/1701 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14 226717 attempts, .
[[35mlola[0m][.] 67 EF EXCL 19/1713 8/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14 2308359 m, 119217 m/sec, 7367182 t fired, .
[[35mlola[0m][.] 68 EF FNDP 78/3413 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 1041933 attempts, .
[[35mlola[0m][.] 69 EF STEQ 16/3413 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 192 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: 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 21/1696 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14 294470 attempts, .
[[35mlola[0m][.] 67 EF EXCL 24/1713 10/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14 2878906 m, 114109 m/sec, 9278943 t fired, .
[[35mlola[0m][.] 68 EF FNDP 83/3408 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 1102760 attempts, .
[[35mlola[0m][.] 69 EF STEQ 21/3408 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 197 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: 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 26/1691 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14 352257 attempts, .
[[35mlola[0m][.] 67 EF EXCL 29/1713 12/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14 3341729 m, 92564 m/sec, 10804576 t fired, .
[[35mlola[0m][.] 68 EF FNDP 88/3403 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 1161961 attempts, .
[[35mlola[0m][.] 69 EF STEQ 26/3403 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 202 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: 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 31/1686 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14 422586 attempts, .
[[35mlola[0m][.] 67 EF EXCL 34/1713 13/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14 3841760 m, 100006 m/sec, 12521083 t fired, .
[[35mlola[0m][.] 68 EF FNDP 93/3398 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 1231348 attempts, .
[[35mlola[0m][.] 69 EF STEQ 31/3398 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 207 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: 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 36/1681 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14 493048 attempts, .
[[35mlola[0m][.] 67 EF EXCL 39/1713 15/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14 4354839 m, 102615 m/sec, 14232714 t fired, .
[[35mlola[0m][.] 68 EF FNDP 98/3393 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 1300512 attempts, .
[[35mlola[0m][.] 69 EF STEQ 36/3393 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 212 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: 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 41/1676 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14 563260 attempts, .
[[35mlola[0m][.] 67 EF EXCL 44/1713 17/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14 4840374 m, 97107 m/sec, 16000192 t fired, .
[[35mlola[0m][.] 68 EF FNDP 103/3388 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 1369544 attempts, .
[[35mlola[0m][.] 69 EF STEQ 41/3388 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 217 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: 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 46/1671 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14 633239 attempts, .
[[35mlola[0m][.] 67 EF EXCL 49/1713 18/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14 5321946 m, 96314 m/sec, 17762642 t fired, .
[[35mlola[0m][.] 68 EF FNDP 108/3383 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 1438322 attempts, .
[[35mlola[0m][.] 69 EF STEQ 46/3383 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 222 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: 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 51/1666 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14 702754 attempts, .
[[35mlola[0m][.] 67 EF EXCL 54/1713 20/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14 5813072 m, 98225 m/sec, 19548412 t fired, .
[[35mlola[0m][.] 68 EF FNDP 113/3378 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 1507395 attempts, .
[[35mlola[0m][.] 69 EF STEQ 51/3378 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 227 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: 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 56/1661 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14 771153 attempts, .
[[35mlola[0m][.] 67 EF EXCL 59/1713 21/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14 6285931 m, 94571 m/sec, 21449113 t fired, .
[[35mlola[0m][.] 68 EF FNDP 118/3373 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 1575585 attempts, .
[[35mlola[0m][.] 69 EF STEQ 56/3373 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 232 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: 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 61/1656 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14 837429 attempts, .
[[35mlola[0m][.] 67 EF EXCL 64/1713 23/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14 6815919 m, 105997 m/sec, 23482985 t fired, .
[[35mlola[0m][.] 68 EF FNDP 123/3368 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 1637731 attempts, .
[[35mlola[0m][.] 69 EF STEQ 61/3368 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 237 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: 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 66/1651 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14 903659 attempts, .
[[35mlola[0m][.] 67 EF EXCL 69/1713 25/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14 7373984 m, 111613 m/sec, 25475269 t fired, .
[[35mlola[0m][.] 68 EF FNDP 128/3363 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 1699689 attempts, .
[[35mlola[0m][.] 69 EF STEQ 66/3363 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 242 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: 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 71/1646 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14 969624 attempts, .
[[35mlola[0m][.] 67 EF EXCL 74/1713 27/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14 7923428 m, 109888 m/sec, 27479659 t fired, .
[[35mlola[0m][.] 68 EF FNDP 133/3358 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 1761593 attempts, .
[[35mlola[0m][.] 69 EF STEQ 71/3358 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 247 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: 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 76/1641 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14 1035727 attempts, .
[[35mlola[0m][.] 67 EF EXCL 79/1713 29/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14 8475628 m, 110440 m/sec, 29491920 t fired, .
[[35mlola[0m][.] 68 EF FNDP 138/3353 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 1823467 attempts, .
[[35mlola[0m][.] 69 EF STEQ 76/3353 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 252 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: 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 81/1636 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14 1101582 attempts, .
[[35mlola[0m][.] 67 EF EXCL 84/1713 30/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14 9008053 m, 106485 m/sec, 31546903 t fired, .
[[35mlola[0m][.] 68 EF FNDP 143/3348 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 1885053 attempts, .
[[35mlola[0m][.] 69 EF STEQ 81/3348 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 257 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 67 (type EXCL) for DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 9288526
[[35mlola[0m][I] fired transitions : 32682957
[[35mlola[0m][I] time used : 87
[[35mlola[0m][I] memory pages used : 31
[[35mlola[0m][W] CANCELED task # 65 (type FNDP) for DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14 (obsolete)
[[35mlola[0m][I] LAUNCH task # 70 (type EXCL) for 18 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06
[[35mlola[0m][I] time limit : 3340 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 65 (type FNDP) for DNAwalker-PT-09ringLR-ReachabilityFireability-2024-14
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 1136669
[[35mlola[0m][I] time used : 84
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG true state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 68 EF FNDP 148/3486 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 1950519 attempts, .
[[35mlola[0m][.] 69 EF STEQ 86/3424 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 70 EF EXCL 2/3340 2/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 317260 m, 63452 m/sec, 927121 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 262 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG true state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 68 EF FNDP 153/3486 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 2021007 attempts, .
[[35mlola[0m][.] 69 EF STEQ 91/3424 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 70 EF EXCL 7/3340 4/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 933484 m, 123244 m/sec, 2934089 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 267 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG true state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 68 EF FNDP 158/3486 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 2091619 attempts, .
[[35mlola[0m][.] 69 EF STEQ 96/3424 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 70 EF EXCL 12/3340 6/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 1558427 m, 124988 m/sec, 4893050 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 272 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG true state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 68 EF FNDP 163/3486 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 2161206 attempts, .
[[35mlola[0m][.] 69 EF STEQ 101/3424 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 70 EF EXCL 17/3340 8/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 2269482 m, 142211 m/sec, 6881288 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 277 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG true state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 68 EF FNDP 168/3486 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 2230794 attempts, .
[[35mlola[0m][.] 69 EF STEQ 106/3424 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 70 EF EXCL 22/3340 10/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 2929233 m, 131950 m/sec, 9109615 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 282 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG true state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 68 EF FNDP 173/3486 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 2298481 attempts, .
[[35mlola[0m][.] 69 EF STEQ 111/3424 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 70 EF EXCL 27/3340 12/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 3554062 m, 124965 m/sec, 11264380 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 287 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG true state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 68 EF FNDP 178/3486 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 2365271 attempts, .
[[35mlola[0m][.] 69 EF STEQ 116/3424 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 70 EF EXCL 32/3340 15/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 4272752 m, 143738 m/sec, 13388274 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 292 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG true state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 68 EF FNDP 183/3486 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 2434416 attempts, .
[[35mlola[0m][.] 69 EF STEQ 121/3424 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 70 EF EXCL 37/3340 17/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 5011913 m, 147832 m/sec, 15542465 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 297 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG true state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 68 EF FNDP 188/3486 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 2504575 attempts, .
[[35mlola[0m][.] 69 EF STEQ 126/3424 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 70 EF EXCL 42/3340 20/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 5740700 m, 145757 m/sec, 17654117 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 302 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG true state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 68 EF FNDP 193/3486 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 2574631 attempts, .
[[35mlola[0m][.] 69 EF STEQ 131/3424 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 70 EF EXCL 47/3340 22/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 6336003 m, 119060 m/sec, 19857163 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 307 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG true state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 68 EF FNDP 198/3486 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 2644826 attempts, .
[[35mlola[0m][.] 69 EF STEQ 136/3424 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 70 EF EXCL 52/3340 23/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 6924518 m, 117703 m/sec, 21971973 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 312 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-00: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-02: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-05: AG true state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-07: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-08: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-09: EF false state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-10: AG true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-11: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-12: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-13: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-14: AG true state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-09ringLR-ReachabilityFireability-2024-15: AG true state space[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06: EF 0 0 3 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 68 EF FNDP 203/3486 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 2715049 attempts, .
[[35mlola[0m][.] 69 EF STEQ 141/3424 0/5 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 sara not yet started (preprocessing).
[[35mlola[0m][.] 70 EF EXCL 57/3340 25/2000 DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 7510694 m, 117235 m/sec, 24143037 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 317 secs. Pages in use: 33
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 69 (type EQUN) for DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06
[[35mlola[0m][I] result : false
[[35mlola[0m][W] CANCELED task # 68 (type FNDP) for DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 (obsolete)
[[35mlola[0m][W] CANCELED task # 70 (type EXCL) for DNAwalker-PT-09ringLR-ReachabilityFireability-2024-06 (obsolete)
[[35mlola[0m][I] Portfolio finished: no open formulas
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="DNAwalker-PT-09ringLR"
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 DNAwalker-PT-09ringLR, 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 r115-smll-171624277100439"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DNAwalker-PT-09ringLR.tgz
mv DNAwalker-PT-09ringLR execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;