About the Execution of LoLA for DBSingleClientW-PT-d1m08
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3717.287 | 485525.00 | 1930144.00 | 65.50 | TTTFFTFTTFFTTTTT | 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-167814476700271.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 DBSingleClientW-PT-d1m08, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r102-tall-167814476700271
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 776K
-rw-r--r-- 1 mcc users 7.1K Feb 26 15:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 26 15:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 15:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 26 15:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 5.3K Feb 26 15:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 42K Feb 26 15:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 15:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 26 15:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 432K 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 DBSingleClientW-PT-d1m08-ReachabilityFireability-00
FORMULA_NAME DBSingleClientW-PT-d1m08-ReachabilityFireability-01
FORMULA_NAME DBSingleClientW-PT-d1m08-ReachabilityFireability-02
FORMULA_NAME DBSingleClientW-PT-d1m08-ReachabilityFireability-03
FORMULA_NAME DBSingleClientW-PT-d1m08-ReachabilityFireability-04
FORMULA_NAME DBSingleClientW-PT-d1m08-ReachabilityFireability-05
FORMULA_NAME DBSingleClientW-PT-d1m08-ReachabilityFireability-06
FORMULA_NAME DBSingleClientW-PT-d1m08-ReachabilityFireability-07
FORMULA_NAME DBSingleClientW-PT-d1m08-ReachabilityFireability-08
FORMULA_NAME DBSingleClientW-PT-d1m08-ReachabilityFireability-09
FORMULA_NAME DBSingleClientW-PT-d1m08-ReachabilityFireability-10
FORMULA_NAME DBSingleClientW-PT-d1m08-ReachabilityFireability-11
FORMULA_NAME DBSingleClientW-PT-d1m08-ReachabilityFireability-12
FORMULA_NAME DBSingleClientW-PT-d1m08-ReachabilityFireability-13
FORMULA_NAME DBSingleClientW-PT-d1m08-ReachabilityFireability-14
FORMULA_NAME DBSingleClientW-PT-d1m08-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1678259995757
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=DBSingleClientW-PT-d1m08
Not applying reductions.
Model is PT
ReachabilityFireability PT
starting LoLA
BK_INPUT DBSingleClientW-PT-d1m08
BK_EXAMINATION: ReachabilityFireability
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
ReachabilityFireability
FORMULA DBSingleClientW-PT-d1m08-ReachabilityFireability-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DBSingleClientW-PT-d1m08-ReachabilityFireability-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DBSingleClientW-PT-d1m08-ReachabilityFireability-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DBSingleClientW-PT-d1m08-ReachabilityFireability-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DBSingleClientW-PT-d1m08-ReachabilityFireability-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DBSingleClientW-PT-d1m08-ReachabilityFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DBSingleClientW-PT-d1m08-ReachabilityFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DBSingleClientW-PT-d1m08-ReachabilityFireability-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DBSingleClientW-PT-d1m08-ReachabilityFireability-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DBSingleClientW-PT-d1m08-ReachabilityFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DBSingleClientW-PT-d1m08-ReachabilityFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DBSingleClientW-PT-d1m08-ReachabilityFireability-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DBSingleClientW-PT-d1m08-ReachabilityFireability-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DBSingleClientW-PT-d1m08-ReachabilityFireability-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DBSingleClientW-PT-d1m08-ReachabilityFireability-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DBSingleClientW-PT-d1m08-ReachabilityFireability-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1678260481282
--------------------
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: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:159
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:147
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: 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: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Rule S: 0 transitions removed,1093 places removed
lola: LAUNCH INITIAL
lola: LAUNCH task # 7 (type CNST) for 6 DBSingleClientW-PT-d1m08-ReachabilityFireability-02
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 13 (type CNST) for 12 DBSingleClientW-PT-d1m08-ReachabilityFireability-04
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 13 (type CNST) for DBSingleClientW-PT-d1m08-ReachabilityFireability-04
lola: result : false
lola: FINISHED task # 7 (type CNST) for DBSingleClientW-PT-d1m08-ReachabilityFireability-02
lola: result : true
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 # 52 (type EXCL) for 24 DBSingleClientW-PT-d1m08-ReachabilityFireability-08
lola: time limit : 256 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 48 (type FNDP) for 24 DBSingleClientW-PT-d1m08-ReachabilityFireability-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 49 (type EQUN) for 24 DBSingleClientW-PT-d1m08-ReachabilityFireability-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 51 (type SRCH) for 24 DBSingleClientW-PT-d1m08-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: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
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-49.sara.
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: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: FINISHED task # 51 (type SRCH) for DBSingleClientW-PT-d1m08-ReachabilityFireability-08
lola: result : true
lola: markings : 57
lola: fired transitions : 56
lola: time used : 0.000000
lola: memory pages used : 1
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 52 (type EXCL) for DBSingleClientW-PT-d1m08-ReachabilityFireability-08
lola: result : true
lola: markings : 146
lola: fired transitions : 149
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 48 (type FNDP) for DBSingleClientW-PT-d1m08-ReachabilityFireability-08 (obsolete)
lola: CANCELED task # 49 (type EQUN) for DBSingleClientW-PT-d1m08-ReachabilityFireability-08 (obsolete)
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:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 59 (type EXCL) for 27 DBSingleClientW-PT-d1m08-ReachabilityFireability-09
lola: time limit : 399 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 66 (type FNDP) for 15 DBSingleClientW-PT-d1m08-ReachabilityFireability-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 67 (type EQUN) for 15 DBSingleClientW-PT-d1m08-ReachabilityFireability-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 69 (type SRCH) for 15 DBSingleClientW-PT-d1m08-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: FINISHED task # 49 (type EQUN) for DBSingleClientW-PT-d1m08-ReachabilityFireability-08
lola: result : unknown
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: FINISHED task # 48 (type FNDP) for DBSingleClientW-PT-d1m08-ReachabilityFireability-08
lola: result : unknown
lola: fired transitions : 1110
lola: tried executions : 151
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: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: 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: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: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: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: FINISHED task # 59 (type EXCL) for DBSingleClientW-PT-d1m08-ReachabilityFireability-09
lola: result : true
lola: markings : 1359
lola: fired transitions : 1398
lola: time used : 1.000000
lola: memory pages used : 1
lola: LAUNCH task # 106 (type EXCL) for 45 DBSingleClientW-PT-d1m08-ReachabilityFireability-15
lola: time limit : 299 sec
lola: memory limit: 32 pages
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-67.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 69 (type SRCH) for DBSingleClientW-PT-d1m08-ReachabilityFireability-05
lola: result : true
lola: markings : 228104
lola: fired transitions : 273144
lola: time used : 2.000000
lola: memory pages used : 2
lola: CANCELED task # 66 (type FNDP) for DBSingleClientW-PT-d1m08-ReachabilityFireability-05 (obsolete)
lola: CANCELED task # 67 (type EQUN) for DBSingleClientW-PT-d1m08-ReachabilityFireability-05 (obsolete)
lola: LAUNCH task # 73 (type FNDP) for 18 DBSingleClientW-PT-d1m08-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 74 (type EQUN) for 18 DBSingleClientW-PT-d1m08-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 76 (type SRCH) for 18 DBSingleClientW-PT-d1m08-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 67 (type EQUN) for DBSingleClientW-PT-d1m08-ReachabilityFireability-05
lola: result : unknown
lola: FINISHED task # 66 (type FNDP) for DBSingleClientW-PT-d1m08-ReachabilityFireability-05
lola: result : unknown
lola: fired transitions : 171466
lola: tried executions : 24668
lola: time used : 2.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-74.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 106 (type EXCL) for DBSingleClientW-PT-d1m08-ReachabilityFireability-15
lola: result : true
lola: markings : 110455
lola: fired transitions : 124841
lola: time used : 3.000000
lola: memory pages used : 1
lola: LAUNCH task # 103 (type EXCL) for 21 DBSingleClientW-PT-d1m08-ReachabilityFireability-07
lola: time limit : 359 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG 0 2 3 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
73 EF FNDP 3/254 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-06 271453 t fired, 38828 attempts, .
74 EF STEQ 3/274 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-06 sara is running.
76 EF SRCH 3/274 2/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-06 381654 m, 76330 m/sec, 427129 t fired, .
103 EF EXCL 1/359 1/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-07 60679 m, 12135 m/sec, 67943 t fired, .
Time elapsed: 8 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 76 (type SRCH) for DBSingleClientW-PT-d1m08-ReachabilityFireability-06 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
73 EF FNDP 8/253 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-06 748385 t fired, 108042 attempts, .
74 EF STEQ 8/273 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-06 sara is running.
103 EF EXCL 6/359 2/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-07 249528 m, 37769 m/sec, 280487 t fired, .
Time elapsed: 13 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 132 (type FNDP) for 30 DBSingleClientW-PT-d1m08-ReachabilityFireability-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 132 (type FNDP) for DBSingleClientW-PT-d1m08-ReachabilityFireability-10
lola: result : true
lola: fired transitions : 121647
lola: tried executions : 17604
lola: time used : 1.000000
lola: memory pages used : 0
lola: LAUNCH task # 80 (type FNDP) for 33 DBSingleClientW-PT-d1m08-ReachabilityFireability-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
73 EF FNDP 13/317 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-06 1220623 t fired, 176898 attempts, .
74 EF STEQ 13/290 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-06 sara is running.
80 EF FNDP 4/298 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 401760 t fired, 72000 attempts, .
103 EF EXCL 11/399 3/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-07 440111 m, 38116 m/sec, 491958 t fired, .
Time elapsed: 18 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
73 EF FNDP 18/313 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-06 1693702 t fired, 246269 attempts, .
74 EF STEQ 18/286 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-06 sara is running.
80 EF FNDP 9/294 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 941170 t fired, 168558 attempts, .
103 EF EXCL 16/399 4/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-07 631262 m, 38230 m/sec, 702364 t fired, .
Time elapsed: 23 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
73 EF FNDP 23/308 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-06 2167099 t fired, 315667 attempts, .
74 EF STEQ 23/281 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-06 sara is running.
80 EF FNDP 14/289 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 1480049 t fired, 265247 attempts, .
103 EF EXCL 21/399 5/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-07 822451 m, 38237 m/sec, 913222 t fired, .
Time elapsed: 28 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
73 EF FNDP 28/303 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-06 2639569 t fired, 384901 attempts, .
74 EF STEQ 28/276 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-06 sara is running.
80 EF FNDP 19/284 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 2016860 t fired, 361444 attempts, .
103 EF EXCL 26/399 7/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-07 1012715 m, 38052 m/sec, 1126401 t fired, .
Time elapsed: 33 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
73 EF FNDP 33/298 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-06 3113344 t fired, 454654 attempts, .
74 EF STEQ 33/271 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-06 sara is running.
80 EF FNDP 24/279 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 2554748 t fired, 457676 attempts, .
103 EF EXCL 31/399 8/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-07 1207654 m, 38987 m/sec, 1336327 t fired, .
Time elapsed: 38 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
73 EF FNDP 38/293 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-06 3586925 t fired, 524136 attempts, .
74 EF STEQ 38/266 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-06 sara is running.
80 EF FNDP 29/274 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 3091461 t fired, 553564 attempts, .
103 EF EXCL 36/399 9/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-07 1400255 m, 38520 m/sec, 1547621 t fired, .
Time elapsed: 43 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
73 EF FNDP 43/288 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-06 4060457 t fired, 593820 attempts, .
74 EF STEQ 43/261 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-06 sara is running.
80 EF FNDP 34/269 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 3629509 t fired, 649964 attempts, .
103 EF EXCL 41/399 10/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-07 1592294 m, 38407 m/sec, 1768162 t fired, .
Time elapsed: 48 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 73 (type FNDP) for DBSingleClientW-PT-d1m08-ReachabilityFireability-06
lola: result : true
lola: fired transitions : 4256610
lola: tried executions : 622725
lola: time used : 45.000000
lola: memory pages used : 0
lola: CANCELED task # 74 (type EQUN) for DBSingleClientW-PT-d1m08-ReachabilityFireability-06 (obsolete)
lola: LAUNCH task # 62 (type FNDP) for 3 DBSingleClientW-PT-d1m08-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 79 (type EQUN) for 3 DBSingleClientW-PT-d1m08-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 74 (type EQUN) for DBSingleClientW-PT-d1m08-ReachabilityFireability-06
lola: result : unknown
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-79.sara.
sara: place or transition ordering is non-deterministic
sara: warning, failure of lp_solve (at job 138)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 3/322 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 283554 t fired, 40650 attempts, .
79 EF STEQ 3/322 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 39/322 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 4165240 t fired, 745789 attempts, .
103 EF EXCL 46/449 11/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-07 1785558 m, 38652 m/sec, 1998840 t fired, .
Time elapsed: 53 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 8/319 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 777466 t fired, 112578 attempts, .
79 EF STEQ 8/319 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 44/319 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 4702108 t fired, 841833 attempts, .
103 EF EXCL 51/449 12/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-07 1972645 m, 37417 m/sec, 2230541 t fired, .
Time elapsed: 58 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 13/314 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 1270691 t fired, 184203 attempts, .
79 EF STEQ 13/314 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 49/314 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 5239449 t fired, 938098 attempts, .
103 EF EXCL 56/449 13/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-07 2161075 m, 37686 m/sec, 2465828 t fired, .
Time elapsed: 63 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 18/309 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 1764464 t fired, 256181 attempts, .
79 EF STEQ 18/309 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 54/309 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 5776793 t fired, 1034378 attempts, .
103 EF EXCL 61/449 14/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-07 2350727 m, 37930 m/sec, 2694951 t fired, .
Time elapsed: 68 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 23/304 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 2258686 t fired, 328321 attempts, .
79 EF STEQ 23/304 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 59/304 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 6313494 t fired, 1130356 attempts, .
103 EF EXCL 66/449 15/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-07 2539641 m, 37782 m/sec, 2930784 t fired, .
Time elapsed: 73 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 28/299 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 2752730 t fired, 400777 attempts, .
79 EF STEQ 28/299 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 64/299 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 6850430 t fired, 1226504 attempts, .
103 EF EXCL 71/449 16/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-07 2725973 m, 37266 m/sec, 3175535 t fired, .
Time elapsed: 78 secs. Pages in use: 16
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 33/294 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 3246873 t fired, 472819 attempts, .
79 EF STEQ 33/294 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 69/294 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 7387339 t fired, 1322792 attempts, .
103 EF EXCL 76/449 17/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-07 2915075 m, 37820 m/sec, 3411924 t fired, .
Time elapsed: 83 secs. Pages in use: 17
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 38/289 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 3741424 t fired, 545234 attempts, .
79 EF STEQ 38/289 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 74/289 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 7924822 t fired, 1419103 attempts, .
103 EF EXCL 81/449 18/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-07 3101629 m, 37310 m/sec, 3661262 t fired, .
Time elapsed: 88 secs. Pages in use: 18
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 43/284 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 4234945 t fired, 617470 attempts, .
79 EF STEQ 43/284 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 79/284 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 8461910 t fired, 1515121 attempts, .
103 EF EXCL 86/449 19/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-07 3286009 m, 36876 m/sec, 3913870 t fired, .
Time elapsed: 93 secs. Pages in use: 19
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 48/279 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 4729160 t fired, 689755 attempts, .
79 EF STEQ 48/279 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 84/279 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 8998779 t fired, 1611159 attempts, .
103 EF EXCL 91/449 20/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-07 3468937 m, 36585 m/sec, 4165985 t fired, .
Time elapsed: 98 secs. Pages in use: 20
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 53/274 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 5222834 t fired, 762146 attempts, .
79 EF STEQ 53/274 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 89/274 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 9536215 t fired, 1707452 attempts, .
103 EF EXCL 96/449 21/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-07 3652054 m, 36623 m/sec, 4409640 t fired, .
Time elapsed: 103 secs. Pages in use: 21
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 58/269 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 5717224 t fired, 834600 attempts, .
79 EF STEQ 58/269 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 94/269 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 10073133 t fired, 1803584 attempts, .
103 EF EXCL 101/449 22/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-07 3838303 m, 37249 m/sec, 4651470 t fired, .
Time elapsed: 108 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 103 (type EXCL) for DBSingleClientW-PT-d1m08-ReachabilityFireability-07
lola: result : true
lola: markings : 3838767
lola: fired transitions : 4651978
lola: time used : 101.000000
lola: memory pages used : 22
lola: LAUNCH task # 129 (type EXCL) for 36 DBSingleClientW-PT-d1m08-ReachabilityFireability-12
lola: time limit : 498 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 63/297 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 6211558 t fired, 906734 attempts, .
79 EF STEQ 63/336 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 99/304 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 10610468 t fired, 1899584 attempts, .
129 EF EXCL 5/498 2/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-12 184001 m, 36800 m/sec, 209566 t fired, .
Time elapsed: 113 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 68/292 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 6705416 t fired, 978874 attempts, .
79 EF STEQ 68/331 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 104/299 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 11147567 t fired, 1995783 attempts, .
129 EF EXCL 10/498 3/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-12 373545 m, 37908 m/sec, 417205 t fired, .
Time elapsed: 118 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 73/287 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 7199737 t fired, 1051115 attempts, .
79 EF STEQ 73/326 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 109/294 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 11684786 t fired, 2091894 attempts, .
129 EF EXCL 15/498 4/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-12 561983 m, 37687 m/sec, 626225 t fired, .
Time elapsed: 123 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 78/282 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 7693570 t fired, 1123418 attempts, .
79 EF STEQ 78/321 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 114/289 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 12222280 t fired, 2188293 attempts, .
129 EF EXCL 20/498 5/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-12 751232 m, 37849 m/sec, 833646 t fired, .
Time elapsed: 128 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 83/277 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 8187388 t fired, 1195758 attempts, .
79 EF STEQ 83/316 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 119/284 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 12759337 t fired, 2284452 attempts, .
129 EF EXCL 25/498 6/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-12 939228 m, 37599 m/sec, 1042934 t fired, .
Time elapsed: 133 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 88/272 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 8680887 t fired, 1267830 attempts, .
79 EF STEQ 88/311 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 124/279 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 13296548 t fired, 2380703 attempts, .
129 EF EXCL 30/498 7/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-12 1130530 m, 38260 m/sec, 1252652 t fired, .
Time elapsed: 138 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 93/267 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 9174744 t fired, 1340201 attempts, .
79 EF STEQ 93/306 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 129/274 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 13834014 t fired, 2476942 attempts, .
129 EF EXCL 35/498 8/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-12 1322993 m, 38492 m/sec, 1461380 t fired, .
Time elapsed: 143 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 98/262 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 9668595 t fired, 1412470 attempts, .
79 EF STEQ 98/301 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 134/269 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 14371378 t fired, 2573161 attempts, .
129 EF EXCL 40/498 9/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-12 1512275 m, 37856 m/sec, 1674748 t fired, .
Time elapsed: 148 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 103/257 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 10163027 t fired, 1485037 attempts, .
79 EF STEQ 103/296 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 139/264 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 14908187 t fired, 2669259 attempts, .
129 EF EXCL 45/498 10/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-12 1702470 m, 38039 m/sec, 1904964 t fired, .
Time elapsed: 153 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 108/252 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 10657353 t fired, 1557592 attempts, .
79 EF STEQ 108/291 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 144/259 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 15445049 t fired, 2765298 attempts, .
129 EF EXCL 50/498 11/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-12 1891253 m, 37756 m/sec, 2128079 t fired, .
Time elapsed: 158 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 113/247 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 11151735 t fired, 1630430 attempts, .
79 EF STEQ 113/286 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 149/254 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 15982261 t fired, 2861449 attempts, .
129 EF EXCL 55/498 12/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-12 2076183 m, 36986 m/sec, 2363461 t fired, .
Time elapsed: 163 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 118/242 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 11645808 t fired, 1702622 attempts, .
79 EF STEQ 118/281 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 154/249 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 16519218 t fired, 2957619 attempts, .
129 EF EXCL 60/498 14/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-12 2264751 m, 37713 m/sec, 2588007 t fired, .
Time elapsed: 168 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 123/237 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 12140634 t fired, 1775118 attempts, .
79 EF STEQ 123/276 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 159/244 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 17055732 t fired, 3053579 attempts, .
129 EF EXCL 65/498 15/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-12 2454464 m, 37942 m/sec, 2817803 t fired, .
Time elapsed: 173 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 128/232 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 12635304 t fired, 1847781 attempts, .
79 EF STEQ 128/271 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 164/239 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 17592762 t fired, 3149775 attempts, .
129 EF EXCL 70/498 16/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-12 2638620 m, 36831 m/sec, 3062984 t fired, .
Time elapsed: 178 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 133/227 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 13129442 t fired, 1920224 attempts, .
79 EF STEQ 133/266 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 169/234 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 18129951 t fired, 3245867 attempts, .
129 EF EXCL 75/498 17/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-12 2823891 m, 37054 m/sec, 3304830 t fired, .
Time elapsed: 183 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 138/222 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 13623684 t fired, 1992560 attempts, .
79 EF STEQ 138/261 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 174/229 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 18666495 t fired, 3341885 attempts, .
129 EF EXCL 80/498 18/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-12 3010519 m, 37325 m/sec, 3539166 t fired, .
Time elapsed: 188 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 143/217 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 14117845 t fired, 2065024 attempts, .
79 EF STEQ 143/256 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 179/224 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 19203166 t fired, 3437947 attempts, .
129 EF EXCL 85/498 19/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-12 3196364 m, 37169 m/sec, 3785815 t fired, .
Time elapsed: 193 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 148/212 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 14611797 t fired, 2137717 attempts, .
79 EF STEQ 148/251 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 184/219 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 19740251 t fired, 3534104 attempts, .
129 EF EXCL 90/498 20/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-12 3376631 m, 36053 m/sec, 4038941 t fired, .
Time elapsed: 198 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 153/207 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 15106485 t fired, 2210283 attempts, .
79 EF STEQ 153/246 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 189/214 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 20276768 t fired, 3630033 attempts, .
129 EF EXCL 95/498 21/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-12 3558545 m, 36382 m/sec, 4283052 t fired, .
Time elapsed: 203 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 158/202 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 15600464 t fired, 2282859 attempts, .
79 EF STEQ 158/241 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 194/209 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 20813596 t fired, 3726123 attempts, .
129 EF EXCL 100/498 22/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-12 3738917 m, 36074 m/sec, 4530326 t fired, .
Time elapsed: 208 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 129 (type EXCL) for DBSingleClientW-PT-d1m08-ReachabilityFireability-12
lola: result : true
lola: markings : 3838765
lola: fired transitions : 4651976
lola: time used : 103.000000
lola: memory pages used : 22
lola: LAUNCH task # 117 (type EXCL) for 42 DBSingleClientW-PT-d1m08-ReachabilityFireability-14
lola: time limit : 564 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 163/282 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 16094827 t fired, 2355298 attempts, .
79 EF STEQ 163/282 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 199/251 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 21350733 t fired, 3822233 attempts, .
117 EF EXCL 2/564 1/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-14 102997 m, 20599 m/sec, 116810 t fired, .
Time elapsed: 213 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 168/280 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 16588614 t fired, 2427396 attempts, .
79 EF STEQ 168/280 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 204/249 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 21887551 t fired, 3918291 attempts, .
117 EF EXCL 7/564 2/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-14 322028 m, 43806 m/sec, 360051 t fired, .
Time elapsed: 218 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 173/275 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 17083167 t fired, 2499804 attempts, .
79 EF STEQ 173/275 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 209/244 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 22425133 t fired, 4014671 attempts, .
117 EF EXCL 12/564 4/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-14 541440 m, 43882 m/sec, 603209 t fired, .
Time elapsed: 223 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 178/270 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 17577838 t fired, 2572148 attempts, .
79 EF STEQ 178/270 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 214/239 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 22961694 t fired, 4110755 attempts, .
117 EF EXCL 17/564 5/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-14 760593 m, 43830 m/sec, 844194 t fired, .
Time elapsed: 228 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 183/265 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 18072533 t fired, 2644813 attempts, .
79 EF STEQ 183/265 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 219/234 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 23498870 t fired, 4206960 attempts, .
117 EF EXCL 22/564 6/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-14 979107 m, 43702 m/sec, 1088075 t fired, .
Time elapsed: 233 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 188/260 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 18566601 t fired, 2716986 attempts, .
79 EF STEQ 188/260 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
80 EF FNDP 224/229 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 24036074 t fired, 4303140 attempts, .
117 EF EXCL 27/564 8/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-14 1200039 m, 44186 m/sec, 1328450 t fired, .
Time elapsed: 238 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 80 (type FNDP) for DBSingleClientW-PT-d1m08-ReachabilityFireability-11 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 0 0 1 1 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 193/255 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 19060929 t fired, 2789166 attempts, .
79 EF STEQ 193/255 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
117 EF EXCL 32/564 9/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-14 1420895 m, 44171 m/sec, 1574115 t fired, .
Time elapsed: 243 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 78 (type FNDP) for 0 DBSingleClientW-PT-d1m08-ReachabilityFireability-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 80 (type FNDP) for DBSingleClientW-PT-d1m08-ReachabilityFireability-11
lola: result : unknown
lola: fired transitions : 24573128
lola: tried executions : 4399167
lola: time used : 229.000000
lola: memory pages used : 0
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 0 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 198/250 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 19555461 t fired, 2861625 attempts, .
78 EF FNDP 5/419 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 490503 t fired, 70755 attempts, .
79 EF STEQ 198/314 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
117 EF EXCL 37/564 10/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-14 1638451 m, 43511 m/sec, 1829638 t fired, .
Time elapsed: 248 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 0 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 203/245 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 20049918 t fired, 2933944 attempts, .
78 EF FNDP 10/414 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 983008 t fired, 142607 attempts, .
79 EF STEQ 203/309 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
117 EF EXCL 42/564 11/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-14 1858629 m, 44035 m/sec, 2089482 t fired, .
Time elapsed: 253 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 0 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 208/240 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 20544737 t fired, 3006496 attempts, .
78 EF FNDP 15/409 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 1475409 t fired, 214754 attempts, .
79 EF STEQ 208/304 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
117 EF EXCL 47/564 12/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-14 2075573 m, 43388 m/sec, 2364038 t fired, .
Time elapsed: 258 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 0 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 213/235 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 21038964 t fired, 3078775 attempts, .
78 EF FNDP 20/404 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 1967654 t fired, 286913 attempts, .
79 EF STEQ 213/299 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
117 EF EXCL 52/564 14/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-14 2293422 m, 43569 m/sec, 2623037 t fired, .
Time elapsed: 263 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 0 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 218/230 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 21533138 t fired, 3150969 attempts, .
78 EF FNDP 25/399 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 2460572 t fired, 359265 attempts, .
79 EF STEQ 218/294 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
117 EF EXCL 57/564 15/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-14 2509492 m, 43214 m/sec, 2893997 t fired, .
Time elapsed: 268 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 0 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 223/225 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 22027743 t fired, 3223445 attempts, .
78 EF FNDP 30/394 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 2952843 t fired, 431540 attempts, .
79 EF STEQ 223/289 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
117 EF EXCL 62/564 16/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-14 2724512 m, 43004 m/sec, 3175029 t fired, .
Time elapsed: 273 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 62 (type FNDP) for DBSingleClientW-PT-d1m08-ReachabilityFireability-01 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 1 1 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 4 0 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 35/389 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 3445559 t fired, 503710 attempts, .
79 EF STEQ 228/284 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
117 EF EXCL 67/564 17/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-14 2941175 m, 43332 m/sec, 3445676 t fired, .
Time elapsed: 278 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 100 (type FNDP) for 39 DBSingleClientW-PT-d1m08-ReachabilityFireability-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 62 (type FNDP) for DBSingleClientW-PT-d1m08-ReachabilityFireability-01
lola: result : unknown
lola: fired transitions : 22522463
lola: tried executions : 3296200
lola: time used : 228.000000
lola: memory pages used : 0
lola: FINISHED task # 100 (type FNDP) for DBSingleClientW-PT-d1m08-ReachabilityFireability-13
lola: result : true
lola: fired transitions : 182355
lola: tried executions : 26262
lola: time used : 2.000000
lola: memory pages used : 0
lola: LAUNCH task # 83 (type FNDP) for 9 DBSingleClientW-PT-d1m08-ReachabilityFireability-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 83 (type FNDP) for DBSingleClientW-PT-d1m08-ReachabilityFireability-03
lola: result : true
lola: fired transitions : 2643
lola: tried executions : 427
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 93 (type EQUN) for 33 DBSingleClientW-PT-d1m08-ReachabilityFireability-11
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
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-93.sara.
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 40/634 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 3939634 t fired, 576307 attempts, .
79 EF STEQ 233/657 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
93 EF STEQ 3/664 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
117 EF EXCL 72/847 18/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-14 3155283 m, 42821 m/sec, 3731188 t fired, .
Time elapsed: 283 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 117 (type EXCL) for DBSingleClientW-PT-d1m08-ReachabilityFireability-14
lola: result : true
lola: markings : 3203487
lola: fired transitions : 3796319
lola: time used : 73.000000
lola: memory pages used : 19
lola: LAUNCH task # 91 (type EXCL) for 0 DBSingleClientW-PT-d1m08-ReachabilityFireability-00
lola: time limit : 1105 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 45/1078 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 4435643 t fired, 649075 attempts, .
79 EF STEQ 238/949 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 4/1105 1/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 133896 m, 26779 m/sec, 152562 t fired, .
93 EF STEQ 8/826 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 288 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 50/1074 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 4931011 t fired, 721521 attempts, .
79 EF STEQ 243/945 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 9/1105 2/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 287544 m, 30729 m/sec, 373073 t fired, .
93 EF STEQ 13/822 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 293 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 55/1069 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 5426072 t fired, 794129 attempts, .
79 EF STEQ 248/940 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 14/1105 3/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 437771 m, 30045 m/sec, 626455 t fired, .
93 EF STEQ 18/817 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 298 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 60/1064 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 5921795 t fired, 866991 attempts, .
79 EF STEQ 253/935 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 19/1105 4/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 591527 m, 30751 m/sec, 863846 t fired, .
93 EF STEQ 23/812 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 303 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 65/1059 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 6418059 t fired, 939943 attempts, .
79 EF STEQ 258/930 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 24/1105 5/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 742927 m, 30280 m/sec, 1111854 t fired, .
93 EF STEQ 28/807 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 308 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 70/1054 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 6912276 t fired, 1012602 attempts, .
79 EF STEQ 263/925 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 29/1105 5/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 891448 m, 29704 m/sec, 1373278 t fired, .
93 EF STEQ 33/802 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 313 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 75/1049 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 7407607 t fired, 1085130 attempts, .
79 EF STEQ 268/920 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 34/1105 6/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 1041433 m, 29997 m/sec, 1621638 t fired, .
93 EF STEQ 38/797 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 318 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 80/1044 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 7902788 t fired, 1157691 attempts, .
79 EF STEQ 273/915 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 39/1105 7/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 1189243 m, 29562 m/sec, 1877698 t fired, .
93 EF STEQ 43/792 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 323 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 85/1039 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 8398131 t fired, 1230462 attempts, .
79 EF STEQ 278/910 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 44/1105 8/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 1337601 m, 29671 m/sec, 2133956 t fired, .
93 EF STEQ 48/787 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 328 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 90/1034 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 8893241 t fired, 1303058 attempts, .
79 EF STEQ 283/905 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 49/1105 9/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 1487578 m, 29995 m/sec, 2369232 t fired, .
93 EF STEQ 53/782 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 333 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 95/1029 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 9388790 t fired, 1375921 attempts, .
79 EF STEQ 288/900 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 54/1105 10/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 1630766 m, 28637 m/sec, 2624241 t fired, .
93 EF STEQ 58/777 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 338 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 100/1024 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 9882302 t fired, 1448404 attempts, .
79 EF STEQ 293/895 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 59/1105 11/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 1774843 m, 28815 m/sec, 2869742 t fired, .
93 EF STEQ 63/772 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 343 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 105/1019 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 10380287 t fired, 1521530 attempts, .
79 EF STEQ 298/890 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 64/1105 11/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 1920909 m, 29213 m/sec, 3128676 t fired, .
93 EF STEQ 68/767 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 348 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 110/1014 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 10877894 t fired, 1594671 attempts, .
79 EF STEQ 303/885 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 69/1105 12/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 2059863 m, 27790 m/sec, 3414887 t fired, .
93 EF STEQ 73/762 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 353 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 115/1009 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 11375656 t fired, 1667703 attempts, .
79 EF STEQ 308/880 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 74/1105 13/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 2195942 m, 27215 m/sec, 3706130 t fired, .
93 EF STEQ 78/757 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 358 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 120/1004 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 11873965 t fired, 1741020 attempts, .
79 EF STEQ 313/875 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 79/1105 13/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 2335414 m, 27894 m/sec, 3944800 t fired, .
93 EF STEQ 83/752 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 363 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 125/999 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 12371989 t fired, 1813915 attempts, .
79 EF STEQ 318/870 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 84/1105 14/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 2465787 m, 26074 m/sec, 4201470 t fired, .
93 EF STEQ 88/747 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 368 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 130/994 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 12870815 t fired, 1887439 attempts, .
79 EF STEQ 323/865 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 89/1105 15/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 2589579 m, 24758 m/sec, 4460250 t fired, .
93 EF STEQ 93/742 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 373 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 135/989 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 13368993 t fired, 1960653 attempts, .
79 EF STEQ 328/860 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 94/1105 15/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 2717201 m, 25524 m/sec, 4751442 t fired, .
93 EF STEQ 98/737 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 378 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 140/984 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 13867583 t fired, 2033713 attempts, .
79 EF STEQ 333/855 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 99/1105 16/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 2887074 m, 33974 m/sec, 4949466 t fired, .
93 EF STEQ 103/732 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 383 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 145/979 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 14366619 t fired, 2107146 attempts, .
79 EF STEQ 338/850 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 104/1105 17/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 3050884 m, 32762 m/sec, 5166335 t fired, .
93 EF STEQ 108/727 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 388 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 150/974 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 14864932 t fired, 2180395 attempts, .
79 EF STEQ 343/845 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 109/1105 18/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 3208717 m, 31566 m/sec, 5400490 t fired, .
93 EF STEQ 113/722 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 393 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 155/969 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 15362848 t fired, 2253379 attempts, .
79 EF STEQ 348/840 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 114/1105 19/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 3367339 m, 31724 m/sec, 5633052 t fired, .
93 EF STEQ 118/717 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 398 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 160/964 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 15861169 t fired, 2326268 attempts, .
79 EF STEQ 353/835 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 119/1105 20/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 3525565 m, 31645 m/sec, 5873598 t fired, .
93 EF STEQ 123/712 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 403 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 165/959 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 16358516 t fired, 2399221 attempts, .
79 EF STEQ 358/830 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 124/1105 20/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 3683375 m, 31562 m/sec, 6106124 t fired, .
93 EF STEQ 128/707 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 408 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 170/954 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 16857275 t fired, 2472507 attempts, .
79 EF STEQ 363/825 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 129/1105 21/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 3837486 m, 30822 m/sec, 6344546 t fired, .
93 EF STEQ 133/702 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 413 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 175/949 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 17355871 t fired, 2545839 attempts, .
79 EF STEQ 368/820 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 134/1105 22/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 3987279 m, 29958 m/sec, 6599003 t fired, .
93 EF STEQ 138/697 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 418 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 180/944 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 17854180 t fired, 2618895 attempts, .
79 EF STEQ 373/815 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 139/1105 23/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 4141220 m, 30788 m/sec, 6839771 t fired, .
93 EF STEQ 143/692 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 423 secs. Pages in use: 23
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 185/939 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 18352537 t fired, 2692023 attempts, .
79 EF STEQ 378/810 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 144/1105 23/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 4294344 m, 30624 m/sec, 7086269 t fired, .
93 EF STEQ 148/687 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 428 secs. Pages in use: 23
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 190/934 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 18851290 t fired, 2765350 attempts, .
79 EF STEQ 383/805 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 149/1105 24/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 4444127 m, 29956 m/sec, 7339943 t fired, .
93 EF STEQ 153/682 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 433 secs. Pages in use: 24
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 195/929 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 19349908 t fired, 2838663 attempts, .
79 EF STEQ 388/800 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 154/1105 25/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 4592026 m, 29579 m/sec, 7611817 t fired, .
93 EF STEQ 158/677 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 438 secs. Pages in use: 25
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 200/924 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 19848896 t fired, 2912187 attempts, .
79 EF STEQ 393/795 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 159/1105 26/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 4739692 m, 29533 m/sec, 7873147 t fired, .
93 EF STEQ 163/672 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 443 secs. Pages in use: 26
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 205/919 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 20347346 t fired, 2985684 attempts, .
79 EF STEQ 398/790 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 164/1105 26/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 4891647 m, 30391 m/sec, 8136298 t fired, .
93 EF STEQ 168/667 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 448 secs. Pages in use: 26
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 210/914 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 20846060 t fired, 3059098 attempts, .
79 EF STEQ 403/785 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 169/1105 27/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 5038159 m, 29302 m/sec, 8411654 t fired, .
93 EF STEQ 173/662 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 453 secs. Pages in use: 27
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 215/909 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 21343611 t fired, 3132070 attempts, .
79 EF STEQ 408/780 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 174/1105 28/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 5188724 m, 30113 m/sec, 8664051 t fired, .
93 EF STEQ 178/657 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 458 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 220/904 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 21842021 t fired, 3205306 attempts, .
79 EF STEQ 413/775 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 179/1105 29/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 5337922 m, 29839 m/sec, 8921500 t fired, .
93 EF STEQ 183/652 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 463 secs. Pages in use: 29
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 225/899 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 22335660 t fired, 3277696 attempts, .
79 EF STEQ 418/770 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 184/1105 29/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 5476899 m, 27795 m/sec, 9210631 t fired, .
93 EF STEQ 188/647 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 468 secs. Pages in use: 29
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 230/894 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 22831269 t fired, 3350664 attempts, .
79 EF STEQ 423/765 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 189/1105 30/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 5615628 m, 27745 m/sec, 9505611 t fired, .
93 EF STEQ 193/642 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 473 secs. Pages in use: 30
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 3 1 0 2 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG 0 3 1 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 235/889 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 23326791 t fired, 3423222 attempts, .
79 EF STEQ 428/760 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 194/1105 30/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 5758589 m, 28592 m/sec, 9786351 t fired, .
93 EF STEQ 198/637 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-11 sara is running.
Time elapsed: 478 secs. Pages in use: 30
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 93 (type EQUN) for DBSingleClientW-PT-d1m08-ReachabilityFireability-11
lola: result : false
lola: LAUNCH task # 107 (type SRCH) for 3 DBSingleClientW-PT-d1m08-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG true state equation
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF 0 2 2 0 2 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 240/1442 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 23822238 t fired, 3496001 attempts, .
79 EF STEQ 433/1346 0/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 sara is running.
91 EF EXCL 199/1658 31/32 DBSingleClientW-PT-d1m08-ReachabilityFireability-00 5902236 m, 28729 m/sec, 10063230 t fired, .
107 EF SRCH 4/1040 3/5 DBSingleClientW-PT-d1m08-ReachabilityFireability-01 562047 m, 112409 m/sec, 691598 t fired, .
Time elapsed: 483 secs. Pages in use: 34
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 107 (type SRCH) for DBSingleClientW-PT-d1m08-ReachabilityFireability-01
lola: result : true
lola: markings : 715434
lola: fired transitions : 904583
lola: time used : 6.000000
lola: memory pages used : 4
lola: CANCELED task # 79 (type EQUN) for DBSingleClientW-PT-d1m08-ReachabilityFireability-01 (obsolete)
lola: LAUNCH task # 87 (type EQUN) for 0 DBSingleClientW-PT-d1m08-ReachabilityFireability-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 89 (type SRCH) for 0 DBSingleClientW-PT-d1m08-ReachabilityFireability-00
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
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-87.sara.
lola: FINISHED task # 79 (type EQUN) for DBSingleClientW-PT-d1m08-ReachabilityFireability-01
lola: result : unknown
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 87 (type EQUN) for DBSingleClientW-PT-d1m08-ReachabilityFireability-00
lola: result : false
lola: CANCELED task # 78 (type FNDP) for DBSingleClientW-PT-d1m08-ReachabilityFireability-00 (obsolete)
lola: CANCELED task # 89 (type SRCH) for DBSingleClientW-PT-d1m08-ReachabilityFireability-00 (obsolete)
lola: CANCELED task # 91 (type EXCL) for DBSingleClientW-PT-d1m08-ReachabilityFireability-00 (obsolete)
lola: Portfolio finished: no open formulas
FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m08-ReachabilityFireability-00: AG true state equation
DBSingleClientW-PT-d1m08-ReachabilityFireability-01: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-02: INITIAL true preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-03: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-04: INITIAL false preprocessing
DBSingleClientW-PT-d1m08-ReachabilityFireability-05: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-06: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-07: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-08: EF true tandem / insertion
DBSingleClientW-PT-d1m08-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-10: AG false findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-11: AG true state equation
DBSingleClientW-PT-d1m08-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-13: EF true findpath
DBSingleClientW-PT-d1m08-ReachabilityFireability-14: EF true tandem / relaxed
DBSingleClientW-PT-d1m08-ReachabilityFireability-15: EF true tandem / relaxed
Time elapsed: 486 secs. Pages in use: 35
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="DBSingleClientW-PT-d1m08"
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 DBSingleClientW-PT-d1m08, 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-167814476700271"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DBSingleClientW-PT-d1m08.tgz
mv DBSingleClientW-PT-d1m08 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 ;