MCC'2024- Execution of r115-smll-171624277100455

About the Execution of LoLA for DNAwalker-PT-11ringRR

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
1098.855	158240.00	624019.00	130.20	TTTFFFFFFTTTFTFF	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-171624277100455.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-11ringRR, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r115-smll-171624277100455
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 620K
-rw-r--r-- 1 mcc users 7.0K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K 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.6K Apr 22 14:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 22 14:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 22 14:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 22 14:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Apr 13 13:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 143K Apr 13 13:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Apr 13 13:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 106K Apr 13 13:54 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-11ringRR-ReachabilityFireability-2024-00
FORMULA_NAME DNAwalker-PT-11ringRR-ReachabilityFireability-2024-01
FORMULA_NAME DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02
FORMULA_NAME DNAwalker-PT-11ringRR-ReachabilityFireability-2024-03
FORMULA_NAME DNAwalker-PT-11ringRR-ReachabilityFireability-2024-04
FORMULA_NAME DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05
FORMULA_NAME DNAwalker-PT-11ringRR-ReachabilityFireability-2024-06
FORMULA_NAME DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07
FORMULA_NAME DNAwalker-PT-11ringRR-ReachabilityFireability-2024-08
FORMULA_NAME DNAwalker-PT-11ringRR-ReachabilityFireability-2024-09
FORMULA_NAME DNAwalker-PT-11ringRR-ReachabilityFireability-2024-10
FORMULA_NAME DNAwalker-PT-11ringRR-ReachabilityFireability-2024-11
FORMULA_NAME DNAwalker-PT-11ringRR-ReachabilityFireability-2024-12
FORMULA_NAME DNAwalker-PT-11ringRR-ReachabilityFireability-2024-13
FORMULA_NAME DNAwalker-PT-11ringRR-ReachabilityFireability-2024-14
FORMULA_NAME DNAwalker-PT-11ringRR-ReachabilityFireability-2024-15

=== Now, execution of the tool begins

BK_START 1717178924227

