About the Execution of LoLA for DNAwalker-PT-10ringRL
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1549.308 | 625657.00 | 2095125.00 | 590.80 | TFFTFFTFFFTTFTFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r102-tall-167814477600951.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lola
Input is DNAwalker-PT-10ringRL, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r102-tall-167814477600951
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 580K
-rw-r--r-- 1 mcc users 6.4K Feb 25 13:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 25 13:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Feb 25 13:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 25 13:02 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Jan 29 11:40 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:55 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:55 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:55 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:55 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 13:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 130K Feb 25 13:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.0K Feb 25 13:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 25 13:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:55 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 9 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 112K Mar 5 18:22 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-10ringRL-ReachabilityFireability-00
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityFireability-01
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityFireability-02
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityFireability-03
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityFireability-04
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityFireability-05
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityFireability-06
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityFireability-07
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityFireability-08
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityFireability-09
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityFireability-10
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityFireability-11
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityFireability-12
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityFireability-13
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityFireability-14
FORMULA_NAME DNAwalker-PT-10ringRL-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1678355082048
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=lola
BK_EXAMINATION=ReachabilityFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DNAwalker-PT-10ringRL
Not applying reductions.
Model is PT
ReachabilityFireability PT
starting LoLA
BK_INPUT DNAwalker-PT-10ringRL
BK_EXAMINATION: ReachabilityFireability
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
ReachabilityFireability
FORMULA DNAwalker-PT-10ringRL-ReachabilityFireability-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-10ringRL-ReachabilityFireability-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-10ringRL-ReachabilityFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-10ringRL-ReachabilityFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-10ringRL-ReachabilityFireability-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-10ringRL-ReachabilityFireability-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-10ringRL-ReachabilityFireability-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-10ringRL-ReachabilityFireability-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-10ringRL-ReachabilityFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-10ringRL-ReachabilityFireability-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-10ringRL-ReachabilityFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-10ringRL-ReachabilityFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-10ringRL-ReachabilityFireability-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-10ringRL-ReachabilityFireability-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-10ringRL-ReachabilityFireability-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-10ringRL-ReachabilityFireability-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1678355707705
--------------------
content from stderr:
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/ReachabilityFireability.xml
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Rule S: 0 transitions removed,0 places removed
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 55 (type EXCL) for 24 DNAwalker-PT-10ringRL-ReachabilityFireability-08
lola: time limit : 157 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 51 (type FNDP) for 24 DNAwalker-PT-10ringRL-ReachabilityFireability-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 52 (type EQUN) for 24 DNAwalker-PT-10ringRL-ReachabilityFireability-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 54 (type SRCH) for 24 DNAwalker-PT-10ringRL-ReachabilityFireability-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: FINISHED task # 54 (type SRCH) for DNAwalker-PT-10ringRL-ReachabilityFireability-08
lola: result : true
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 51 (type FNDP) for DNAwalker-PT-10ringRL-ReachabilityFireability-08 (obsolete)
lola: CANCELED task # 52 (type EQUN) for DNAwalker-PT-10ringRL-ReachabilityFireability-08 (obsolete)
lola: CANCELED task # 55 (type EXCL) for DNAwalker-PT-10ringRL-ReachabilityFireability-08 (obsolete)
lola: LAUNCH task # 59 (type EXCL) for 18 DNAwalker-PT-10ringRL-ReachabilityFireability-06
lola: time limit : 182 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 48 (type FNDP) for 18 DNAwalker-PT-10ringRL-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 49 (type EQUN) for 18 DNAwalker-PT-10ringRL-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 58 (type SRCH) for 18 DNAwalker-PT-10ringRL-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 59 (type EXCL) for DNAwalker-PT-10ringRL-ReachabilityFireability-06
lola: result : true
lola: markings : 1
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 48 (type FNDP) for DNAwalker-PT-10ringRL-ReachabilityFireability-06 (obsolete)
lola: CANCELED task # 49 (type EQUN) for DNAwalker-PT-10ringRL-ReachabilityFireability-06 (obsolete)
lola: CANCELED task # 58 (type SRCH) for DNAwalker-PT-10ringRL-ReachabilityFireability-06 (obsolete)
lola: FINISHED task # 51 (type FNDP) for DNAwalker-PT-10ringRL-ReachabilityFireability-08
lola: result : true
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: FINISHED task # 48 (type FNDP) for DNAwalker-PT-10ringRL-ReachabilityFireability-06
lola: result : true
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 66 (type EXCL) for 36 DNAwalker-PT-10ringRL-ReachabilityFireability-12
lola: time limit : 192 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 62 (type FNDP) for 36 DNAwalker-PT-10ringRL-ReachabilityFireability-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-52.sara.
sara: place or transition ordering is non-deterministic
lola: LAUNCH task # 63 (type EQUN) for 36 DNAwalker-PT-10ringRL-ReachabilityFireability-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 65 (type SRCH) for 36 DNAwalker-PT-10ringRL-ReachabilityFireability-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 65 (type SRCH) for DNAwalker-PT-10ringRL-ReachabilityFireability-12
lola: result : true
lola: time used : 0.000000
lola: memory pages used : 1sara:
try reading problem file /home/mcc/execution/ReachabilityFireability-49.sara.
lola: CANCELED task # 62 (type FNDP) for DNAwalker-PT-10ringRL-ReachabilityFireability-12 (obsolete)
lola: CANCELED task # 63 (type EQUN) for DNAwalker-PT-10ringRL-ReachabilityFireability-12 (obsolete)
lola: CANCELED task # 66 (type EXCL) for DNAwalker-PT-10ringRL-ReachabilityFireability-12 (obsolete)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 52 (type EQUN) for DNAwalker-PT-10ringRL-ReachabilityFireability-08
lola: result : true
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 62 (type FNDP) for DNAwalker-PT-10ringRL-ReachabilityFireability-12
lola: result : true
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 73 (type EXCL) for 45 DNAwalker-PT-10ringRL-ReachabilityFireability-15
lola: time limit : 216 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 69 (type FNDP) for 45 DNAwalker-PT-10ringRL-ReachabilityFireability-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 70 (type EQUN) for 45 DNAwalker-PT-10ringRL-ReachabilityFireability-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 72 (type SRCH) for 45 DNAwalker-PT-10ringRL-ReachabilityFireability-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 73 (type EXCL) for DNAwalker-PT-10ringRL-ReachabilityFireability-15
lola: result : true
lola: markings : 3
lola: fired transitions : 2
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 69 (type FNDP) for DNAwalker-PT-10ringRL-ReachabilityFireability-15 (obsolete)
lola: CANCELED task # 70 (type EQUN) for DNAwalker-PT-10ringRL-ReachabilityFireability-15 (obsolete)
lola: CANCELED task # 72 (type SRCH) for DNAwalker-PT-10ringRL-ReachabilityFireability-15 (obsolete)
lola: Created skeleton in 0.000000 secs.
lola: FINISHED task # 69 (type FNDP) for DNAwalker-PT-10ringRL-ReachabilityFireability-15
lola: result : true
lola: fired transitions : 4
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 81 (type EXCL) for 12 DNAwalker-PT-10ringRL-ReachabilityFireability-04
lola: time limit : 288 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 77 (type FNDP) for 12 DNAwalker-PT-10ringRL-ReachabilityFireability-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 78 (type EQUN) for 12 DNAwalker-PT-10ringRL-ReachabilityFireability-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 80 (type SRCH) for 12 DNAwalker-PT-10ringRL-ReachabilityFireability-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-78.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 80 (type SRCH) for DNAwalker-PT-10ringRL-ReachabilityFireability-04
lola: result : false
lola: markings : 195
lola: fired transitions : 202
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 77 (type FNDP) for DNAwalker-PT-10ringRL-ReachabilityFireability-04 (obsolete)
lola: CANCELED task # 78 (type EQUN) for DNAwalker-PT-10ringRL-ReachabilityFireability-04 (obsolete)
lola: CANCELED task # 81 (type EXCL) for DNAwalker-PT-10ringRL-ReachabilityFireability-04 (obsolete)
lola: LAUNCH task # 87 (type EXCL) for 15 DNAwalker-PT-10ringRL-ReachabilityFireability-05
lola: time limit : 385 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 83 (type FNDP) for 15 DNAwalker-PT-10ringRL-ReachabilityFireability-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 84 (type EQUN) for 15 DNAwalker-PT-10ringRL-ReachabilityFireability-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 86 (type SRCH) for 15 DNAwalker-PT-10ringRL-ReachabilityFireability-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-84.sara.
sara: place or transition ordering is non-deterministic
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-63.sara.
sara: place or transition ordering is non-deterministic
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-70.sara.
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF 0 1 4 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 5/231 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-05 358750 t fired, 46454 attempts, .
84 EF STEQ 5/231 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-05 sara is running.
86 EF SRCH 5/247 2/5 DNAwalker-PT-10ringRL-ReachabilityFireability-05 330688 m, 66137 m/sec, 860850 t fired, .
87 EF EXCL 5/315 1/32 DNAwalker-PT-10ringRL-ReachabilityFireability-05 163395 m, 32679 m/sec, 607414 t fired, .
Time elapsed: 140 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF 0 1 4 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 10/226 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-05 725489 t fired, 92142 attempts, .
84 EF STEQ 10/226 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-05 sara is running.
86 EF SRCH 10/242 3/5 DNAwalker-PT-10ringRL-ReachabilityFireability-05 683925 m, 70647 m/sec, 1860352 t fired, .
87 EF EXCL 10/315 2/32 DNAwalker-PT-10ringRL-ReachabilityFireability-05 323727 m, 32066 m/sec, 1285065 t fired, .
Time elapsed: 145 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF 0 1 4 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 15/221 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-05 1097496 t fired, 137788 attempts, .
84 EF STEQ 15/221 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-05 sara is running.
86 EF SRCH 15/237 4/5 DNAwalker-PT-10ringRL-ReachabilityFireability-05 1044878 m, 72190 m/sec, 2839133 t fired, .
87 EF EXCL 15/315 2/32 DNAwalker-PT-10ringRL-ReachabilityFireability-05 467765 m, 28807 m/sec, 1963775 t fired, .
Time elapsed: 150 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF 0 1 4 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 20/216 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-05 1468138 t fired, 182778 attempts, .
84 EF STEQ 20/216 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-05 sara is running.
86 EF SRCH 20/232 5/5 DNAwalker-PT-10ringRL-ReachabilityFireability-05 1416670 m, 74358 m/sec, 3921058 t fired, .
87 EF EXCL 20/315 3/32 DNAwalker-PT-10ringRL-ReachabilityFireability-05 624586 m, 31364 m/sec, 2649716 t fired, .
Time elapsed: 155 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 86 (type SRCH) for DNAwalker-PT-10ringRL-ReachabilityFireability-05 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF 0 1 3 0 1 0 1 0
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 25/211 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-05 1862754 t fired, 230239 attempts, .
84 EF STEQ 25/211 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-05 sara is running.
87 EF EXCL 25/315 4/32 DNAwalker-PT-10ringRL-ReachabilityFireability-05 792094 m, 33501 m/sec, 3435709 t fired, .
Time elapsed: 160 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 100 (type FNDP) for 21 DNAwalker-PT-10ringRL-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 100 (type FNDP) for DNAwalker-PT-10ringRL-ReachabilityFireability-07
lola: result : true
lola: fired transitions : 3
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 114 (type FNDP) for 0 DNAwalker-PT-10ringRL-ReachabilityFireability-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF 0 1 3 0 1 0 1 0
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 30/241 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-05 2208006 t fired, 271691 attempts, .
84 EF STEQ 30/241 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-05 sara is running.
87 EF EXCL 30/346 4/32 DNAwalker-PT-10ringRL-ReachabilityFireability-05 938985 m, 29378 m/sec, 4110924 t fired, .
114 EF FNDP 5/264 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 348732 t fired, 148118 attempts, .
Time elapsed: 165 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF 0 1 3 0 1 0 1 0
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 35/236 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-05 2553016 t fired, 312991 attempts, .
84 EF STEQ 35/236 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-05 sara is running.
87 EF EXCL 35/346 5/32 DNAwalker-PT-10ringRL-ReachabilityFireability-05 1083082 m, 28819 m/sec, 4832845 t fired, .
114 EF FNDP 10/259 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 700680 t fired, 297242 attempts, .
Time elapsed: 170 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF 0 1 3 0 1 0 1 0
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 40/231 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-05 2908843 t fired, 355589 attempts, .
84 EF STEQ 40/231 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-05 sara is running.
87 EF EXCL 40/346 5/32 DNAwalker-PT-10ringRL-ReachabilityFireability-05 1235371 m, 30457 m/sec, 5530830 t fired, .
114 EF FNDP 15/254 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 1053548 t fired, 446717 attempts, .
Time elapsed: 175 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF 0 1 3 0 1 0 1 0
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 45/226 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-05 3252315 t fired, 396327 attempts, .
84 EF STEQ 45/226 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-05 sara is running.
87 EF EXCL 45/346 6/32 DNAwalker-PT-10ringRL-ReachabilityFireability-05 1379537 m, 28833 m/sec, 6191555 t fired, .
114 EF FNDP 20/249 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 1396547 t fired, 592036 attempts, .
Time elapsed: 180 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF 0 1 3 0 1 0 1 0
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 50/221 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-05 3591501 t fired, 436472 attempts, .
84 EF STEQ 50/221 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-05 sara is running.
87 EF EXCL 50/346 6/32 DNAwalker-PT-10ringRL-ReachabilityFireability-05 1528685 m, 29829 m/sec, 6871668 t fired, .
114 EF FNDP 25/244 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 1749291 t fired, 741453 attempts, .
Time elapsed: 185 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF 0 1 3 0 1 0 1 0
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 55/216 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-05 3933387 t fired, 476942 attempts, .
84 EF STEQ 55/216 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-05 sara is running.
87 EF EXCL 55/346 7/32 DNAwalker-PT-10ringRL-ReachabilityFireability-05 1667831 m, 27829 m/sec, 7563416 t fired, .
114 EF FNDP 30/239 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 2097077 t fired, 888646 attempts, .
Time elapsed: 190 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF 0 1 3 0 1 0 1 0
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 60/211 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-05 4267920 t fired, 516450 attempts, .
84 EF STEQ 60/211 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-05 sara is running.
87 EF EXCL 60/346 7/32 DNAwalker-PT-10ringRL-ReachabilityFireability-05 1816320 m, 29697 m/sec, 8278942 t fired, .
114 EF FNDP 35/234 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 2454493 t fired, 1039941 attempts, .
Time elapsed: 195 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF 0 1 3 0 1 0 1 0
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 65/206 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-05 4604683 t fired, 556124 attempts, .
84 EF STEQ 65/206 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-05 sara is running.
87 EF EXCL 65/346 8/32 DNAwalker-PT-10ringRL-ReachabilityFireability-05 1957044 m, 28144 m/sec, 8957271 t fired, .
114 EF FNDP 40/229 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 2808748 t fired, 1189897 attempts, .
Time elapsed: 200 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF 0 1 3 0 1 0 1 0
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 70/201 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-05 4955256 t fired, 597272 attempts, .
84 EF STEQ 70/201 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-05 sara is running.
87 EF EXCL 70/346 8/32 DNAwalker-PT-10ringRL-ReachabilityFireability-05 2087087 m, 26008 m/sec, 9669544 t fired, .
114 EF FNDP 45/224 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 3156085 t fired, 1336737 attempts, .
Time elapsed: 205 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF 0 1 3 0 1 0 1 0
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 75/196 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-05 5296942 t fired, 637484 attempts, .
84 EF STEQ 75/196 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-05 sara is running.
87 EF EXCL 75/346 9/32 DNAwalker-PT-10ringRL-ReachabilityFireability-05 2219848 m, 26552 m/sec, 10377620 t fired, .
114 EF FNDP 50/219 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 3506271 t fired, 1484879 attempts, .
Time elapsed: 210 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF 0 1 3 0 1 0 1 0
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 80/191 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-05 5647262 t fired, 678669 attempts, .
84 EF STEQ 80/191 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-05 sara is running.
87 EF EXCL 80/346 9/32 DNAwalker-PT-10ringRL-ReachabilityFireability-05 2348574 m, 25745 m/sec, 11141451 t fired, .
114 EF FNDP 55/214 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 3854455 t fired, 1632318 attempts, .
Time elapsed: 215 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 87 (type EXCL) for DNAwalker-PT-10ringRL-ReachabilityFireability-05
lola: result : false
lola: markings : 2455715
lola: fired transitions : 11756563
lola: time used : 84.000000
lola: memory pages used : 9
lola: CANCELED task # 83 (type FNDP) for DNAwalker-PT-10ringRL-ReachabilityFireability-05 (obsolete)
lola: CANCELED task # 84 (type EQUN) for DNAwalker-PT-10ringRL-ReachabilityFireability-05 (obsolete)
lola: LAUNCH task # 103 (type EXCL) for 27 DNAwalker-PT-10ringRL-ReachabilityFireability-09
lola: time limit : 375 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 109 (type FNDP) for 39 DNAwalker-PT-10ringRL-ReachabilityFireability-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 126 (type EQUN) for 39 DNAwalker-PT-10ringRL-ReachabilityFireability-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 83 (type FNDP) for DNAwalker-PT-10ringRL-ReachabilityFireability-05
lola: result : unknown
lola: fired transitions : 5927218
lola: tried executions : 711356
lola: time used : 84.000000
lola: memory pages used : 0
lola: FINISHED task # 84 (type EQUN) for DNAwalker-PT-10ringRL-ReachabilityFireability-05
lola: result : unknown
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 103 (type EXCL) for DNAwalker-PT-10ringRL-ReachabilityFireability-09
lola: result : true
lola: markings : 1
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 150 (type EXCL) for 33 DNAwalker-PT-10ringRL-ReachabilityFireability-11
lola: time limit : 422 sec
lola: memory limit: 32 pages
lola: FINISHED task # 109 (type FNDP) for DNAwalker-PT-10ringRL-ReachabilityFireability-13
lola: result : true
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 126 (type EQUN) for DNAwalker-PT-10ringRL-ReachabilityFireability-13 (obsolete)
lola: LAUNCH task # 113 (type FNDP) for 3 DNAwalker-PT-10ringRL-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 139 (type EQUN) for 3 DNAwalker-PT-10ringRL-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 150 (type EXCL) for DNAwalker-PT-10ringRL-ReachabilityFireability-11
lola: result : true
lola: markings : 14
lola: fired transitions : 13
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 134 (type EXCL) for 42 DNAwalker-PT-10ringRL-ReachabilityFireability-14
lola: time limit : 563 sec
lola: memory limit: 32 pages
lola: FINISHED task # 134 (type EXCL) for DNAwalker-PT-10ringRL-ReachabilityFireability-14
lola: result : true
lola: markings : 1
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 120 (type EXCL) for 30 DNAwalker-PT-10ringRL-ReachabilityFireability-10
lola: time limit : 676 sec
lola: memory limit: 32 pages
lola: FINISHED task # 120 (type EXCL) for DNAwalker-PT-10ringRL-ReachabilityFireability-10
lola: result : true
lola: markings : 18
lola: fired transitions : 17
lola: time used : 0.000000
lola: memory pages used : 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 137 (type EXCL) for 6 DNAwalker-PT-10ringRL-ReachabilityFireability-02
lola: time limit : 845 sec
lola: memory limit: 32 pages
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-139.sara.
sara: place or transition ordering is non-deterministic
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-126.sara.
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 1/563 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 58770 t fired, 11363 attempts, .
114 EF FNDP 60/629 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 4192269 t fired, 1775361 attempts, .
137 EF EXCL 1/845 1/32 DNAwalker-PT-10ringRL-ReachabilityFireability-02 34741 m, 6948 m/sec, 117988 t fired, .
139 EF STEQ 1/676 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
Time elapsed: 220 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 6/562 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 366692 t fired, 67543 attempts, .
114 EF FNDP 65/628 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 4495152 t fired, 1903563 attempts, .
137 EF EXCL 6/845 1/32 DNAwalker-PT-10ringRL-ReachabilityFireability-02 206022 m, 34256 m/sec, 876963 t fired, .
139 EF STEQ 6/675 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
Time elapsed: 225 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 11/557 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 667627 t fired, 122062 attempts, .
114 EF FNDP 70/623 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 4794729 t fired, 2030441 attempts, .
137 EF EXCL 11/845 2/32 DNAwalker-PT-10ringRL-ReachabilityFireability-02 371959 m, 33187 m/sec, 1635376 t fired, .
139 EF STEQ 11/670 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
Time elapsed: 230 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 16/552 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 972138 t fired, 177226 attempts, .
114 EF FNDP 75/618 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 5108173 t fired, 2163169 attempts, .
137 EF EXCL 16/845 3/32 DNAwalker-PT-10ringRL-ReachabilityFireability-02 529113 m, 31430 m/sec, 2398806 t fired, .
139 EF STEQ 16/665 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
Time elapsed: 235 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 21/547 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 1280767 t fired, 232475 attempts, .
114 EF FNDP 80/613 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 5411569 t fired, 2291746 attempts, .
137 EF EXCL 21/845 3/32 DNAwalker-PT-10ringRL-ReachabilityFireability-02 699017 m, 33980 m/sec, 3206481 t fired, .
139 EF STEQ 21/660 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
Time elapsed: 240 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 26/542 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 1591424 t fired, 287908 attempts, .
114 EF FNDP 85/608 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 5718620 t fired, 2421793 attempts, .
137 EF EXCL 26/845 4/32 DNAwalker-PT-10ringRL-ReachabilityFireability-02 856214 m, 31439 m/sec, 3981270 t fired, .
139 EF STEQ 26/655 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
Time elapsed: 245 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 31/537 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 1892927 t fired, 341388 attempts, .
114 EF FNDP 90/603 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 6023951 t fired, 2550946 attempts, .
137 EF EXCL 31/845 4/32 DNAwalker-PT-10ringRL-ReachabilityFireability-02 999327 m, 28622 m/sec, 4747378 t fired, .
139 EF STEQ 31/650 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
Time elapsed: 250 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 36/532 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 2180643 t fired, 392447 attempts, .
114 EF FNDP 95/598 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 6326965 t fired, 2679164 attempts, .
137 EF EXCL 36/845 5/32 DNAwalker-PT-10ringRL-ReachabilityFireability-02 1146049 m, 29344 m/sec, 5462173 t fired, .
139 EF STEQ 36/645 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
Time elapsed: 255 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 41/527 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 2471819 t fired, 443892 attempts, .
114 EF FNDP 100/593 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 6640420 t fired, 2811794 attempts, .
137 EF EXCL 41/845 5/32 DNAwalker-PT-10ringRL-ReachabilityFireability-02 1292879 m, 29366 m/sec, 6160691 t fired, .
139 EF STEQ 41/640 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
Time elapsed: 260 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 46/522 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 2773929 t fired, 497166 attempts, .
114 EF FNDP 105/588 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 6957321 t fired, 2945818 attempts, .
137 EF EXCL 46/845 6/32 DNAwalker-PT-10ringRL-ReachabilityFireability-02 1438574 m, 29139 m/sec, 6873308 t fired, .
139 EF STEQ 46/635 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
Time elapsed: 265 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 51/517 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 3076855 t fired, 551378 attempts, .
114 EF FNDP 110/583 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 7271538 t fired, 3078831 attempts, .
137 EF EXCL 51/845 6/32 DNAwalker-PT-10ringRL-ReachabilityFireability-02 1578300 m, 27945 m/sec, 7648318 t fired, .
139 EF STEQ 51/630 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
Time elapsed: 270 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 56/512 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 3362923 t fired, 602398 attempts, .
114 EF FNDP 115/578 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 7574380 t fired, 3207118 attempts, .
137 EF EXCL 56/845 7/32 DNAwalker-PT-10ringRL-ReachabilityFireability-02 1722730 m, 28886 m/sec, 8342118 t fired, .
139 EF STEQ 56/625 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
Time elapsed: 275 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 61/507 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 3666151 t fired, 656222 attempts, .
114 EF FNDP 120/573 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 7898413 t fired, 3344295 attempts, .
137 EF EXCL 61/845 7/32 DNAwalker-PT-10ringRL-ReachabilityFireability-02 1864651 m, 28384 m/sec, 9133046 t fired, .
139 EF STEQ 61/620 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
Time elapsed: 280 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 66/502 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 3974975 t fired, 710884 attempts, .
114 EF FNDP 125/568 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 8206994 t fired, 3474904 attempts, .
137 EF EXCL 66/845 8/32 DNAwalker-PT-10ringRL-ReachabilityFireability-02 2012189 m, 29507 m/sec, 9911988 t fired, .
139 EF STEQ 66/615 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
Time elapsed: 285 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 71/497 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 4266563 t fired, 762360 attempts, .
114 EF FNDP 130/563 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 8496654 t fired, 3597610 attempts, .
137 EF EXCL 71/845 8/32 DNAwalker-PT-10ringRL-ReachabilityFireability-02 2142602 m, 26082 m/sec, 10708751 t fired, .
139 EF STEQ 71/610 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
Time elapsed: 290 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 137 (type EXCL) for DNAwalker-PT-10ringRL-ReachabilityFireability-02
lola: result : false
lola: markings : 2268052
lola: fired transitions : 11505359
lola: time used : 75.000000
lola: memory pages used : 9
lola: LAUNCH task # 99 (type EXCL) for 9 DNAwalker-PT-10ringRL-ReachabilityFireability-03
lola: time limit : 1102 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
99 EF EXCL 1/1102 1/32 DNAwalker-PT-10ringRL-ReachabilityFireability-03 19760 m, 3952 m/sec, 65294 t fired, .
113 EF FNDP 76/770 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 4586288 t fired, 819076 attempts, .
114 EF FNDP 135/726 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 8804019 t fired, 3727684 attempts, .
139 EF STEQ 76/770 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
Time elapsed: 295 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
99 EF EXCL 6/1102 1/32 DNAwalker-PT-10ringRL-ReachabilityFireability-03 172781 m, 30604 m/sec, 700267 t fired, .
113 EF FNDP 81/769 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 4882250 t fired, 871618 attempts, .
114 EF FNDP 140/725 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 9142354 t fired, 3870847 attempts, .
139 EF STEQ 81/769 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
Time elapsed: 300 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
99 EF EXCL 11/1102 2/32 DNAwalker-PT-10ringRL-ReachabilityFireability-03 328407 m, 31125 m/sec, 1417197 t fired, .
113 EF FNDP 86/764 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 5169643 t fired, 922634 attempts, .
114 EF FNDP 145/720 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 9455222 t fired, 4003204 attempts, .
139 EF STEQ 86/764 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
Time elapsed: 305 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
99 EF EXCL 16/1102 2/32 DNAwalker-PT-10ringRL-ReachabilityFireability-03 481469 m, 30612 m/sec, 2204558 t fired, .
113 EF FNDP 91/759 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 5452340 t fired, 972914 attempts, .
114 EF FNDP 150/715 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 9732401 t fired, 4120472 attempts, .
139 EF STEQ 91/759 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
Time elapsed: 310 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
99 EF EXCL 21/1102 3/32 DNAwalker-PT-10ringRL-ReachabilityFireability-03 638228 m, 31351 m/sec, 2886905 t fired, .
113 EF FNDP 96/754 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 5774175 t fired, 1030016 attempts, .
114 EF FNDP 155/710 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 10034438 t fired, 4248365 attempts, .
139 EF STEQ 96/754 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
Time elapsed: 315 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
99 EF EXCL 26/1102 3/32 DNAwalker-PT-10ringRL-ReachabilityFireability-03 780500 m, 28454 m/sec, 3590474 t fired, .
113 EF FNDP 101/749 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 6085763 t fired, 1085160 attempts, .
114 EF FNDP 160/705 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 10340657 t fired, 4377942 attempts, .
139 EF STEQ 101/749 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
Time elapsed: 320 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
99 EF EXCL 31/1102 4/32 DNAwalker-PT-10ringRL-ReachabilityFireability-03 923337 m, 28567 m/sec, 4322349 t fired, .
113 EF FNDP 106/744 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 6376141 t fired, 1136012 attempts, .
114 EF FNDP 165/700 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 10659060 t fired, 4512643 attempts, .
139 EF STEQ 106/744 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
Time elapsed: 325 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
99 EF EXCL 36/1102 5/32 DNAwalker-PT-10ringRL-ReachabilityFireability-03 1068058 m, 28944 m/sec, 5090129 t fired, .
113 EF FNDP 111/739 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 6672410 t fired, 1188257 attempts, .
114 EF FNDP 170/695 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 11000594 t fired, 4657258 attempts, .
139 EF STEQ 111/739 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
Time elapsed: 330 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
99 EF EXCL 41/1102 5/32 DNAwalker-PT-10ringRL-ReachabilityFireability-03 1213424 m, 29073 m/sec, 5768080 t fired, .
113 EF FNDP 116/734 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 6976616 t fired, 1242023 attempts, .
114 EF FNDP 175/690 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 11304314 t fired, 4785798 attempts, .
139 EF STEQ 116/734 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
Time elapsed: 335 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
99 EF EXCL 46/1102 6/32 DNAwalker-PT-10ringRL-ReachabilityFireability-03 1356001 m, 28515 m/sec, 6454184 t fired, .
113 EF FNDP 121/729 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 7270420 t fired, 1294171 attempts, .
114 EF FNDP 180/685 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 11622293 t fired, 4920323 attempts, .
139 EF STEQ 121/729 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
Time elapsed: 340 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
99 EF EXCL 51/1102 6/32 DNAwalker-PT-10ringRL-ReachabilityFireability-03 1502857 m, 29371 m/sec, 7203993 t fired, .
113 EF FNDP 126/724 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 7564429 t fired, 1346137 attempts, .
114 EF FNDP 185/680 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 11931890 t fired, 5051307 attempts, .
139 EF STEQ 126/724 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
Time elapsed: 345 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
99 EF EXCL 56/1102 7/32 DNAwalker-PT-10ringRL-ReachabilityFireability-03 1636324 m, 26693 m/sec, 7914104 t fired, .
113 EF FNDP 131/719 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 7863340 t fired, 1399188 attempts, .
114 EF FNDP 190/675 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 12262186 t fired, 5191118 attempts, .
139 EF STEQ 131/719 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
Time elapsed: 350 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
99 EF EXCL 61/1102 7/32 DNAwalker-PT-10ringRL-ReachabilityFireability-03 1787261 m, 30187 m/sec, 8672874 t fired, .
113 EF FNDP 136/714 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 8166770 t fired, 1452453 attempts, .
114 EF FNDP 195/670 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 12566929 t fired, 5320133 attempts, .
139 EF STEQ 136/714 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
Time elapsed: 355 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
99 EF EXCL 66/1102 8/32 DNAwalker-PT-10ringRL-ReachabilityFireability-03 1918631 m, 26274 m/sec, 9405455 t fired, .
113 EF FNDP 141/709 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 8463802 t fired, 1504660 attempts, .
114 EF FNDP 200/665 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 12884404 t fired, 5454612 attempts, .
139 EF STEQ 141/709 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
Time elapsed: 360 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
99 EF EXCL 71/1102 8/32 DNAwalker-PT-10ringRL-ReachabilityFireability-03 2048249 m, 25923 m/sec, 10113797 t fired, .
113 EF FNDP 146/704 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 8761135 t fired, 1557455 attempts, .
114 EF FNDP 205/660 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 13194066 t fired, 5585551 attempts, .
139 EF STEQ 146/704 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
Time elapsed: 365 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
99 EF EXCL 76/1102 8/32 DNAwalker-PT-10ringRL-ReachabilityFireability-03 2175060 m, 25362 m/sec, 10911120 t fired, .
113 EF FNDP 151/699 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 9071030 t fired, 1612118 attempts, .
114 EF FNDP 210/655 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 13491106 t fired, 5711276 attempts, .
139 EF STEQ 151/699 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
Time elapsed: 370 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 99 (type EXCL) for DNAwalker-PT-10ringRL-ReachabilityFireability-03
lola: result : false
lola: markings : 2268052
lola: fired transitions : 11505359
lola: time used : 79.000000
lola: memory pages used : 9
lola: LAUNCH task # 143 (type EXCL) for 3 DNAwalker-PT-10ringRL-ReachabilityFireability-01
lola: time limit : 1613 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 156/973 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 9367529 t fired, 1664455 attempts, .
114 EF FNDP 215/1507 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 13805750 t fired, 5844511 attempts, .
139 EF STEQ 156/973 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 2/1613 1/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 38194 m, 7638 m/sec, 121538 t fired, .
Time elapsed: 375 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 161/971 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 9658380 t fired, 1715602 attempts, .
114 EF FNDP 220/1505 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 14127359 t fired, 5980442 attempts, .
139 EF STEQ 161/971 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 7/1613 1/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 139938 m, 20348 m/sec, 533466 t fired, .
Time elapsed: 380 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 166/966 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 9966400 t fired, 1770002 attempts, .
114 EF FNDP 225/1500 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 14434179 t fired, 6110182 attempts, .
139 EF STEQ 166/966 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 12/1613 1/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 234480 m, 18908 m/sec, 942660 t fired, .
Time elapsed: 385 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 171/961 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 10279941 t fired, 1825375 attempts, .
114 EF FNDP 230/1495 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 14738139 t fired, 6238983 attempts, .
139 EF STEQ 171/961 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 17/1613 2/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 334357 m, 19975 m/sec, 1343012 t fired, .
Time elapsed: 390 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 176/956 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 10570657 t fired, 1876747 attempts, .
114 EF FNDP 235/1490 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 15038644 t fired, 6366037 attempts, .
139 EF STEQ 176/956 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 22/1613 2/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 431246 m, 19377 m/sec, 1622551 t fired, .
Time elapsed: 395 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 181/951 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 10866590 t fired, 1928973 attempts, .
114 EF FNDP 240/1485 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 15345766 t fired, 6496003 attempts, .
139 EF STEQ 181/951 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 27/1613 3/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 528170 m, 19384 m/sec, 2012471 t fired, .
Time elapsed: 400 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 186/946 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 11159673 t fired, 1980236 attempts, .
114 EF FNDP 245/1480 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 15661094 t fired, 6629399 attempts, .
139 EF STEQ 186/946 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 32/1613 3/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 630157 m, 20397 m/sec, 2388454 t fired, .
Time elapsed: 405 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 191/941 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 11458201 t fired, 2033232 attempts, .
114 EF FNDP 250/1475 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 15973110 t fired, 6761571 attempts, .
139 EF STEQ 191/941 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 37/1613 3/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 724382 m, 18845 m/sec, 2745591 t fired, .
Time elapsed: 410 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 196/936 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 11758876 t fired, 2086385 attempts, .
114 EF FNDP 255/1470 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 16282542 t fired, 6892428 attempts, .
139 EF STEQ 196/936 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 42/1613 4/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 815185 m, 18160 m/sec, 3127181 t fired, .
Time elapsed: 415 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 201/931 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 12052083 t fired, 2138023 attempts, .
114 EF FNDP 260/1465 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 16605879 t fired, 7029211 attempts, .
139 EF STEQ 201/931 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 47/1613 4/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 900230 m, 17009 m/sec, 3491906 t fired, .
Time elapsed: 420 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 206/926 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 12339895 t fired, 2188728 attempts, .
114 EF FNDP 265/1460 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 16939208 t fired, 7170329 attempts, .
139 EF STEQ 206/926 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 52/1613 4/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 993466 m, 18647 m/sec, 3878902 t fired, .
Time elapsed: 425 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 211/921 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 12648432 t fired, 2243417 attempts, .
114 EF FNDP 270/1455 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 17255758 t fired, 7304328 attempts, .
139 EF STEQ 211/921 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 57/1613 5/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 1084267 m, 18160 m/sec, 4280499 t fired, .
Time elapsed: 430 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 216/916 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 12942137 t fired, 2294860 attempts, .
114 EF FNDP 275/1450 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 17595590 t fired, 7448059 attempts, .
139 EF STEQ 216/916 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 62/1613 5/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 1179034 m, 18953 m/sec, 4593837 t fired, .
Time elapsed: 435 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 221/911 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 13212619 t fired, 2342511 attempts, .
114 EF FNDP 280/1445 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 17923975 t fired, 7587117 attempts, .
139 EF STEQ 221/911 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 67/1613 5/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 1277904 m, 19774 m/sec, 4980671 t fired, .
Time elapsed: 440 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 226/906 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 13505347 t fired, 2394104 attempts, .
114 EF FNDP 285/1440 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 18243647 t fired, 7722404 attempts, .
139 EF STEQ 226/906 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 72/1613 6/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 1367397 m, 17898 m/sec, 5356632 t fired, .
Time elapsed: 445 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 231/901 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 13808813 t fired, 2447739 attempts, .
114 EF FNDP 290/1435 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 18547373 t fired, 7850993 attempts, .
139 EF STEQ 231/901 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 77/1613 6/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 1455811 m, 17682 m/sec, 5743909 t fired, .
Time elapsed: 450 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 236/896 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 14092639 t fired, 2497690 attempts, .
114 EF FNDP 295/1430 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 18872231 t fired, 7988548 attempts, .
139 EF STEQ 236/896 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 82/1613 6/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 1556049 m, 20047 m/sec, 6126482 t fired, .
Time elapsed: 455 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 241/891 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 14396813 t fired, 2551193 attempts, .
114 EF FNDP 300/1425 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 19197792 t fired, 8126423 attempts, .
139 EF STEQ 241/891 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 87/1613 7/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 1651189 m, 19028 m/sec, 6534854 t fired, .
Time elapsed: 460 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 246/886 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 14705975 t fired, 2606040 attempts, .
114 EF FNDP 305/1420 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 19513873 t fired, 8260306 attempts, .
139 EF STEQ 246/886 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 92/1613 7/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 1735997 m, 16961 m/sec, 6908235 t fired, .
Time elapsed: 465 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 251/881 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 15005289 t fired, 2658614 attempts, .
114 EF FNDP 310/1415 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 19805426 t fired, 8383843 attempts, .
139 EF STEQ 251/881 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 97/1613 7/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 1827669 m, 18334 m/sec, 7295049 t fired, .
Time elapsed: 470 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 256/876 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 15295513 t fired, 2709868 attempts, .
114 EF FNDP 315/1410 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 20124063 t fired, 8518650 attempts, .
139 EF STEQ 256/876 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 102/1613 8/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 1916521 m, 17770 m/sec, 7719125 t fired, .
Time elapsed: 475 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 261/871 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 15596993 t fired, 2763108 attempts, .
114 EF FNDP 320/1405 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 20433876 t fired, 8649906 attempts, .
139 EF STEQ 261/871 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 107/1613 8/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 1993808 m, 15457 m/sec, 8118482 t fired, .
Time elapsed: 480 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 266/866 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 15891376 t fired, 2815018 attempts, .
114 EF FNDP 325/1400 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 20742857 t fired, 8780624 attempts, .
139 EF STEQ 266/866 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 112/1613 8/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 2084975 m, 18233 m/sec, 8449005 t fired, .
Time elapsed: 485 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 271/861 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 16186017 t fired, 2866828 attempts, .
114 EF FNDP 330/1395 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 21066406 t fired, 8917734 attempts, .
139 EF STEQ 271/861 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 117/1613 9/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 2175312 m, 18067 m/sec, 8861862 t fired, .
Time elapsed: 490 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 276/856 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 16465950 t fired, 2915987 attempts, .
114 EF FNDP 335/1390 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 21386294 t fired, 9053278 attempts, .
139 EF STEQ 276/856 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 122/1613 9/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 2276193 m, 20176 m/sec, 9196216 t fired, .
Time elapsed: 495 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 281/851 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 16749838 t fired, 2966143 attempts, .
114 EF FNDP 340/1385 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 21712438 t fired, 9191263 attempts, .
139 EF STEQ 281/851 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 127/1613 9/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 2365889 m, 17939 m/sec, 9556450 t fired, .
Time elapsed: 500 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 286/846 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 17048921 t fired, 3018619 attempts, .
114 EF FNDP 345/1380 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 22032830 t fired, 9327129 attempts, .
139 EF STEQ 286/846 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 132/1613 10/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 2455124 m, 17847 m/sec, 9910549 t fired, .
Time elapsed: 505 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 291/841 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 17363067 t fired, 3073424 attempts, .
114 EF FNDP 350/1375 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 22329604 t fired, 9452687 attempts, .
139 EF STEQ 291/841 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 137/1613 10/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 2544799 m, 17935 m/sec, 10300778 t fired, .
Time elapsed: 510 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 296/836 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 17654697 t fired, 3124856 attempts, .
114 EF FNDP 355/1370 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 22635994 t fired, 9582242 attempts, .
139 EF STEQ 296/836 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 142/1613 10/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 2636526 m, 18345 m/sec, 10649881 t fired, .
Time elapsed: 515 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 301/831 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 17963330 t fired, 3179122 attempts, .
114 EF FNDP 360/1365 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 22940302 t fired, 9710896 attempts, .
139 EF STEQ 301/831 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 147/1613 11/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 2721204 m, 16935 m/sec, 11003758 t fired, .
Time elapsed: 520 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 306/826 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 18240539 t fired, 3227885 attempts, .
114 EF FNDP 365/1360 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 23242113 t fired, 9838649 attempts, .
139 EF STEQ 306/826 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 152/1613 11/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 2805666 m, 16892 m/sec, 11383484 t fired, .
Time elapsed: 525 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 311/821 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 18540240 t fired, 3280731 attempts, .
114 EF FNDP 370/1355 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 23557666 t fired, 9972214 attempts, .
139 EF STEQ 311/821 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 157/1613 11/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 2892384 m, 17343 m/sec, 11749079 t fired, .
Time elapsed: 530 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 316/816 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 18841081 t fired, 3333584 attempts, .
114 EF FNDP 375/1350 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 23860269 t fired, 10100249 attempts, .
139 EF STEQ 316/816 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 162/1613 12/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 2976060 m, 16735 m/sec, 12133637 t fired, .
Time elapsed: 535 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 321/811 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 19135664 t fired, 3385414 attempts, .
114 EF FNDP 380/1345 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 24164434 t fired, 10228722 attempts, .
139 EF STEQ 321/811 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 167/1613 12/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 3057200 m, 16228 m/sec, 12586443 t fired, .
Time elapsed: 540 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 326/806 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 19446761 t fired, 3440117 attempts, .
114 EF FNDP 385/1340 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 24469257 t fired, 10357850 attempts, .
139 EF STEQ 326/806 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 172/1613 12/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 3144457 m, 17451 m/sec, 12913828 t fired, .
Time elapsed: 545 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 331/801 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 19742589 t fired, 3492249 attempts, .
114 EF FNDP 390/1335 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 24761530 t fired, 10481486 attempts, .
139 EF STEQ 331/801 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 177/1613 12/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 3230221 m, 17152 m/sec, 13322705 t fired, .
Time elapsed: 550 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 336/796 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 20034763 t fired, 3543591 attempts, .
114 EF FNDP 395/1330 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 25060381 t fired, 10607870 attempts, .
139 EF STEQ 336/796 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 182/1613 13/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 3315171 m, 16990 m/sec, 13732610 t fired, .
Time elapsed: 555 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 341/791 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 20339669 t fired, 3597164 attempts, .
114 EF FNDP 400/1325 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 25373665 t fired, 10740622 attempts, .
139 EF STEQ 341/791 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 187/1613 13/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 3403012 m, 17568 m/sec, 14203887 t fired, .
Time elapsed: 560 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 346/786 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 20615905 t fired, 3645805 attempts, .
114 EF FNDP 405/1320 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 25686191 t fired, 10872795 attempts, .
139 EF STEQ 346/786 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 192/1613 13/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 3487704 m, 16938 m/sec, 14603441 t fired, .
Time elapsed: 565 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 351/781 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 20925103 t fired, 3699977 attempts, .
114 EF FNDP 410/1315 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 25989322 t fired, 11001128 attempts, .
139 EF STEQ 351/781 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 197/1613 14/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 3572848 m, 17028 m/sec, 14926100 t fired, .
Time elapsed: 570 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 356/776 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 21228617 t fired, 3753069 attempts, .
114 EF FNDP 415/1310 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 26289179 t fired, 11128087 attempts, .
139 EF STEQ 356/776 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 202/1613 14/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 3654223 m, 16275 m/sec, 15161035 t fired, .
Time elapsed: 575 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 361/771 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 21529408 t fired, 3805902 attempts, .
114 EF FNDP 420/1305 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 26615176 t fired, 11266044 attempts, .
139 EF STEQ 361/771 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 207/1613 14/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 3745296 m, 18214 m/sec, 15591398 t fired, .
Time elapsed: 580 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 366/766 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 21839699 t fired, 3860383 attempts, .
114 EF FNDP 425/1300 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 26921287 t fired, 11395360 attempts, .
139 EF STEQ 366/766 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 212/1613 15/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 3837791 m, 18499 m/sec, 15984210 t fired, .
Time elapsed: 585 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 371/761 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 22151691 t fired, 3915192 attempts, .
114 EF FNDP 430/1295 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 27228501 t fired, 11525416 attempts, .
139 EF STEQ 371/761 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 217/1613 15/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 3922930 m, 17027 m/sec, 16386103 t fired, .
Time elapsed: 590 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 376/756 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 22440742 t fired, 3965749 attempts, .
114 EF FNDP 435/1290 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 27530580 t fired, 11653481 attempts, .
139 EF STEQ 376/756 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 222/1613 15/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 4007291 m, 16872 m/sec, 16804724 t fired, .
Time elapsed: 595 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 381/751 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 22728111 t fired, 4016496 attempts, .
114 EF FNDP 440/1285 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 27843756 t fired, 11785877 attempts, .
139 EF STEQ 381/751 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 227/1613 15/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 4086168 m, 15775 m/sec, 17221490 t fired, .
Time elapsed: 600 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 386/746 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 23018558 t fired, 4067324 attempts, .
114 EF FNDP 445/1280 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 28160268 t fired, 11919894 attempts, .
139 EF STEQ 386/746 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 232/1613 16/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 4167543 m, 16275 m/sec, 17571272 t fired, .
Time elapsed: 605 secs. Pages in use: 16
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 391/741 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 23332996 t fired, 4122473 attempts, .
114 EF FNDP 450/1275 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 28469184 t fired, 12050539 attempts, .
139 EF STEQ 391/741 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 237/1613 16/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 4245157 m, 15522 m/sec, 17974823 t fired, .
Time elapsed: 610 secs. Pages in use: 16
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 396/736 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 23637974 t fired, 4175985 attempts, .
114 EF FNDP 455/1270 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 28780496 t fired, 12182406 attempts, .
139 EF STEQ 396/736 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 242/1613 16/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 4332557 m, 17480 m/sec, 18438183 t fired, .
Time elapsed: 615 secs. Pages in use: 16
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 401/731 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 23955065 t fired, 4231891 attempts, .
114 EF FNDP 460/1265 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 29076919 t fired, 12307827 attempts, .
139 EF STEQ 401/731 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 247/1613 17/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 4417773 m, 17043 m/sec, 18836925 t fired, .
Time elapsed: 620 secs. Pages in use: 17
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF 0 2 3 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
113 EF FNDP 406/726 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 24256887 t fired, 4285198 attempts, .
114 EF FNDP 465/1260 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-00 29382495 t fired, 12437309 attempts, .
139 EF STEQ 406/726 0/5 DNAwalker-PT-10ringRL-ReachabilityFireability-01 sara is running.
143 EF EXCL 252/1613 17/32 DNAwalker-PT-10ringRL-ReachabilityFireability-01 4503046 m, 17054 m/sec, 19259308 t fired, .
Time elapsed: 625 secs. Pages in use: 17
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 143 (type EXCL) for DNAwalker-PT-10ringRL-ReachabilityFireability-01
lola: result : false
lola: markings : 4507649
lola: fired transitions : 19290501
lola: time used : 252.000000
lola: memory pages used : 17
lola: CANCELED task # 113 (type FNDP) for DNAwalker-PT-10ringRL-ReachabilityFireability-01 (obsolete)
lola: CANCELED task # 139 (type EQUN) for DNAwalker-PT-10ringRL-ReachabilityFireability-01 (obsolete)
lola: LAUNCH task # 118 (type EXCL) for 0 DNAwalker-PT-10ringRL-ReachabilityFireability-00
lola: time limit : 2975 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 115 (type EQUN) for 0 DNAwalker-PT-10ringRL-ReachabilityFireability-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 117 (type SRCH) for 0 DNAwalker-PT-10ringRL-ReachabilityFireability-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 139 (type EQUN) for DNAwalker-PT-10ringRL-ReachabilityFireability-01
lola: result : unknown
lola: FINISHED task # 113 (type FNDP) for DNAwalker-PT-10ringRL-ReachabilityFireability-01
lola: result : unknown
lola: fired transitions : 24275536
lola: tried executions : 4288460
lola: time used : 406.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 117 (type SRCH) for DNAwalker-PT-10ringRL-ReachabilityFireability-00
lola: result : false
lola: markings : 880
lola: fired transitions : 960
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 114 (type FNDP) for DNAwalker-PT-10ringRL-ReachabilityFireability-00 (obsolete)
lola: CANCELED task # 115 (type EQUN) for DNAwalker-PT-10ringRL-ReachabilityFireability-00 (obsolete)
lola: CANCELED task # 118 (type EXCL) for DNAwalker-PT-10ringRL-ReachabilityFireability-00 (obsolete)
lola: Portfolio finished: no open formulas
FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DNAwalker-PT-10ringRL-ReachabilityFireability-00: AG true tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-01: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-02: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-03: AG true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-04: EF false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-05: EF false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-06: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-07: AG false findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-08: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-09: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-10: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-11: EF true tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-12: AG false tandem / insertion
DNAwalker-PT-10ringRL-ReachabilityFireability-13: EF true findpath
DNAwalker-PT-10ringRL-ReachabilityFireability-14: AG false tandem / relaxed
DNAwalker-PT-10ringRL-ReachabilityFireability-15: AG false tandem / relaxed
Time elapsed: 625 secs. Pages in use: 17
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-10ringRL"
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-5348"
echo " Executing tool lola"
echo " Input is DNAwalker-PT-10ringRL, 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 r102-tall-167814477600951"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DNAwalker-PT-10ringRL.tgz
mv DNAwalker-PT-10ringRL execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;