About the Execution of LoLa+red for DBSingleClientW-PT-d1m05
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 846.355 | 406955.00 | 1471288.00 | 549.60 | TTFTFTFFTFTFTTFF | 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.r103-tall-167814478100247.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 lolaxred
Input is DBSingleClientW-PT-d1m05, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r103-tall-167814478100247
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 832K
-rw-r--r-- 1 mcc users 8.7K Feb 26 15:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 96K Feb 26 15:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 15:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 15:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 15:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 106K Feb 26 15:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 26 15:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 37K Feb 26 15:20 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-d1m05-ReachabilityFireability-00
FORMULA_NAME DBSingleClientW-PT-d1m05-ReachabilityFireability-01
FORMULA_NAME DBSingleClientW-PT-d1m05-ReachabilityFireability-02
FORMULA_NAME DBSingleClientW-PT-d1m05-ReachabilityFireability-03
FORMULA_NAME DBSingleClientW-PT-d1m05-ReachabilityFireability-04
FORMULA_NAME DBSingleClientW-PT-d1m05-ReachabilityFireability-05
FORMULA_NAME DBSingleClientW-PT-d1m05-ReachabilityFireability-06
FORMULA_NAME DBSingleClientW-PT-d1m05-ReachabilityFireability-07
FORMULA_NAME DBSingleClientW-PT-d1m05-ReachabilityFireability-08
FORMULA_NAME DBSingleClientW-PT-d1m05-ReachabilityFireability-09
FORMULA_NAME DBSingleClientW-PT-d1m05-ReachabilityFireability-10
FORMULA_NAME DBSingleClientW-PT-d1m05-ReachabilityFireability-11
FORMULA_NAME DBSingleClientW-PT-d1m05-ReachabilityFireability-12
FORMULA_NAME DBSingleClientW-PT-d1m05-ReachabilityFireability-13
FORMULA_NAME DBSingleClientW-PT-d1m05-ReachabilityFireability-14
FORMULA_NAME DBSingleClientW-PT-d1m05-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1678238880901
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=lolaxred
BK_EXAMINATION=ReachabilityFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DBSingleClientW-PT-d1m05
Applying reductions before tool lola
Invoking reducer
Running Version 202303021504
[2023-03-08 01:28:02] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -timeout, 360, -rebuildPNML]
[2023-03-08 01:28:02] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-08 01:28:02] [INFO ] Load time of PNML (sax parser for PT used): 78 ms
[2023-03-08 01:28:02] [INFO ] Transformed 1440 places.
[2023-03-08 01:28:02] [INFO ] Transformed 672 transitions.
[2023-03-08 01:28:02] [INFO ] Parsed PT model containing 1440 places and 672 transitions and 2688 arcs in 140 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 8 ms.
Working with output stream class java.io.PrintStream
Deduced a syphon composed of 1093 places in 5 ms
Reduce places removed 1093 places and 0 transitions.
Incomplete random walk after 10000 steps, including 2321 resets, run finished after 401 ms. (steps per millisecond=24 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 47 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1000 steps, including 52 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 38 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1000 steps, including 45 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 54 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 47 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 47 resets, run finished after 9 ms. (steps per millisecond=111 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 10 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1000 steps, including 99 resets, run finished after 11 ms. (steps per millisecond=90 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1000 steps, including 54 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1000 steps, including 40 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 41 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 46 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 47 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1000 steps, including 22 resets, run finished after 7 ms. (steps per millisecond=142 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 91 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 16) seen :0
Interrupted probabilistic random walk after 385849 steps, run timeout after 3001 ms. (steps per millisecond=128 ) properties seen :{0=1, 1=1, 3=1, 4=1, 5=1, 6=1, 8=1, 9=1, 10=1, 12=1, 13=1, 15=1}
Probabilistic random walk after 385849 steps, saw 150555 distinct states, run finished after 3001 ms. (steps per millisecond=128 ) properties seen :12
FORMULA DBSingleClientW-PT-d1m05-ReachabilityFireability-15 FALSE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA DBSingleClientW-PT-d1m05-ReachabilityFireability-13 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA DBSingleClientW-PT-d1m05-ReachabilityFireability-12 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA DBSingleClientW-PT-d1m05-ReachabilityFireability-10 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA DBSingleClientW-PT-d1m05-ReachabilityFireability-09 FALSE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA DBSingleClientW-PT-d1m05-ReachabilityFireability-08 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA DBSingleClientW-PT-d1m05-ReachabilityFireability-06 FALSE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA DBSingleClientW-PT-d1m05-ReachabilityFireability-05 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA DBSingleClientW-PT-d1m05-ReachabilityFireability-04 FALSE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA DBSingleClientW-PT-d1m05-ReachabilityFireability-03 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA DBSingleClientW-PT-d1m05-ReachabilityFireability-01 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA DBSingleClientW-PT-d1m05-ReachabilityFireability-00 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
Running SMT prover for 4 properties.
// Phase 1: matrix 672 rows 347 cols
[2023-03-08 01:28:06] [INFO ] Computed 6 place invariants in 32 ms
[2023-03-08 01:28:06] [INFO ] [Real]Absence check using 2 positive place invariants in 3 ms returned sat
[2023-03-08 01:28:06] [INFO ] [Real]Absence check using 2 positive and 4 generalized place invariants in 5 ms returned sat
[2023-03-08 01:28:06] [INFO ] After 584ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:4
[2023-03-08 01:28:06] [INFO ] [Nat]Absence check using 2 positive place invariants in 2 ms returned sat
[2023-03-08 01:28:06] [INFO ] [Nat]Absence check using 2 positive and 4 generalized place invariants in 6 ms returned sat
[2023-03-08 01:28:07] [INFO ] After 485ms SMT Verify possible using state equation in natural domain returned unsat :1 sat :3
[2023-03-08 01:28:07] [INFO ] State equation strengthened by 418 read => feed constraints.
[2023-03-08 01:28:07] [INFO ] After 531ms SMT Verify possible using 418 Read/Feed constraints in natural domain returned unsat :1 sat :3
[2023-03-08 01:28:08] [INFO ] After 1130ms SMT Verify possible using trap constraints in natural domain returned unsat :1 sat :3
Attempting to minimize the solution found.
Minimization took 528 ms.
[2023-03-08 01:28:09] [INFO ] After 2291ms SMT Verify possible using all constraints in natural domain returned unsat :1 sat :3
FORMULA DBSingleClientW-PT-d1m05-ReachabilityFireability-14 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 4 Parikh solutions to 3 different solutions.
Parikh walk visited 0 properties in 52 ms.
Support contains 44 out of 347 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 347/347 places, 672/672 transitions.
Graph (complete) has 1246 edges and 347 vertex of which 325 are kept as prefixes of interest. Removing 22 places using SCC suffix rule.2 ms
Discarding 22 places :
Also discarding 0 output transitions
Drop transitions removed 8 transitions
Ensure Unique test removed 80 transitions
Reduce isomorphic transitions removed 88 transitions.
Iterating post reduction 0 with 88 rules applied. Total rules applied 89 place count 325 transition count 584
Discarding 70 places :
Symmetric choice reduction at 1 with 70 rule applications. Total rules 159 place count 255 transition count 442
Iterating global reduction 1 with 70 rules applied. Total rules applied 229 place count 255 transition count 442
Ensure Unique test removed 24 transitions
Reduce isomorphic transitions removed 24 transitions.
Iterating post reduction 1 with 24 rules applied. Total rules applied 253 place count 255 transition count 418
Discarding 51 places :
Symmetric choice reduction at 2 with 51 rule applications. Total rules 304 place count 204 transition count 367
Iterating global reduction 2 with 51 rules applied. Total rules applied 355 place count 204 transition count 367
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 356 place count 204 transition count 366
Discarding 22 places :
Symmetric choice reduction at 3 with 22 rule applications. Total rules 378 place count 182 transition count 334
Iterating global reduction 3 with 22 rules applied. Total rules applied 400 place count 182 transition count 334
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Iterating post reduction 3 with 16 rules applied. Total rules applied 416 place count 182 transition count 318
Discarding 4 places :
Symmetric choice reduction at 4 with 4 rule applications. Total rules 420 place count 178 transition count 313
Iterating global reduction 4 with 4 rules applied. Total rules applied 424 place count 178 transition count 313
Discarding 3 places :
Symmetric choice reduction at 4 with 3 rule applications. Total rules 427 place count 175 transition count 310
Iterating global reduction 4 with 3 rules applied. Total rules applied 430 place count 175 transition count 310
Discarding 3 places :
Symmetric choice reduction at 4 with 3 rule applications. Total rules 433 place count 172 transition count 307
Iterating global reduction 4 with 3 rules applied. Total rules applied 436 place count 172 transition count 307
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 437 place count 171 transition count 305
Iterating global reduction 4 with 1 rules applied. Total rules applied 438 place count 171 transition count 305
Applied a total of 438 rules in 103 ms. Remains 171 /347 variables (removed 176) and now considering 305/672 (removed 367) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 103 ms. Remains : 171/347 places, 305/672 transitions.
Incomplete random walk after 10000 steps, including 2309 resets, run finished after 190 ms. (steps per millisecond=52 ) properties (out of 3) seen :0
Incomplete Best-First random walk after 10001 steps, including 453 resets, run finished after 65 ms. (steps per millisecond=153 ) properties (out of 3) seen :0
Incomplete Best-First random walk after 10001 steps, including 140 resets, run finished after 42 ms. (steps per millisecond=238 ) properties (out of 3) seen :0
Incomplete Best-First random walk after 10001 steps, including 452 resets, run finished after 62 ms. (steps per millisecond=161 ) properties (out of 3) seen :0
Interrupted probabilistic random walk after 753688 steps, run timeout after 3001 ms. (steps per millisecond=251 ) properties seen :{0=1, 2=1}
Probabilistic random walk after 753688 steps, saw 286290 distinct states, run finished after 3001 ms. (steps per millisecond=251 ) properties seen :2
FORMULA DBSingleClientW-PT-d1m05-ReachabilityFireability-11 FALSE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA DBSingleClientW-PT-d1m05-ReachabilityFireability-02 FALSE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
Running SMT prover for 1 properties.
// Phase 1: matrix 305 rows 171 cols
[2023-03-08 01:28:12] [INFO ] Computed 2 place invariants in 7 ms
[2023-03-08 01:28:12] [INFO ] [Real]Absence check using 0 positive and 2 generalized place invariants in 1 ms returned sat
[2023-03-08 01:28:12] [INFO ] After 56ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-08 01:28:12] [INFO ] [Nat]Absence check using 0 positive and 2 generalized place invariants in 1 ms returned sat
[2023-03-08 01:28:12] [INFO ] After 120ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2023-03-08 01:28:12] [INFO ] State equation strengthened by 149 read => feed constraints.
[2023-03-08 01:28:12] [INFO ] After 85ms SMT Verify possible using 149 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2023-03-08 01:28:12] [INFO ] After 171ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 93 ms.
[2023-03-08 01:28:13] [INFO ] After 431ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Parikh walk visited 0 properties in 1 ms.
Support contains 18 out of 171 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 171/171 places, 305/305 transitions.
Discarding 18 places :
Symmetric choice reduction at 0 with 18 rule applications. Total rules 18 place count 153 transition count 242
Iterating global reduction 0 with 18 rules applied. Total rules applied 36 place count 153 transition count 242
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 38 place count 153 transition count 240
Discarding 14 places :
Symmetric choice reduction at 1 with 14 rule applications. Total rules 52 place count 139 transition count 226
Iterating global reduction 1 with 14 rules applied. Total rules applied 66 place count 139 transition count 226
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 68 place count 139 transition count 224
Discarding 8 places :
Symmetric choice reduction at 2 with 8 rule applications. Total rules 76 place count 131 transition count 207
Iterating global reduction 2 with 8 rules applied. Total rules applied 84 place count 131 transition count 207
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 87 place count 131 transition count 204
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 92 place count 126 transition count 195
Iterating global reduction 3 with 5 rules applied. Total rules applied 97 place count 126 transition count 195
Discarding 4 places :
Symmetric choice reduction at 3 with 4 rule applications. Total rules 101 place count 122 transition count 191
Iterating global reduction 3 with 4 rules applied. Total rules applied 105 place count 122 transition count 191
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 3 with 3 rules applied. Total rules applied 108 place count 122 transition count 188
Discarding 1 places :
Symmetric choice reduction at 4 with 1 rule applications. Total rules 109 place count 121 transition count 187
Iterating global reduction 4 with 1 rules applied. Total rules applied 110 place count 121 transition count 187
Applied a total of 110 rules in 28 ms. Remains 121 /171 variables (removed 50) and now considering 187/305 (removed 118) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 28 ms. Remains : 121/171 places, 187/305 transitions.
Incomplete random walk after 10000 steps, including 2337 resets, run finished after 18 ms. (steps per millisecond=555 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 166 resets, run finished after 13 ms. (steps per millisecond=769 ) properties (out of 1) seen :0
Probably explored full state space saw : 260921 states, properties seen :0
Probabilistic random walk after 746587 steps, saw 260921 distinct states, run finished after 989 ms. (steps per millisecond=754 ) properties seen :0
Explored full state space saw : 261668 states, properties seen :0
Exhaustive walk after 748481 steps, saw 261668 distinct states, run finished after 839 ms. (steps per millisecond=892 ) properties seen :0
FORMULA DBSingleClientW-PT-d1m05-ReachabilityFireability-07 FALSE TECHNIQUES TOPOLOGICAL EXHAUSTIVE_WALK
All properties solved without resorting to model-checking.
Total runtime 12724 ms.
starting LoLA
BK_INPUT DBSingleClientW-PT-d1m05
BK_EXAMINATION: ReachabilityFireability
bin directory: /home/mcc/BenchKit/bin//../reducer/bin//../../lola/bin/
current directory: /home/mcc/execution
ReachabilityFireability
FORMULA DBSingleClientW-PT-d1m05-ReachabilityFireability-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DBSingleClientW-PT-d1m05-ReachabilityFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DBSingleClientW-PT-d1m05-ReachabilityFireability-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DBSingleClientW-PT-d1m05-ReachabilityFireability-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DBSingleClientW-PT-d1m05-ReachabilityFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DBSingleClientW-PT-d1m05-ReachabilityFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DBSingleClientW-PT-d1m05-ReachabilityFireability-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DBSingleClientW-PT-d1m05-ReachabilityFireability-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DBSingleClientW-PT-d1m05-ReachabilityFireability-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DBSingleClientW-PT-d1m05-ReachabilityFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DBSingleClientW-PT-d1m05-ReachabilityFireability-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DBSingleClientW-PT-d1m05-ReachabilityFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DBSingleClientW-PT-d1m05-ReachabilityFireability-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DBSingleClientW-PT-d1m05-ReachabilityFireability-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DBSingleClientW-PT-d1m05-ReachabilityFireability-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DBSingleClientW-PT-d1m05-ReachabilityFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1678239287856
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination ReachabilityFireability -timeout 360 -rebuildPNML
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/ReachabilityFireability.xml
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: 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: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k: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: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 55 (type EXCL) for 6 DBSingleClientW-PT-d1m05-ReachabilityFireability-02
lola: time limit : 239 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 49 (type FNDP) for 6 DBSingleClientW-PT-d1m05-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 50 (type EQUN) for 6 DBSingleClientW-PT-d1m05-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 54 (type SRCH) for 6 DBSingleClientW-PT-d1m05-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k: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:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k: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: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:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-50.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 54 (type SRCH) for DBSingleClientW-PT-d1m05-ReachabilityFireability-02
lola: result : true
lola: markings : 96256
lola: fired transitions : 126408
lola: time used : 1.000000
lola: memory pages used : 1
lola: CANCELED task # 49 (type FNDP) for DBSingleClientW-PT-d1m05-ReachabilityFireability-02 (obsolete)
lola: CANCELED task # 50 (type EQUN) for DBSingleClientW-PT-d1m05-ReachabilityFireability-02 (obsolete)
lola: CANCELED task # 55 (type EXCL) for DBSingleClientW-PT-d1m05-ReachabilityFireability-02 (obsolete)
lola: LAUNCH task # 130 (type EXCL) for 39 DBSingleClientW-PT-d1m05-ReachabilityFireability-13
lola: time limit : 239 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 101 (type FNDP) for 42 DBSingleClientW-PT-d1m05-ReachabilityFireability-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 102 (type EQUN) for 42 DBSingleClientW-PT-d1m05-ReachabilityFireability-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 104 (type SRCH) for 42 DBSingleClientW-PT-d1m05-ReachabilityFireability-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 49 (type FNDP) for DBSingleClientW-PT-d1m05-ReachabilityFireability-02
lola: result : unknown
lola: fired transitions : 72582
lola: tried executions : 11843
lola: time used : 1.000000
lola: memory pages used : 0
lola: FINISHED task # 50 (type EQUN) for DBSingleClientW-PT-d1m05-ReachabilityFireability-02
lola: result : unknown
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-102.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 130 (type EXCL) for DBSingleClientW-PT-d1m05-ReachabilityFireability-13
lola: result : true
lola: markings : 36362
lola: fired transitions : 41271
lola: time used : 1.000000
lola: memory pages used : 1
lola: LAUNCH task # 117 (type EXCL) for 3 DBSingleClientW-PT-d1m05-ReachabilityFireability-01
lola: time limit : 256 sec
lola: memory limit: 32 pages
lola: FINISHED task # 117 (type EXCL) for DBSingleClientW-PT-d1m05-ReachabilityFireability-01
lola: result : true
lola: markings : 72653
lola: fired transitions : 87272
lola: time used : 2.000000
lola: memory pages used : 1
lola: LAUNCH task # 87 (type EXCL) for 12 DBSingleClientW-PT-d1m05-ReachabilityFireability-04
lola: time limit : 276 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 3 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF EXCL 0/276 1/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-04 27386 m, 5477 m/sec, 31007 t fired, .
101 EF FNDP 3/196 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 406701 t fired, 58921 attempts, .
102 EF STEQ 3/208 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
104 EF SRCH 3/208 3/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 416470 m, 83294 m/sec, 619515 t fired, .
Time elapsed: 7 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 3 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF EXCL 5/276 2/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-04 194143 m, 33351 m/sec, 276672 t fired, .
101 EF FNDP 8/196 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 940957 t fired, 136085 attempts, .
102 EF STEQ 8/208 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
104 EF SRCH 8/208 5/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 908762 m, 98458 m/sec, 1449226 t fired, .
Time elapsed: 12 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 104 (type SRCH) for DBSingleClientW-PT-d1m05-ReachabilityFireability-14 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF EXCL 10/276 2/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-04 359350 m, 33041 m/sec, 532952 t fired, .
101 EF FNDP 13/191 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 1476228 t fired, 213669 attempts, .
102 EF STEQ 13/203 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
Time elapsed: 17 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 78 (type FNDP) for 21 DBSingleClientW-PT-d1m05-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 5/210 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 471230 t fired, 76742 attempts, .
87 EF EXCL 15/276 3/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-04 524687 m, 33067 m/sec, 791517 t fired, .
101 EF FNDP 18/198 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 2005096 t fired, 289927 attempts, .
102 EF STEQ 18/198 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
Time elapsed: 22 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 10/205 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 944276 t fired, 153870 attempts, .
87 EF EXCL 20/276 4/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-04 683081 m, 31678 m/sec, 1089689 t fired, .
101 EF FNDP 23/193 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 2535495 t fired, 366909 attempts, .
102 EF STEQ 23/193 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
Time elapsed: 27 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 87 (type EXCL) for DBSingleClientW-PT-d1m05-ReachabilityFireability-04
lola: result : true
lola: markings : 727788
lola: fired transitions : 1166629
lola: time used : 22.000000
lola: memory pages used : 5
lola: LAUNCH task # 141 (type EXCL) for 36 DBSingleClientW-PT-d1m05-ReachabilityFireability-12
lola: time limit : 297 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 15/211 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 1417081 t fired, 231035 attempts, .
101 EF FNDP 28/199 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 3065151 t fired, 443376 attempts, .
102 EF STEQ 28/214 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
141 EF EXCL 3/297 1/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-12 126126 m, 25225 m/sec, 163647 t fired, .
Time elapsed: 32 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 20/208 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 1890230 t fired, 308491 attempts, .
101 EF FNDP 33/196 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 3596790 t fired, 520138 attempts, .
102 EF STEQ 33/211 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
141 EF EXCL 8/297 2/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-12 291236 m, 33022 m/sec, 432374 t fired, .
Time elapsed: 37 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 25/203 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 2364036 t fired, 386149 attempts, .
101 EF FNDP 38/191 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 4126929 t fired, 596638 attempts, .
102 EF STEQ 38/206 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
141 EF EXCL 13/297 3/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-12 458243 m, 33401 m/sec, 693486 t fired, .
Time elapsed: 42 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 30/198 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 2838508 t fired, 463689 attempts, .
101 EF FNDP 43/186 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 4655545 t fired, 673089 attempts, .
102 EF STEQ 43/201 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
141 EF EXCL 18/297 4/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-12 620732 m, 32497 m/sec, 975430 t fired, .
Time elapsed: 47 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 35/193 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 3312717 t fired, 541198 attempts, .
101 EF FNDP 48/181 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 5185578 t fired, 749501 attempts, .
102 EF STEQ 48/196 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
141 EF EXCL 23/297 5/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-12 782037 m, 32261 m/sec, 1264489 t fired, .
Time elapsed: 52 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 141 (type EXCL) for DBSingleClientW-PT-d1m05-ReachabilityFireability-12
lola: result : true
lola: markings : 805535
lola: fired transitions : 1300105
lola: time used : 24.000000
lola: memory pages used : 5
lola: LAUNCH task # 93 (type EXCL) for 30 DBSingleClientW-PT-d1m05-ReachabilityFireability-10
lola: time limit : 322 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 40/202 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 3786922 t fired, 618772 attempts, .
93 EF EXCL 4/322 1/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-10 147078 m, 29415 m/sec, 198872 t fired, .
101 EF FNDP 53/207 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 5714596 t fired, 826408 attempts, .
102 EF STEQ 53/207 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
Time elapsed: 57 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 45/198 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 4261516 t fired, 696601 attempts, .
93 EF EXCL 9/322 2/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-10 311918 m, 32968 m/sec, 462024 t fired, .
101 EF FNDP 58/203 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 6241665 t fired, 903036 attempts, .
102 EF STEQ 58/203 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
Time elapsed: 62 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 50/193 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 4735892 t fired, 774223 attempts, .
93 EF EXCL 14/322 3/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-10 477118 m, 33040 m/sec, 720992 t fired, .
101 EF FNDP 63/198 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 6771433 t fired, 979753 attempts, .
102 EF STEQ 63/198 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
Time elapsed: 67 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 55/188 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 5210723 t fired, 851995 attempts, .
93 EF EXCL 19/322 4/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-10 638417 m, 32259 m/sec, 1002130 t fired, .
101 EF FNDP 68/193 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 7300940 t fired, 1056401 attempts, .
102 EF STEQ 68/193 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
Time elapsed: 72 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 60/183 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 5685151 t fired, 929617 attempts, .
93 EF EXCL 24/322 5/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-10 798428 m, 32002 m/sec, 1290245 t fired, .
101 EF FNDP 73/188 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 7830083 t fired, 1132938 attempts, .
102 EF STEQ 73/188 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
Time elapsed: 77 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 65/178 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 6159902 t fired, 1007498 attempts, .
93 EF EXCL 29/322 6/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-10 960124 m, 32339 m/sec, 1556230 t fired, .
101 EF FNDP 78/183 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 8358677 t fired, 1209504 attempts, .
102 EF STEQ 78/183 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
Time elapsed: 82 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 93 (type EXCL) for DBSingleClientW-PT-d1m05-ReachabilityFireability-10
lola: result : true
lola: markings : 1078360
lola: fired transitions : 1742340
lola: time used : 33.000000
lola: memory pages used : 7
lola: LAUNCH task # 74 (type EXCL) for 9 DBSingleClientW-PT-d1m05-ReachabilityFireability-03
lola: time limit : 351 sec
lola: memory limit: 32 pages
lola: FINISHED task # 74 (type EXCL) for DBSingleClientW-PT-d1m05-ReachabilityFireability-03
lola: result : true
lola: markings : 6389
lola: fired transitions : 7146
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 66 (type EXCL) for 18 DBSingleClientW-PT-d1m05-ReachabilityFireability-06
lola: time limit : 390 sec
lola: memory limit: 32 pages
lola: FINISHED task # 66 (type EXCL) for DBSingleClientW-PT-d1m05-ReachabilityFireability-06
lola: result : true
lola: markings : 18787
lola: fired transitions : 21050
lola: time used : 1.000000
lola: memory pages used : 1
lola: LAUNCH task # 122 (type EXCL) for 27 DBSingleClientW-PT-d1m05-ReachabilityFireability-09
lola: time limit : 439 sec
lola: memory limit: 32 pages
lola: FINISHED task # 122 (type EXCL) for DBSingleClientW-PT-d1m05-ReachabilityFireability-09
lola: result : true
lola: markings : 436
lola: fired transitions : 453
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 148 (type EXCL) for 45 DBSingleClientW-PT-d1m05-ReachabilityFireability-15
lola: time limit : 501 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 70/328 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 6634412 t fired, 1084983 attempts, .
101 EF FNDP 83/316 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 8887806 t fired, 1285722 attempts, .
102 EF STEQ 83/316 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
148 EF EXCL 0/501 1/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-15 27253 m, 5450 m/sec, 30866 t fired, .
Time elapsed: 87 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 75/328 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 7109258 t fired, 1162745 attempts, .
101 EF FNDP 88/316 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 9415740 t fired, 1362348 attempts, .
102 EF STEQ 88/316 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
148 EF EXCL 5/501 2/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-15 225402 m, 39629 m/sec, 327331 t fired, .
Time elapsed: 92 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 80/323 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 7584199 t fired, 1240360 attempts, .
101 EF FNDP 93/311 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 9946262 t fired, 1439253 attempts, .
102 EF STEQ 93/311 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
148 EF EXCL 10/501 3/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-15 422328 m, 39385 m/sec, 641094 t fired, .
Time elapsed: 97 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 85/318 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 8058868 t fired, 1317918 attempts, .
101 EF FNDP 98/306 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 10475593 t fired, 1515669 attempts, .
102 EF STEQ 98/306 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
148 EF EXCL 15/501 4/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-15 614828 m, 38500 m/sec, 969305 t fired, .
Time elapsed: 102 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 90/313 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 8533290 t fired, 1395352 attempts, .
101 EF FNDP 103/301 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 11005045 t fired, 1592181 attempts, .
102 EF STEQ 103/301 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
148 EF EXCL 20/501 5/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-15 806782 m, 38390 m/sec, 1308735 t fired, .
Time elapsed: 107 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 95/308 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 9007803 t fired, 1472963 attempts, .
101 EF FNDP 108/296 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 11534278 t fired, 1668909 attempts, .
102 EF STEQ 108/296 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
148 EF EXCL 25/501 6/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-15 1001837 m, 39011 m/sec, 1626187 t fired, .
Time elapsed: 112 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 100/303 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 9481838 t fired, 1550462 attempts, .
101 EF FNDP 113/291 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 12063903 t fired, 1745387 attempts, .
102 EF STEQ 113/291 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
148 EF EXCL 30/501 7/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-15 1193843 m, 38401 m/sec, 1953378 t fired, .
Time elapsed: 117 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 105/298 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 9956307 t fired, 1628107 attempts, .
101 EF FNDP 118/286 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 12593971 t fired, 1822071 attempts, .
102 EF STEQ 118/286 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
148 EF EXCL 35/501 8/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-15 1387083 m, 38648 m/sec, 2266501 t fired, .
Time elapsed: 122 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 110/293 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 10430749 t fired, 1705679 attempts, .
101 EF FNDP 123/281 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 13123269 t fired, 1898512 attempts, .
102 EF STEQ 123/281 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
148 EF EXCL 40/501 9/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-15 1575425 m, 37668 m/sec, 2592860 t fired, .
Time elapsed: 127 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 115/288 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 10905506 t fired, 1783367 attempts, .
101 EF FNDP 128/276 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 13653707 t fired, 1975412 attempts, .
102 EF STEQ 128/276 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
148 EF EXCL 45/501 10/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-15 1764019 m, 37718 m/sec, 2925801 t fired, .
Time elapsed: 132 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 120/283 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 11379670 t fired, 1861000 attempts, .
101 EF FNDP 133/271 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 14182869 t fired, 2051778 attempts, .
102 EF STEQ 133/271 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
148 EF EXCL 50/501 11/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-15 1941164 m, 35429 m/sec, 3301330 t fired, .
Time elapsed: 137 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 125/278 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 11847790 t fired, 1937639 attempts, .
101 EF FNDP 138/266 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 14703419 t fired, 2126939 attempts, .
102 EF STEQ 138/266 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
148 EF EXCL 55/501 12/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-15 2122507 m, 36268 m/sec, 3634063 t fired, .
Time elapsed: 142 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 130/273 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 12315198 t fired, 2014058 attempts, .
101 EF FNDP 143/261 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 15223009 t fired, 2201830 attempts, .
102 EF STEQ 143/261 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
148 EF EXCL 60/501 13/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-15 2291179 m, 33734 m/sec, 3978646 t fired, .
Time elapsed: 147 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 135/268 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 12782935 t fired, 2090700 attempts, .
101 EF FNDP 148/256 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 15740120 t fired, 2276771 attempts, .
102 EF STEQ 148/256 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
148 EF EXCL 65/501 14/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-15 2447077 m, 31179 m/sec, 4357433 t fired, .
Time elapsed: 152 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 148 (type EXCL) for DBSingleClientW-PT-d1m05-ReachabilityFireability-15
lola: result : true
lola: markings : 2529578
lola: fired transitions : 4508978
lola: time used : 68.000000
lola: memory pages used : 14
lola: LAUNCH task # 111 (type EXCL) for 24 DBSingleClientW-PT-d1m05-ReachabilityFireability-08
lola: time limit : 574 sec
lola: memory limit: 32 pages
lola: FINISHED task # 111 (type EXCL) for DBSingleClientW-PT-d1m05-ReachabilityFireability-08
lola: result : true
lola: markings : 13641
lola: fired transitions : 15003
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 135 (type EXCL) for 33 DBSingleClientW-PT-d1m05-ReachabilityFireability-11
lola: time limit : 689 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 140/373 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 13141299 t fired, 2149156 attempts, .
101 EF FNDP 153/448 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 16139718 t fired, 2334493 attempts, .
102 EF STEQ 153/448 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
135 EF EXCL 2/689 1/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-11 78142 m, 15628 m/sec, 99751 t fired, .
Time elapsed: 157 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 145/371 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 13378489 t fired, 2187973 attempts, .
101 EF FNDP 158/446 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 16406059 t fired, 2372996 attempts, .
102 EF STEQ 158/446 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
135 EF EXCL 7/689 2/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-11 233765 m, 31124 m/sec, 334112 t fired, .
Time elapsed: 162 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 150/366 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 13767164 t fired, 2251474 attempts, .
101 EF FNDP 163/441 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 16833902 t fired, 2434908 attempts, .
102 EF STEQ 163/441 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
135 EF EXCL 12/689 3/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-11 390376 m, 31322 m/sec, 577461 t fired, .
Time elapsed: 167 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 155/361 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 14003397 t fired, 2290333 attempts, .
101 EF FNDP 168/436 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 17099544 t fired, 2473398 attempts, .
102 EF STEQ 168/436 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
135 EF EXCL 17/689 4/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-11 546718 m, 31268 m/sec, 823171 t fired, .
Time elapsed: 172 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 135 (type EXCL) for DBSingleClientW-PT-d1m05-ReachabilityFireability-11
lola: result : true
lola: markings : 673687
lola: fired transitions : 1057991
lola: time used : 22.000000
lola: memory pages used : 4
lola: LAUNCH task # 59 (type EXCL) for 15 DBSingleClientW-PT-d1m05-ReachabilityFireability-05
lola: time limit : 855 sec
lola: memory limit: 32 pages
lola: FINISHED task # 59 (type EXCL) for DBSingleClientW-PT-d1m05-ReachabilityFireability-05
lola: result : true
lola: markings : 8749
lola: fired transitions : 9974
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 99 (type EXCL) for 0 DBSingleClientW-PT-d1m05-ReachabilityFireability-00
lola: time limit : 1141 sec
lola: memory limit: 32 pages
lola: FINISHED task # 99 (type EXCL) for DBSingleClientW-PT-d1m05-ReachabilityFireability-00
lola: result : true
lola: markings : 13670
lola: fired transitions : 15045
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 82 (type EXCL) for 21 DBSingleClientW-PT-d1m05-ReachabilityFireability-07
lola: time limit : 1711 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 160/1034 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 14298080 t fired, 2338542 attempts, .
82 EF EXCL 0/1711 1/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 3570 m, 714 m/sec, 3983 t fired, .
101 EF FNDP 173/1625 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 17427075 t fired, 2520935 attempts, .
102 EF STEQ 173/1625 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
Time elapsed: 177 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 165/1034 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 14766250 t fired, 2415123 attempts, .
82 EF EXCL 5/1711 1/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 166017 m, 32489 m/sec, 219468 t fired, .
101 EF FNDP 178/1625 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 17944641 t fired, 2596000 attempts, .
102 EF STEQ 178/1625 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
Time elapsed: 182 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 170/1029 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 15198256 t fired, 2485665 attempts, .
82 EF EXCL 10/1711 2/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 322944 m, 31385 m/sec, 480072 t fired, .
101 EF FNDP 183/1620 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 18414599 t fired, 2664155 attempts, .
102 EF STEQ 183/1620 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
Time elapsed: 187 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 175/1024 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 15440170 t fired, 2525292 attempts, .
82 EF EXCL 15/1711 3/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 479731 m, 31357 m/sec, 733898 t fired, .
101 EF FNDP 188/1615 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 18678852 t fired, 2702286 attempts, .
102 EF STEQ 188/1615 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
Time elapsed: 192 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 180/1019 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 15679935 t fired, 2564552 attempts, .
82 EF EXCL 20/1711 4/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 636963 m, 31446 m/sec, 977355 t fired, .
101 EF FNDP 193/1610 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 18947117 t fired, 2740961 attempts, .
102 EF STEQ 193/1610 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
Time elapsed: 197 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 185/1014 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 16064484 t fired, 2627478 attempts, .
82 EF EXCL 25/1711 5/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 783791 m, 29365 m/sec, 1273825 t fired, .
101 EF FNDP 198/1605 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 19368636 t fired, 2801884 attempts, .
102 EF STEQ 198/1605 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
Time elapsed: 202 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 190/1009 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 16532468 t fired, 2703980 attempts, .
82 EF EXCL 30/1711 6/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 934865 m, 30214 m/sec, 1544096 t fired, .
101 EF FNDP 203/1600 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 19883457 t fired, 2876480 attempts, .
102 EF STEQ 203/1600 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
Time elapsed: 207 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 195/1004 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 16798647 t fired, 2747565 attempts, .
82 EF EXCL 35/1711 7/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 1087401 m, 30507 m/sec, 1800781 t fired, .
101 EF FNDP 208/1595 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 20180556 t fired, 2919603 attempts, .
102 EF STEQ 208/1595 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
Time elapsed: 212 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 200/999 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 17037510 t fired, 2786579 attempts, .
82 EF EXCL 40/1711 7/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 1238978 m, 30315 m/sec, 2051382 t fired, .
101 EF FNDP 213/1590 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 20446789 t fired, 2958078 attempts, .
102 EF STEQ 213/1590 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
Time elapsed: 217 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 205/994 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 17359215 t fired, 2839128 attempts, .
82 EF EXCL 45/1711 8/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 1389412 m, 30086 m/sec, 2313061 t fired, .
101 EF FNDP 218/1585 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 20770002 t fired, 3004961 attempts, .
102 EF STEQ 218/1585 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
Time elapsed: 222 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 210/989 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 17823684 t fired, 2915206 attempts, .
82 EF EXCL 50/1711 9/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 1539126 m, 29942 m/sec, 2563021 t fired, .
101 EF FNDP 223/1580 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 21188496 t fired, 3065487 attempts, .
102 EF STEQ 223/1580 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
Time elapsed: 227 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 215/984 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 18246144 t fired, 2984153 attempts, .
82 EF EXCL 55/1711 10/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 1685857 m, 29346 m/sec, 2816925 t fired, .
101 EF FNDP 228/1575 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 21658185 t fired, 3133314 attempts, .
102 EF STEQ 228/1575 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
Time elapsed: 232 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 220/979 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 18651655 t fired, 3050527 attempts, .
82 EF EXCL 60/1711 11/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 1833019 m, 29432 m/sec, 3070500 t fired, .
101 EF FNDP 233/1570 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 22114712 t fired, 3199561 attempts, .
102 EF STEQ 233/1570 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
Time elapsed: 237 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 225/974 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 19125864 t fired, 3128152 attempts, .
82 EF EXCL 65/1711 12/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 1980388 m, 29473 m/sec, 3339496 t fired, .
101 EF FNDP 238/1565 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 22643682 t fired, 3275921 attempts, .
102 EF STEQ 238/1565 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
Time elapsed: 242 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 230/969 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 19600338 t fired, 3205695 attempts, .
82 EF EXCL 70/1711 12/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 2121643 m, 28251 m/sec, 3639036 t fired, .
101 EF FNDP 243/1560 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 23169617 t fired, 3352227 attempts, .
102 EF STEQ 243/1560 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
Time elapsed: 247 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 235/964 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 20073440 t fired, 3282960 attempts, .
82 EF EXCL 75/1711 13/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 2257938 m, 27259 m/sec, 3952436 t fired, .
101 EF FNDP 248/1555 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 23698337 t fired, 3428560 attempts, .
102 EF STEQ 248/1555 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
Time elapsed: 252 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 240/959 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 20542861 t fired, 3359709 attempts, .
82 EF EXCL 80/1711 14/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 2401304 m, 28673 m/sec, 4198594 t fired, .
101 EF FNDP 253/1550 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 24194151 t fired, 3499942 attempts, .
102 EF STEQ 253/1550 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
Time elapsed: 257 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 245/954 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 21016339 t fired, 3437227 attempts, .
82 EF EXCL 85/1711 14/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 2533244 m, 26388 m/sec, 4459760 t fired, .
101 EF FNDP 258/1545 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 24723884 t fired, 3576580 attempts, .
102 EF STEQ 258/1545 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
Time elapsed: 262 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 250/949 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 21489711 t fired, 3514659 attempts, .
82 EF EXCL 90/1711 15/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 2659634 m, 25278 m/sec, 4716248 t fired, .
101 EF FNDP 263/1540 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 25252406 t fired, 3652778 attempts, .
102 EF STEQ 263/1540 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
Time elapsed: 267 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 255/944 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 21927045 t fired, 3586414 attempts, .
82 EF EXCL 95/1711 16/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 2784893 m, 25051 m/sec, 5020012 t fired, .
101 EF FNDP 268/1535 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 25518119 t fired, 3691212 attempts, .
102 EF STEQ 268/1535 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
Time elapsed: 272 secs. Pages in use: 16
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 2 2 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
78 EF FNDP 260/939 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 22164959 t fired, 3625277 attempts, .
82 EF EXCL 100/1711 16/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-07 2931538 m, 29329 m/sec, 5270888 t fired, .
101 EF FNDP 273/1530 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 25784375 t fired, 3729940 attempts, .
102 EF STEQ 273/1530 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
Time elapsed: 277 secs. Pages in use: 16
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 82 (type EXCL) for DBSingleClientW-PT-d1m05-ReachabilityFireability-07
lola: result : false
lola: markings : 3046678
lola: fired transitions : 5469573
lola: time used : 104.000000
lola: memory pages used : 17
lola: CANCELED task # 78 (type FNDP) for DBSingleClientW-PT-d1m05-ReachabilityFireability-07 (obsolete)
lola: LAUNCH task # 105 (type EXCL) for 42 DBSingleClientW-PT-d1m05-ReachabilityFireability-14
lola: time limit : 3319 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 106 (type SRCH) for 42 DBSingleClientW-PT-d1m05-ReachabilityFireability-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 78 (type FNDP) for DBSingleClientW-PT-d1m05-ReachabilityFireability-07
lola: result : unknown
lola: fired transitions : 22371396
lola: tried executions : 3658975
lola: time used : 264.000000
lola: memory pages used : 0
lola: FINISHED task # 106 (type SRCH) for DBSingleClientW-PT-d1m05-ReachabilityFireability-14
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 278/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 26126073 t fired, 3779302 attempts, .
102 EF STEQ 278/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
105 EF EXCL 1/3319 1/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 31136 m, 6227 m/sec, 43427 t fired, .
Time elapsed: 282 secs. Pages in use: 17
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 283/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 26663847 t fired, 3857121 attempts, .
102 EF STEQ 283/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
105 EF EXCL 6/3319 2/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 186489 m, 31070 m/sec, 257930 t fired, .
Time elapsed: 287 secs. Pages in use: 17
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 288/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 27202569 t fired, 3934767 attempts, .
102 EF STEQ 288/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
105 EF EXCL 11/3319 2/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 333572 m, 29416 m/sec, 508397 t fired, .
Time elapsed: 292 secs. Pages in use: 17
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 293/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 27741341 t fired, 4012478 attempts, .
102 EF STEQ 293/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
105 EF EXCL 16/3319 3/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 484010 m, 30087 m/sec, 754005 t fired, .
Time elapsed: 297 secs. Pages in use: 17
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 298/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 28279470 t fired, 4090315 attempts, .
102 EF STEQ 298/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
105 EF EXCL 21/3319 4/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 631939 m, 29585 m/sec, 1003736 t fired, .
Time elapsed: 302 secs. Pages in use: 17
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 303/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 28813480 t fired, 4167472 attempts, .
102 EF STEQ 303/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
105 EF EXCL 26/3319 5/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 774351 m, 28482 m/sec, 1299014 t fired, .
Time elapsed: 307 secs. Pages in use: 17
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 308/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 29349170 t fired, 4244766 attempts, .
102 EF STEQ 308/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
105 EF EXCL 31/3319 6/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 916895 m, 28508 m/sec, 1581825 t fired, .
Time elapsed: 312 secs. Pages in use: 17
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 313/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 29885699 t fired, 4322489 attempts, .
102 EF STEQ 313/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
105 EF EXCL 36/3319 6/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 1064348 m, 29490 m/sec, 1836590 t fired, .
Time elapsed: 317 secs. Pages in use: 17
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 318/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 30417276 t fired, 4399427 attempts, .
102 EF STEQ 318/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
105 EF EXCL 41/3319 7/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 1211452 m, 29420 m/sec, 2076960 t fired, .
Time elapsed: 322 secs. Pages in use: 17
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 323/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 30951040 t fired, 4476297 attempts, .
102 EF STEQ 323/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
105 EF EXCL 46/3319 8/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 1356074 m, 28924 m/sec, 2338011 t fired, .
Time elapsed: 327 secs. Pages in use: 17
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 328/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 31490494 t fired, 4554127 attempts, .
102 EF STEQ 328/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
105 EF EXCL 51/3319 9/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 1503285 m, 29442 m/sec, 2582917 t fired, .
Time elapsed: 332 secs. Pages in use: 17
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 333/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 32024543 t fired, 4631208 attempts, .
102 EF STEQ 333/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
105 EF EXCL 56/3319 10/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 1647157 m, 28774 m/sec, 2830719 t fired, .
Time elapsed: 337 secs. Pages in use: 17
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 338/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 32560200 t fired, 4708866 attempts, .
102 EF STEQ 338/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
105 EF EXCL 61/3319 11/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 1787685 m, 28105 m/sec, 3084079 t fired, .
Time elapsed: 342 secs. Pages in use: 17
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 343/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 33097989 t fired, 4786310 attempts, .
102 EF STEQ 343/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
105 EF EXCL 66/3319 11/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 1929084 m, 28279 m/sec, 3338679 t fired, .
Time elapsed: 347 secs. Pages in use: 17
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 348/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 33635970 t fired, 4864016 attempts, .
102 EF STEQ 348/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
105 EF EXCL 71/3319 12/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 2069582 m, 28099 m/sec, 3612760 t fired, .
Time elapsed: 352 secs. Pages in use: 17
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 353/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 34171210 t fired, 4941565 attempts, .
102 EF STEQ 353/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
105 EF EXCL 76/3319 13/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 2203186 m, 26720 m/sec, 3913289 t fired, .
Time elapsed: 357 secs. Pages in use: 17
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 358/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 34706633 t fired, 5018865 attempts, .
102 EF STEQ 358/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
105 EF EXCL 81/3319 13/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 2332423 m, 25847 m/sec, 4220860 t fired, .
Time elapsed: 362 secs. Pages in use: 17
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 363/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 35241407 t fired, 5096400 attempts, .
102 EF STEQ 363/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
105 EF EXCL 86/3319 14/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 2469324 m, 27380 m/sec, 4456419 t fired, .
Time elapsed: 367 secs. Pages in use: 17
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 368/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 35777661 t fired, 5173990 attempts, .
102 EF STEQ 368/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
105 EF EXCL 91/3319 15/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 2595679 m, 25271 m/sec, 4714021 t fired, .
Time elapsed: 372 secs. Pages in use: 17
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 373/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 36313966 t fired, 5251435 attempts, .
102 EF STEQ 373/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
105 EF EXCL 96/3319 15/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 2716920 m, 24248 m/sec, 4961501 t fired, .
Time elapsed: 377 secs. Pages in use: 17
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 378/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 36849987 t fired, 5329032 attempts, .
102 EF STEQ 378/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
105 EF EXCL 101/3319 16/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 2834278 m, 23471 m/sec, 5252264 t fired, .
Time elapsed: 382 secs. Pages in use: 17
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
101 EF FNDP 383/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 37385553 t fired, 5406616 attempts, .
102 EF STEQ 383/3596 0/5 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 sara is running.
105 EF EXCL 106/3319 17/32 DBSingleClientW-PT-d1m05-ReachabilityFireability-14 2974083 m, 27961 m/sec, 5509700 t fired, .
Time elapsed: 387 secs. Pages in use: 17
# running tasks: 3 of 4 Visible: 16
lola: FINISHED task # 105 (type EXCL) for DBSingleClientW-PT-d1m05-ReachabilityFireability-14
lola: result : false
lola: markings : 3109853
lola: fired transitions : 5747413
lola: time used : 111.000000
lola: memory pages used : 18
lola: CANCELED task # 101 (type FNDP) for DBSingleClientW-PT-d1m05-ReachabilityFireability-14 (obsolete)
lola: CANCELED task # 102 (type EQUN) for DBSingleClientW-PT-d1m05-ReachabilityFireability-14 (obsolete)
lola: Portfolio finished: no open formulas
FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m05-ReachabilityFireability-00: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-01: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-02: AG false tandem / insertion
DBSingleClientW-PT-d1m05-ReachabilityFireability-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-04: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-05: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-06: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-07: EF false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-08: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-09: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-10: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-11: AG false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-12: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-13: EF true tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-14: EF false tandem / relaxed
DBSingleClientW-PT-d1m05-ReachabilityFireability-15: AG false tandem / relaxed
Time elapsed: 392 secs. Pages in use: 18
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-d1m05"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="lolaxred"
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 lolaxred"
echo " Input is DBSingleClientW-PT-d1m05, 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 r103-tall-167814478100247"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DBSingleClientW-PT-d1m05.tgz
mv DBSingleClientW-PT-d1m05 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 ;