FORMULA DNAwalker-PT-11ringRR-ReachabilityFireability-2024-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-11ringRR-ReachabilityFireability-2024-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-11ringRR-ReachabilityFireability-2024-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-11ringRR-ReachabilityFireability-2024-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-11ringRR-ReachabilityFireability-2024-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-11ringRR-ReachabilityFireability-2024-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-11ringRR-ReachabilityFireability-2024-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-11ringRR-ReachabilityFireability-2024-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-11ringRR-ReachabilityFireability-2024-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-11ringRR-ReachabilityFireability-2024-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-11ringRR-ReachabilityFireability-2024-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-11ringRR-ReachabilityFireability-2024-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07 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[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-00: AG true state space[0m
[[35mlola[0m] [1m[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m] [1m[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-02: AG true state equation[0m
[[35mlola[0m] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-04: EF false state equation[0m
[[35mlola[0m] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-05: EF false state equation[0m
[[35mlola[0m] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-07: EF false state equation[0m
[[35mlola[0m] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m] [1m[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-09: EF true findpath[0m
[[35mlola[0m] [1m[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m] [1m[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-11: EF true state space[0m
[[35mlola[0m] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m] [1m[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-14: AG false state equation[0m
[[35mlola[0m] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-15: INITIAL false preprocessing[0m
[[35mlola[0m]
[[35mlola[0m] Time elapsed: 158 secs. Pages in use: 53

BK_STOP 1717179082467

--------------------
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 # 4 (type CNST) for 3 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-01
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] LAUNCH task # 10 (type CNST) for 9 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-03
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] LAUNCH task # 19 (type CNST) for 18 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-06
[[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-11ringRR-ReachabilityFireability-2024-01
[[35mlola[0m][I] result : true
[[35mlola[0m][I] LAUNCH task # 25 (type CNST) for 24 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-08
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] FINISHED task # 19 (type CNST) for DNAwalker-PT-11ringRR-ReachabilityFireability-2024-06
[[35mlola[0m][I] result : false
[[35mlola[0m][I] FINISHED task # 10 (type CNST) for DNAwalker-PT-11ringRR-ReachabilityFireability-2024-03
[[35mlola[0m][I] result : false
[[35mlola[0m][I] FINISHED task # 25 (type CNST) for DNAwalker-PT-11ringRR-ReachabilityFireability-2024-08
[[35mlola[0m][I] result : false
[[35mlola[0m][I] LAUNCH task # 46 (type CNST) for 45 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-15
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] FINISHED task # 46 (type CNST) for DNAwalker-PT-11ringRR-ReachabilityFireability-2024-15
[[35mlola[0m][I] result : false
[[35mlola[0m][I] LAUNCH task # 51 (type EXCL) for 0 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00
[[35mlola[0m][I] time limit : 257 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 49 (type FNDP) for 0 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 50 (type EQUN) for 0 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 53 (type FNDP) for 6 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-15: 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-11ringRR-ReachabilityFireability-2024-00: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 5/449 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 65471 attempts, .
[[35mlola[0m][.] 50 EF STEQ 5/514 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 51 EF EXCL 5/327 3/2000 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 633577 m, 126715 m/sec, 1560270 t fired, .
[[35mlola[0m][.] 53 EF FNDP 5/514 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02 76669 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 7 secs. Pages in use: 3
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-15: 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-11ringRR-ReachabilityFireability-2024-00: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 10/444 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 130686 attempts, .
[[35mlola[0m][.] 50 EF STEQ 10/509 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 51 EF EXCL 10/327 5/2000 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 1246561 m, 122596 m/sec, 3307656 t fired, .
[[35mlola[0m][.] 53 EF FNDP 10/509 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02 152794 attempts, .
[[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[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-15: 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-11ringRR-ReachabilityFireability-2024-00: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 15/439 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 194969 attempts, .
[[35mlola[0m][.] 50 EF STEQ 15/504 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 51 EF EXCL 15/327 7/2000 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 1847195 m, 120126 m/sec, 5160944 t fired, .
[[35mlola[0m][.] 53 EF FNDP 15/504 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02 227924 attempts, .
[[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[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-15: 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-11ringRR-ReachabilityFireability-2024-00: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 20/434 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 258607 attempts, .
[[35mlola[0m][.] 50 EF STEQ 20/499 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 51 EF EXCL 20/327 9/2000 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 2427607 m, 116082 m/sec, 7082176 t fired, .
[[35mlola[0m][.] 53 EF FNDP 20/499 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02 302003 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 22 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[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-15: 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-11ringRR-ReachabilityFireability-2024-00: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 25/429 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 321550 attempts, .
[[35mlola[0m][.] 50 EF STEQ 25/494 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 51 EF EXCL 25/327 10/2000 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 2986490 m, 111776 m/sec, 8990318 t fired, .
[[35mlola[0m][.] 53 EF FNDP 25/494 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02 375369 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 27 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[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-15: 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-11ringRR-ReachabilityFireability-2024-00: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 30/424 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 384177 attempts, .
[[35mlola[0m][.] 50 EF STEQ 30/489 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 51 EF EXCL 30/327 12/2000 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 3567993 m, 116300 m/sec, 10864189 t fired, .
[[35mlola[0m][.] 53 EF FNDP 30/489 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02 448142 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 32 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[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-15: 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-11ringRR-ReachabilityFireability-2024-00: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 35/419 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 446637 attempts, .
[[35mlola[0m][.] 50 EF STEQ 35/484 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 51 EF EXCL 35/327 14/2000 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 4139605 m, 114322 m/sec, 12634906 t fired, .
[[35mlola[0m][.] 53 EF FNDP 35/484 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02 520338 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 37 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[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-15: 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-11ringRR-ReachabilityFireability-2024-00: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 40/414 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 508963 attempts, .
[[35mlola[0m][.] 50 EF STEQ 40/479 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 51 EF EXCL 40/327 16/2000 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 4742836 m, 120646 m/sec, 14234482 t fired, .
[[35mlola[0m][.] 53 EF FNDP 40/479 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02 592882 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 42 secs. Pages in use: 16
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-15: 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-11ringRR-ReachabilityFireability-2024-00: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 45/409 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 570887 attempts, .
[[35mlola[0m][.] 50 EF STEQ 45/474 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 51 EF EXCL 45/327 18/2000 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 5273976 m, 106228 m/sec, 15918337 t fired, .
[[35mlola[0m][.] 53 EF FNDP 45/474 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02 664761 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 47 secs. Pages in use: 18
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-15: 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-11ringRR-ReachabilityFireability-2024-00: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 50/404 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 632513 attempts, .
[[35mlola[0m][.] 50 EF STEQ 50/469 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 51 EF EXCL 50/327 20/2000 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 5861626 m, 117530 m/sec, 17712550 t fired, .
[[35mlola[0m][.] 53 EF FNDP 50/469 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02 736379 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 52 secs. Pages in use: 20
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-15: 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-11ringRR-ReachabilityFireability-2024-00: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 55/399 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 694478 attempts, .
[[35mlola[0m][.] 50 EF STEQ 55/464 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 51 EF EXCL 55/327 22/2000 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 6457315 m, 119137 m/sec, 19545724 t fired, .
[[35mlola[0m][.] 53 EF FNDP 55/464 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02 807903 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 57 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[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-15: 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-11ringRR-ReachabilityFireability-2024-00: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 60/394 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 755690 attempts, .
[[35mlola[0m][.] 50 EF STEQ 60/459 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 51 EF EXCL 60/327 24/2000 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 7028120 m, 114161 m/sec, 21404372 t fired, .
[[35mlola[0m][.] 53 EF FNDP 60/459 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02 879049 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 62 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[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-15: 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-11ringRR-ReachabilityFireability-2024-00: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 65/389 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 817036 attempts, .
[[35mlola[0m][.] 50 EF STEQ 65/454 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 51 EF EXCL 65/327 26/2000 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 7584085 m, 111193 m/sec, 23302464 t fired, .
[[35mlola[0m][.] 53 EF FNDP 65/454 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02 949957 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 67 secs. Pages in use: 26
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-15: 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-11ringRR-ReachabilityFireability-2024-00: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 70/384 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 878217 attempts, .
[[35mlola[0m][.] 50 EF STEQ 70/449 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 51 EF EXCL 70/327 27/2000 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 8108678 m, 104918 m/sec, 25230785 t fired, .
[[35mlola[0m][.] 53 EF FNDP 70/449 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02 1020840 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 72 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[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-15: 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-11ringRR-ReachabilityFireability-2024-00: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 75/379 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 938997 attempts, .
[[35mlola[0m][.] 50 EF STEQ 75/444 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 51 EF EXCL 75/327 29/2000 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 8571344 m, 92533 m/sec, 27166538 t fired, .
[[35mlola[0m][.] 53 EF FNDP 75/444 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02 1091603 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 77 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[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-15: 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-11ringRR-ReachabilityFireability-2024-00: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 80/374 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 999843 attempts, .
[[35mlola[0m][.] 50 EF STEQ 80/439 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 51 EF EXCL 80/327 31/2000 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 9054295 m, 96590 m/sec, 29132822 t fired, .
[[35mlola[0m][.] 53 EF FNDP 80/439 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02 1162367 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 82 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[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-15: 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-11ringRR-ReachabilityFireability-2024-00: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 85/369 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 1060650 attempts, .
[[35mlola[0m][.] 50 EF STEQ 85/434 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 51 EF EXCL 85/327 32/2000 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 9609665 m, 111074 m/sec, 31061811 t fired, .
[[35mlola[0m][.] 53 EF FNDP 85/434 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02 1232858 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 87 secs. Pages in use: 32
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-15: 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-11ringRR-ReachabilityFireability-2024-00: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 90/364 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 1121231 attempts, .
[[35mlola[0m][.] 50 EF STEQ 90/429 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 51 EF EXCL 90/327 34/2000 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 10155382 m, 109143 m/sec, 33046376 t fired, .
[[35mlola[0m][.] 53 EF FNDP 90/429 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02 1302957 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 92 secs. Pages in use: 34
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-15: 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-11ringRR-ReachabilityFireability-2024-00: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 95/359 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 1178823 attempts, .
[[35mlola[0m][.] 50 EF STEQ 95/424 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 51 EF EXCL 95/327 36/2000 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 10700322 m, 108988 m/sec, 35029438 t fired, .
[[35mlola[0m][.] 53 EF FNDP 95/424 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02 1369898 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 97 secs. Pages in use: 36
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-15: 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-11ringRR-ReachabilityFireability-2024-00: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 100/354 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 1238749 attempts, .
[[35mlola[0m][.] 50 EF STEQ 100/419 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 51 EF EXCL 100/327 38/2000 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 11254254 m, 110786 m/sec, 36788562 t fired, .
[[35mlola[0m][.] 53 EF FNDP 100/419 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02 1439835 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 102 secs. Pages in use: 38
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-15: 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-11ringRR-ReachabilityFireability-2024-00: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 105/349 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 1298367 attempts, .
[[35mlola[0m][.] 50 EF STEQ 105/414 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 51 EF EXCL 105/327 40/2000 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 11790517 m, 107252 m/sec, 38503384 t fired, .
[[35mlola[0m][.] 53 EF FNDP 105/414 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02 1509441 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 107 secs. Pages in use: 40
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-15: 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-11ringRR-ReachabilityFireability-2024-00: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 110/344 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 1357614 attempts, .
[[35mlola[0m][.] 50 EF STEQ 110/409 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 51 EF EXCL 110/327 41/2000 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 12244950 m, 90886 m/sec, 40315844 t fired, .
[[35mlola[0m][.] 53 EF FNDP 110/409 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02 1578576 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 112 secs. Pages in use: 41
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-15: 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-11ringRR-ReachabilityFireability-2024-00: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 115/339 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 1417568 attempts, .
[[35mlola[0m][.] 50 EF STEQ 115/404 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 51 EF EXCL 115/327 43/2000 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 12783105 m, 107631 m/sec, 42161533 t fired, .
[[35mlola[0m][.] 53 EF FNDP 115/404 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02 1648512 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 117 secs. Pages in use: 43
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-15: 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-11ringRR-ReachabilityFireability-2024-00: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 120/334 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 1476919 attempts, .
[[35mlola[0m][.] 50 EF STEQ 120/399 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 51 EF EXCL 120/327 45/2000 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 13347205 m, 112820 m/sec, 43914752 t fired, .
[[35mlola[0m][.] 53 EF FNDP 120/399 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02 1717639 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 122 secs. Pages in use: 45
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-15: 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-11ringRR-ReachabilityFireability-2024-00: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 125/329 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 1536137 attempts, .
[[35mlola[0m][.] 50 EF STEQ 125/394 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 51 EF EXCL 125/327 47/2000 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 13864415 m, 103442 m/sec, 45730235 t fired, .
[[35mlola[0m][.] 53 EF FNDP 125/394 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02 1786558 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 127 secs. Pages in use: 47
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-15: 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-11ringRR-ReachabilityFireability-2024-00: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 130/324 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 1595747 attempts, .
[[35mlola[0m][.] 50 EF STEQ 130/389 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 51 EF EXCL 130/327 48/2000 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 14342946 m, 95706 m/sec, 47686930 t fired, .
[[35mlola[0m][.] 53 EF FNDP 130/389 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02 1856257 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 132 secs. Pages in use: 48
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-15: 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-11ringRR-ReachabilityFireability-2024-00: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 135/319 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 1655578 attempts, .
[[35mlola[0m][.] 50 EF STEQ 135/384 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 51 EF EXCL 135/327 50/2000 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 14823594 m, 96129 m/sec, 49599316 t fired, .
[[35mlola[0m][.] 53 EF FNDP 135/384 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02 1925905 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 137 secs. Pages in use: 50
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-15: 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-11ringRR-ReachabilityFireability-2024-00: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 140/314 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 1715330 attempts, .
[[35mlola[0m][.] 50 EF STEQ 140/379 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 51 EF EXCL 140/327 51/2000 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 15314647 m, 98210 m/sec, 51586935 t fired, .
[[35mlola[0m][.] 53 EF FNDP 140/379 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02 1995254 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 142 secs. Pages in use: 51
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-15: 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-11ringRR-ReachabilityFireability-2024-00: AG 0 0 3 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-10: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-11: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-12: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-13: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-14: AG 0 3 0 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 49 EF FNDP 145/309 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 1775007 attempts, .
[[35mlola[0m][.] 50 EF STEQ 145/374 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 sara not yet started (preprocessing).
[[35mlola[0m][.] 51 EF EXCL 145/327 53/2000 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 15766265 m, 90323 m/sec, 53536657 t fired, .
[[35mlola[0m][.] 53 EF FNDP 145/374 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02 2064838 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 147 secs. Pages in use: 53
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 51 (type EXCL) for DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 15912421
[[35mlola[0m][I] fired transitions : 54203018
[[35mlola[0m][I] time used : 147
[[35mlola[0m][I] memory pages used : 53
[[35mlola[0m][W] CANCELED task # 49 (type FNDP) for DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 (obsolete)
[[35mlola[0m][W] CANCELED task # 50 (type EQUN) for DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00 (obsolete)
[[35mlola[0m][I] LAUNCH task # 60 (type EXCL) for 33 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-11
[[35mlola[0m][I] time limit : 345 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 68 (type FNDP) for 42 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-14
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 83 (type EQUN) for 42 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-14
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 49 (type FNDP) for DNAwalker-PT-11ringRR-ReachabilityFireability-2024-00
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 1794416
[[35mlola[0m][I] time used : 147
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 60 (type EXCL) for DNAwalker-PT-11ringRR-ReachabilityFireability-2024-11
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 4
[[35mlola[0m][I] fired transitions : 3
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 82 (type EXCL) for 30 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-10
[[35mlola[0m][I] time limit : 383 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 83 (type EQUN) for DNAwalker-PT-11ringRR-ReachabilityFireability-2024-14
[[35mlola[0m][I] result : true
[[35mlola[0m][W] CANCELED task # 68 (type FNDP) for DNAwalker-PT-11ringRR-ReachabilityFireability-2024-14 (obsolete)
[[35mlola[0m][I] LAUNCH task # 61 (type FNDP) for 15 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 77 (type EQUN) for 15 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 82 (type EXCL) for DNAwalker-PT-11ringRR-ReachabilityFireability-2024-10
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 3
[[35mlola[0m][I] fired transitions : 2
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 73 (type EXCL) for 39 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-13
[[35mlola[0m][I] time limit : 493 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 68 (type FNDP) for DNAwalker-PT-11ringRR-ReachabilityFireability-2024-14
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 73 (type EXCL) for DNAwalker-PT-11ringRR-ReachabilityFireability-2024-13
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 2
[[35mlola[0m][I] fired transitions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 80 (type EXCL) for 21 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07
[[35mlola[0m][I] time limit : 575 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-00: AG true state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-11: EF true state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-14: AG false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-15: 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-11ringRR-ReachabilityFireability-2024-02: AG 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-04: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05: EF 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07: EF 0 2 1 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-09: EF 0 3 0 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-12: 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][.] 53 EF FNDP 150/752 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02 2126545 attempts, .
[[35mlola[0m][.] 61 EF FNDP 3/862 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05 35762 attempts, .
[[35mlola[0m][.] 77 EF STEQ 3/862 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05 sara not yet started (preprocessing).
[[35mlola[0m][.] 80 EF EXCL 3/575 2/2000 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07 410198 m, 82039 m/sec, 993147 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 152 secs. Pages in use: 53
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 77 (type EQUN) for DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05
[[35mlola[0m][I] result : false
[[35mlola[0m][W] CANCELED task # 61 (type FNDP) for DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05 (obsolete)
[[35mlola[0m][I] LAUNCH task # 64 (type FNDP) for 36 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-12
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 65 (type EQUN) for 36 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-12
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 61 (type FNDP) for DNAwalker-PT-11ringRR-ReachabilityFireability-2024-05
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 72569
[[35mlola[0m][I] time used : 7
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 64 (type FNDP) for DNAwalker-PT-11ringRR-ReachabilityFireability-2024-12
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][W] CANCELED task # 65 (type EQUN) for DNAwalker-PT-11ringRR-ReachabilityFireability-2024-12 (obsolete)
[[35mlola[0m][I] LAUNCH task # 57 (type FNDP) for 12 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-04
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 75 (type EQUN) for 12 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-04
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 65 (type EQUN) for DNAwalker-PT-11ringRR-ReachabilityFireability-2024-12
[[35mlola[0m][I] result : true
[[35mlola[0m][I] FINISHED task # 75 (type EQUN) for DNAwalker-PT-11ringRR-ReachabilityFireability-2024-04
[[35mlola[0m][I] result : false
[[35mlola[0m][W] CANCELED task # 57 (type FNDP) for DNAwalker-PT-11ringRR-ReachabilityFireability-2024-04 (obsolete)
[[35mlola[0m][I] LAUNCH task # 62 (type FNDP) for 27 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-09
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 69 (type EQUN) for 27 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-09
[[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-11ringRR-ReachabilityFireability-2024-04
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 13951
[[35mlola[0m][I] time used : 1
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 62 (type FNDP) for DNAwalker-PT-11ringRR-ReachabilityFireability-2024-09
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][W] CANCELED task # 69 (type EQUN) for DNAwalker-PT-11ringRR-ReachabilityFireability-2024-09 (obsolete)
[[35mlola[0m][I] LAUNCH task # 54 (type EQUN) for 6 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 74 (type FNDP) for 21 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 69 (type EQUN) for DNAwalker-PT-11ringRR-ReachabilityFireability-2024-09
[[35mlola[0m][I] result : true
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-00: AG true state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-01: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-03: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-04: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-05: EF false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-06: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-08: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-09: EF true findpath[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-10: EF true state space[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-11: EF true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-12: AG false findpath[0m
[[35mlola[0m][.] [1m[32mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-13: EF true state space[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-14: AG false state equation[0m
[[35mlola[0m][.] [1m[31mDNAwalker-PT-11ringRR-ReachabilityFireability-2024-15: 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-11ringRR-ReachabilityFireability-2024-02: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.] DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07: EF 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][.] 53 EF FNDP 155/3443 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02 2183777 attempts, .
[[35mlola[0m][.] 54 EF STEQ 0/3443 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02 sara not yet started (preprocessing).
[[35mlola[0m][.] 74 EF FNDP 0/1721 0/5 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07 1694 attempts, .
[[35mlola[0m][.] 80 EF EXCL 8/1725 4/2000 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07 989773 m, 115915 m/sec, 2578427 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 157 secs. Pages in use: 53
[[35mlola[0m][.] # running tasks: 4 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 54 (type EQUN) for DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02
[[35mlola[0m][I] result : false
[[35mlola[0m][W] CANCELED task # 53 (type FNDP) for DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02 (obsolete)
[[35mlola[0m][I] LAUNCH task # 79 (type EQUN) for 21 DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 53 (type FNDP) for DNAwalker-PT-11ringRR-ReachabilityFireability-2024-02
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] tried executions : 2192100
[[35mlola[0m][I] time used : 156
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][I] FINISHED task # 79 (type EQUN) for DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07
[[35mlola[0m][I] result : false
[[35mlola[0m][W] CANCELED task # 74 (type FNDP) for DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07 (obsolete)
[[35mlola[0m][W] CANCELED task # 80 (type EXCL) for DNAwalker-PT-11ringRR-ReachabilityFireability-2024-07 (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-11ringRR"
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-11ringRR, 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-171624277100455"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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