Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2024-input.r109-tall-171624208300335.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool gold2023
Input is DBSingleClientW-PT-d1m09, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r109-tall-171624208300335
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 828K
-rw-r--r-- 1 mcc users 7.3K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Apr 22 14:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 22 14:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 19 07:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 19 18:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.0K Apr 12 12:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 89K Apr 12 12:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.7K Apr 12 12:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 64K Apr 12 12:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 19 07:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 19 15:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 6 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 432K May 18 16:42 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00
FORMULA_NAME DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01
FORMULA_NAME DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02
FORMULA_NAME DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03
FORMULA_NAME DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04
FORMULA_NAME DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05
FORMULA_NAME DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06
FORMULA_NAME DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07
FORMULA_NAME DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08
FORMULA_NAME DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09
FORMULA_NAME DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10
FORMULA_NAME DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11
FORMULA_NAME DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12
FORMULA_NAME DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13
FORMULA_NAME DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14
FORMULA_NAME DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15

=== Now, execution of the tool begins

BK_START 1716327067053

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=gold2023
BK_EXAMINATION=ReachabilityFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DBSingleClientW-PT-d1m09
Applying reductions before tool lola
Invoking reducer
Running Version 202304061127
[2024-05-21 21:31:08] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -timeout, 360, -rebuildPNML]
[2024-05-21 21:31:08] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-21 21:31:08] [INFO ] Load time of PNML (sax parser for PT used): 86 ms
[2024-05-21 21:31:08] [INFO ] Transformed 1440 places.
[2024-05-21 21:31:08] [INFO ] Transformed 672 transitions.
[2024-05-21 21:31:08] [INFO ] Parsed PT model containing 1440 places and 672 transitions and 2688 arcs in 152 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 10 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 2329 resets, run finished after 479 ms. (steps per millisecond=20 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1000 steps, including 89 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 44 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 47 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 111 resets, run finished after 18 ms. (steps per millisecond=55 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 44 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 43 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 40 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 34 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 53 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 43 resets, run finished after 13 ms. (steps per millisecond=77 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1000 steps, including 92 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 45 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 40 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 38 resets, run finished after 11 ms. (steps per millisecond=91 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1000 steps, including 46 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 46 resets, run finished after 19 ms. (steps per millisecond=52 ) properties (out of 16) seen :0
Interrupted probabilistic random walk after 318635 steps, run timeout after 3001 ms. (steps per millisecond=106 ) properties seen :{0=1, 3=1, 4=1, 5=1, 7=1, 8=1, 9=1, 10=1, 11=1, 15=1}
Probabilistic random walk after 318635 steps, saw 129402 distinct states, run finished after 3002 ms. (steps per millisecond=106 ) properties seen :10
FORMULA DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11 FALSE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08 FALSE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
Running SMT prover for 6 properties.
// Phase 1: matrix 672 rows 347 cols
[2024-05-21 21:31:12] [INFO ] Computed 6 invariants in 34 ms
[2024-05-21 21:31:12] [INFO ] [Real]Absence check using 2 positive place invariants in 3 ms returned sat
[2024-05-21 21:31:12] [INFO ] [Real]Absence check using 2 positive and 4 generalized place invariants in 5 ms returned sat
[2024-05-21 21:31:12] [INFO ] After 271ms SMT Verify possible using all constraints in real domain returned unsat :4 sat :0 real:2
[2024-05-21 21:31:13] [INFO ] [Nat]Absence check using 2 positive place invariants in 2 ms returned sat
[2024-05-21 21:31:13] [INFO ] [Nat]Absence check using 2 positive and 4 generalized place invariants in 5 ms returned sat
[2024-05-21 21:31:13] [INFO ] After 87ms SMT Verify possible using all constraints in natural domain returned unsat :6 sat :0
FORMULA DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 6 Parikh solutions to 0 different solutions.
Parikh walk visited 0 properties in 1 ms.
All properties solved without resorting to model-checking.
Total runtime 4586 ms.
starting LoLA
BK_INPUT DBSingleClientW-PT-d1m09
BK_EXAMINATION: ReachabilityFireability
bin directory: /home/mcc/BenchKit/bin//../reducer/bin//../../lola/bin/
current directory: /home/mcc/execution
ReachabilityFireability

FORMULA DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

BK_STOP 1716327374721

--------------------
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//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202304061127.jar
+ VERSION=202304061127
+ echo 'Running Version 202304061127'
+ /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: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Rule S: 0 transitions removed,1093 places removed
lola: Created skeleton in 0.000000 secs.
lola: LAUNCH INITIAL
lola: LAUNCH task # 7 (type CNST) for 6 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 37 (type CNST) for 36 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 37 (type CNST) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12
lola: result : false
lola: FINISHED task # 7 (type CNST) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02
lola: result : false
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: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 # 53 (type EXCL) for 24 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08
lola: time limit : 189 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 49 (type FNDP) for 24 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 50 (type EQUN) for 24 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 52 (type SRCH) for 24 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-50.sara.
lola: LAUNCH INITIAL
lola: LAUNCH task # 43 (type CNST) for 42 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 40 (type CNST) for 39 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13
lola: time limit : 0 sec
lola: memory limit: 0 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: FINISHED task # 40 (type CNST) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13
lola: result : false
lola: FINISHED task # 43 (type CNST) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14
lola: result : false
lola: FINISHED task # 52 (type SRCH) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08
lola: result : true
lola: markings : 4516
lola: fired transitions : 4775
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 49 (type FNDP) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08 (obsolete)
lola: CANCELED task # 50 (type EQUN) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08 (obsolete)
lola: CANCELED task # 53 (type EXCL) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08 (obsolete)
lola: LAUNCH task # 59 (type EXCL) for 21 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07
lola: time limit : 256 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 55 (type FNDP) for 21 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 56 (type EQUN) for 21 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 58 (type SRCH) for 21 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 50 (type EQUN) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08
lola: result : unknown
lola: FINISHED task # 49 (type FNDP) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08
lola: result : unknown
lola: fired transitions : 968
lola: tried executions : 119
lola: time used : 0.000000
lola: memory pages used : 0
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k: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
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-56.sara.
lola: FINISHED task # 58 (type SRCH) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: result : true
lola: markings : 684
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: fired transitions : 692
lola: time used : 0.000000
lola: memory pages used : 1
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: CANCELED task # 55 (type FNDP) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07 (obsolete)
lola: CANCELED task # 56 (type EQUN) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07 (obsolete)
lola: CANCELED task # 59 (type EXCL) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07 (obsolete)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 66 (type EXCL) for 27 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09
lola: time limit : 449 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 61 (type FNDP) for 12 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 67 (type EQUN) for 12 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 71 (type SRCH) for 12 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 55 (type FNDP) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07
lola: result : unknown
lola: fired transitions : 742
lola: tried executions : 136
lola: time used : 0.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 56 (type EQUN) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07
lola: result : unknown
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
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-67.sara.
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 71 (type SRCH) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04
lola: result : true
lola: markings : 4439
lola: fired transitions : 4698
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 61 (type FNDP) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04 (obsolete)
lola: CANCELED task # 67 (type EQUN) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04 (obsolete)
lola: LAUNCH task # 117 (type FNDP) for 18 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 118 (type EQUN) for 18 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 120 (type SRCH) for 18 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 61 (type FNDP) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04
lola: result : unknown
lola: fired transitions : 3047
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: tried executions : 389
lola: time used : 0.000000
lola: memory pages used : 0
lola: FINISHED task # 67 (type EQUN) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04
lola: result : unknown
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-118.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 66 (type EXCL) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09
lola: result : true
lola: markings : 7016
lola: fired transitions : 7455
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 100 (type EXCL) for 45 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15
lola: time limit : 449 sec
lola: memory limit: 32 pages
lola: FINISHED task # 100 (type EXCL) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15
lola: result : true
lola: markings : 419
lola: fired transitions : 436
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 90 (type EXCL) for 15 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05
lola: time limit : 513 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 3 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
90 EF EXCL 5/513 2/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05 168682 m, 33736 m/sec, 187533 t fired, .
117 EF FNDP 5/359 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 435964 t fired, 62546 attempts, .
118 EF STEQ 5/399 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.
120 EF SRCH 5/399 3/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 520328 m, 104065 m/sec, 688282 t fired, .

Time elapsed: 9 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 120 (type SRCH) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
90 EF EXCL 10/513 3/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05 356689 m, 37601 m/sec, 396922 t fired, .
117 EF FNDP 10/354 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 906008 t fired, 130746 attempts, .
118 EF STEQ 10/394 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 14 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 82 (type FNDP) for 0 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 82 (type FNDP) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00
lola: result : true
lola: fired transitions : 40309
lola: tried executions : 6460
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 104 (type FNDP) for 33 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 104 (type FNDP) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11
lola: result : true
lola: fired transitions : 3245
lola: tried executions : 538
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 110 (type FNDP) for 3 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
90 EF EXCL 15/719 4/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05 542634 m, 37189 m/sec, 607865 t fired, .
110 EF FNDP 5/512 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 464832 t fired, 83339 attempts, .
117 EF FNDP 15/589 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 1372964 t fired, 198697 attempts, .
118 EF STEQ 15/589 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 19 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
90 EF EXCL 20/719 5/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05 730555 m, 37584 m/sec, 815994 t fired, .
110 EF FNDP 10/507 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 981135 t fired, 175779 attempts, .
117 EF FNDP 20/584 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 1840183 t fired, 266894 attempts, .
118 EF STEQ 20/584 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 24 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
90 EF EXCL 25/719 6/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05 917845 m, 37458 m/sec, 1027328 t fired, .
110 EF FNDP 15/502 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 1498589 t fired, 268414 attempts, .
117 EF FNDP 25/579 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 2308012 t fired, 335283 attempts, .
118 EF STEQ 25/579 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 29 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
90 EF EXCL 30/719 7/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05 1107822 m, 37995 m/sec, 1234904 t fired, .
110 EF FNDP 20/497 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 2016025 t fired, 361056 attempts, .
117 EF FNDP 30/574 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 2775610 t fired, 403614 attempts, .
118 EF STEQ 30/574 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 34 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
90 EF EXCL 35/719 8/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05 1297728 m, 37981 m/sec, 1444862 t fired, .
110 EF FNDP 25/492 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 2533381 t fired, 453623 attempts, .
117 EF FNDP 35/569 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 3243486 t fired, 472000 attempts, .
118 EF STEQ 35/569 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 39 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
90 EF EXCL 40/719 9/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05 1488021 m, 38058 m/sec, 1652961 t fired, .
110 EF FNDP 30/487 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 3049293 t fired, 545418 attempts, .
117 EF FNDP 40/564 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 3711251 t fired, 540388 attempts, .
118 EF STEQ 40/564 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 44 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
90 EF EXCL 45/719 11/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05 1678510 m, 38097 m/sec, 1864367 t fired, .
110 EF FNDP 35/482 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 3540230 t fired, 625228 attempts, .
117 EF FNDP 45/559 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 4116837 t fired, 599796 attempts, .
118 EF STEQ 45/559 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 49 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
90 EF EXCL 50/719 12/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05 1866854 m, 37668 m/sec, 2074635 t fired, .
110 EF FNDP 40/477 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 3922843 t fired, 687518 attempts, .
117 EF FNDP 50/554 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 4349258 t fired, 633763 attempts, .
118 EF STEQ 50/554 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 54 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
90 EF EXCL 55/719 13/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05 2046538 m, 35936 m/sec, 2270441 t fired, .
110 EF FNDP 45/472 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 4273475 t fired, 744662 attempts, .
117 EF FNDP 55/549 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 4694371 t fired, 684243 attempts, .
118 EF STEQ 55/549 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 59 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
90 EF EXCL 60/719 14/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05 2237216 m, 38135 m/sec, 2481634 t fired, .
110 EF FNDP 50/467 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 4519998 t fired, 784944 attempts, .
117 EF FNDP 60/544 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 5001657 t fired, 729286 attempts, .
118 EF STEQ 60/544 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 64 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
90 EF EXCL 65/719 15/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05 2416189 m, 35794 m/sec, 2674650 t fired, .
110 EF FNDP 55/462 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 4868887 t fired, 841793 attempts, .
117 EF FNDP 65/539 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 5335030 t fired, 778159 attempts, .
118 EF STEQ 65/539 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 69 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
90 EF EXCL 70/719 16/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05 2592754 m, 35313 m/sec, 2864572 t fired, .
110 EF FNDP 60/457 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 5150802 t fired, 887901 attempts, .
117 EF FNDP 70/534 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 5610290 t fired, 818402 attempts, .
118 EF STEQ 70/534 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 74 secs. Pages in use: 16
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
90 EF EXCL 75/719 17/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05 2783159 m, 38081 m/sec, 3075435 t fired, .
110 EF FNDP 65/452 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 5578481 t fired, 957622 attempts, .
117 EF FNDP 75/529 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 5905803 t fired, 861779 attempts, .
118 EF STEQ 75/529 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 79 secs. Pages in use: 17
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
90 EF EXCL 80/719 18/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05 2974830 m, 38334 m/sec, 3292108 t fired, .
110 EF FNDP 70/447 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 6046830 t fired, 1033864 attempts, .
117 EF FNDP 80/524 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 6190506 t fired, 903406 attempts, .
118 EF STEQ 80/524 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 84 secs. Pages in use: 18
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
90 EF EXCL 85/719 19/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05 3167361 m, 38506 m/sec, 3522331 t fired, .
110 EF FNDP 75/442 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 6531013 t fired, 1112568 attempts, .
117 EF FNDP 85/519 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 6595901 t fired, 962987 attempts, .
118 EF STEQ 85/519 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 89 secs. Pages in use: 19
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
90 EF EXCL 90/719 20/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05 3354030 m, 37333 m/sec, 3747374 t fired, .
110 EF FNDP 80/437 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 7009877 t fired, 1190347 attempts, .
117 EF FNDP 90/514 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 7053000 t fired, 1030036 attempts, .
118 EF STEQ 90/514 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 94 secs. Pages in use: 20
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
90 EF EXCL 95/719 21/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05 3539846 m, 37163 m/sec, 3985017 t fired, .
110 EF FNDP 85/432 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 7491737 t fired, 1268911 attempts, .
117 EF FNDP 95/509 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 7511630 t fired, 1097147 attempts, .
118 EF STEQ 95/509 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 99 secs. Pages in use: 21
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
90 EF EXCL 100/719 22/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05 3727641 m, 37559 m/sec, 4212832 t fired, .
110 EF FNDP 90/427 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 7979854 t fired, 1348276 attempts, .
117 EF FNDP 100/504 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 7891179 t fired, 1152589 attempts, .
118 EF STEQ 100/504 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 104 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
90 EF EXCL 105/719 23/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05 3920328 m, 38537 m/sec, 4436656 t fired, .
110 EF FNDP 95/422 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 8341097 t fired, 1407262 attempts, .
117 EF FNDP 105/499 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 8298903 t fired, 1212527 attempts, .
118 EF STEQ 105/499 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 109 secs. Pages in use: 23
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
90 EF EXCL 110/719 24/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05 4113984 m, 38731 m/sec, 4661508 t fired, .
110 EF FNDP 100/417 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 8823398 t fired, 1486055 attempts, .
117 EF FNDP 110/494 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 8757980 t fired, 1279927 attempts, .
118 EF STEQ 110/494 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 114 secs. Pages in use: 24
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
90 EF EXCL 115/719 25/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05 4303304 m, 37864 m/sec, 4892245 t fired, .
110 EF FNDP 105/412 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 9250609 t fired, 1555787 attempts, .
117 EF FNDP 115/489 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 9164856 t fired, 1339703 attempts, .
118 EF STEQ 115/489 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 119 secs. Pages in use: 25
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
90 EF EXCL 120/719 26/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05 4493915 m, 38122 m/sec, 5128230 t fired, .
110 EF FNDP 110/407 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 9711637 t fired, 1630880 attempts, .
117 EF FNDP 120/484 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 9628677 t fired, 1407599 attempts, .
118 EF STEQ 120/484 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 124 secs. Pages in use: 26
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
90 EF EXCL 125/719 27/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05 4684010 m, 38019 m/sec, 5366770 t fired, .
110 EF FNDP 115/402 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 10197945 t fired, 1710230 attempts, .
117 EF FNDP 125/479 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 10091951 t fired, 1475604 attempts, .
118 EF STEQ 125/479 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 129 secs. Pages in use: 27
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
90 EF EXCL 130/719 28/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05 4874030 m, 38004 m/sec, 5597626 t fired, .
110 EF FNDP 120/397 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 10682270 t fired, 1789058 attempts, .
117 EF FNDP 130/474 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 10560991 t fired, 1544583 attempts, .
118 EF STEQ 130/474 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 134 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
90 EF EXCL 135/719 29/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05 5064256 m, 38045 m/sec, 5829893 t fired, .
110 EF FNDP 125/392 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 11172776 t fired, 1868949 attempts, .
117 EF FNDP 135/469 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 11028890 t fired, 1613120 attempts, .
118 EF STEQ 135/469 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 139 secs. Pages in use: 29
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
90 EF EXCL 140/719 30/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05 5246832 m, 36515 m/sec, 6077088 t fired, .
110 EF FNDP 130/387 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 11663730 t fired, 1949144 attempts, .
117 EF FNDP 140/464 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 11497168 t fired, 1681756 attempts, .
118 EF STEQ 140/464 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 144 secs. Pages in use: 30
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
90 EF EXCL 145/719 31/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05 5434357 m, 37505 m/sec, 6299908 t fired, .
110 EF FNDP 135/382 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 12095785 t fired, 2019720 attempts, .
117 EF FNDP 145/459 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 11961061 t fired, 1749902 attempts, .
118 EF STEQ 145/459 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 149 secs. Pages in use: 31
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 90 (type EXCL) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 0 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
110 EF FNDP 140/377 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 12548473 t fired, 2093506 attempts, .
117 EF FNDP 150/454 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 12426990 t fired, 1818222 attempts, .
118 EF STEQ 150/454 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 154 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 98 (type EXCL) for 30 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10
lola: time limit : 861 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 0 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
98 EF EXCL 5/861 2/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10 207904 m, 41580 m/sec, 230884 t fired, .
110 EF FNDP 145/372 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 13039732 t fired, 2173780 attempts, .
117 EF FNDP 155/449 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 12895863 t fired, 1887275 attempts, .
118 EF STEQ 155/449 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 159 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 0 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
98 EF EXCL 10/861 3/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10 414132 m, 41245 m/sec, 462845 t fired, .
110 EF FNDP 150/367 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 13530574 t fired, 2253851 attempts, .
117 EF FNDP 160/444 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 13364559 t fired, 1956254 attempts, .
118 EF STEQ 160/444 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 164 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 0 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
98 EF EXCL 15/861 4/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10 619640 m, 41101 m/sec, 694178 t fired, .
110 EF FNDP 155/362 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 14021037 t fired, 2333737 attempts, .
117 EF FNDP 165/439 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 13833249 t fired, 2025079 attempts, .
118 EF STEQ 165/439 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 169 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 0 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
98 EF EXCL 20/861 6/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10 825059 m, 41083 m/sec, 925087 t fired, .
110 EF FNDP 160/357 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 14511840 t fired, 2413843 attempts, .
117 EF FNDP 170/434 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 14302044 t fired, 2093844 attempts, .
118 EF STEQ 170/434 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 174 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 0 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
98 EF EXCL 25/861 7/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10 1031745 m, 41337 m/sec, 1152097 t fired, .
110 EF FNDP 165/352 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 15002361 t fired, 2493778 attempts, .
117 EF FNDP 175/429 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 14770599 t fired, 2162632 attempts, .
118 EF STEQ 175/429 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 179 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 0 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
98 EF EXCL 30/861 8/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10 1238263 m, 41303 m/sec, 1379997 t fired, .
110 EF FNDP 170/347 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 15493355 t fired, 2573908 attempts, .
117 EF FNDP 180/424 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 15239229 t fired, 2231566 attempts, .
118 EF STEQ 180/424 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 184 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 0 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
98 EF EXCL 35/861 9/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10 1445196 m, 41386 m/sec, 1606319 t fired, .
110 EF FNDP 175/342 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 15984504 t fired, 2653930 attempts, .
117 EF FNDP 185/419 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 15708221 t fired, 2300561 attempts, .
118 EF STEQ 185/419 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 189 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 0 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
98 EF EXCL 40/861 10/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10 1651910 m, 41342 m/sec, 1833517 t fired, .
110 EF FNDP 180/337 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 16475368 t fired, 2733846 attempts, .
117 EF FNDP 190/414 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 16176809 t fired, 2369203 attempts, .
118 EF STEQ 190/414 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 194 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 0 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
98 EF EXCL 45/861 12/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10 1857763 m, 41170 m/sec, 2065207 t fired, .
110 EF FNDP 185/332 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 16966080 t fired, 2813699 attempts, .
117 EF FNDP 195/409 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 16645966 t fired, 2438162 attempts, .
118 EF STEQ 195/409 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 199 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 0 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
98 EF EXCL 50/861 13/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10 2064522 m, 41351 m/sec, 2291314 t fired, .
110 EF FNDP 190/327 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 17457013 t fired, 2893868 attempts, .
117 EF FNDP 200/404 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 17114863 t fired, 2506958 attempts, .
118 EF STEQ 200/404 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 204 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 0 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
98 EF EXCL 55/861 14/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10 2270785 m, 41252 m/sec, 2519677 t fired, .
110 EF FNDP 195/322 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 17947709 t fired, 2973828 attempts, .
117 EF FNDP 205/399 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 17583082 t fired, 2575776 attempts, .
118 EF STEQ 205/399 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 209 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 0 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
98 EF EXCL 60/861 15/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10 2479526 m, 41748 m/sec, 2743850 t fired, .
110 EF FNDP 200/317 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 18438281 t fired, 3053997 attempts, .
117 EF FNDP 210/394 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 18050993 t fired, 2644447 attempts, .
118 EF STEQ 210/394 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 214 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 0 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
98 EF EXCL 65/861 16/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10 2689035 m, 41901 m/sec, 2969817 t fired, .
110 EF FNDP 205/312 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 18926038 t fired, 3133667 attempts, .
117 EF FNDP 215/389 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 18519670 t fired, 2713360 attempts, .
118 EF STEQ 215/389 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 sara is running.

Time elapsed: 219 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16

lola: FINISHED task # 118 (type EQUN) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06
lola: result : false
lola: CANCELED task # 117 (type FNDP) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06 (obsolete)
lola: LAUNCH task # 73 (type FNDP) for 9 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 77 (type EQUN) for 9 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 117 (type FNDP) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06
lola: result : unknown
lola: fired transitions : 18716890
lola: tried executions : 2742457
lola: time used : 217.000000
lola: memory pages used : 0
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-77.sara.
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG true state equation
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 0 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
73 EF FNDP 3/563 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03 259105 t fired, 21066 attempts, .
77 EF STEQ 3/675 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03 sara is running.
98 EF EXCL 70/1148 17/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10 2894589 m, 41110 m/sec, 3199678 t fired, .
110 EF FNDP 210/510 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 19393426 t fired, 3210120 attempts, .

Time elapsed: 224 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG true state equation
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 0 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
73 EF FNDP 8/560 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03 717660 t fired, 59483 attempts, .
77 EF STEQ 8/672 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03 sara is running.
98 EF EXCL 75/1148 19/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10 3100344 m, 41151 m/sec, 3447689 t fired, .
110 EF FNDP 215/507 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 19873544 t fired, 3288233 attempts, .

Time elapsed: 229 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG true state equation
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 0 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
73 EF FNDP 13/555 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03 1176762 t fired, 98088 attempts, .
77 EF STEQ 13/667 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03 sara is running.
98 EF EXCL 80/1148 20/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10 3307086 m, 41348 m/sec, 3690344 t fired, .
110 EF FNDP 220/502 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 20354761 t fired, 3366865 attempts, .

Time elapsed: 234 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG true state equation
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 0 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
73 EF FNDP 18/550 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03 1638069 t fired, 136994 attempts, .
77 EF STEQ 18/662 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03 sara is running.
98 EF EXCL 85/1148 21/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10 3509865 m, 40555 m/sec, 3947924 t fired, .
110 EF FNDP 225/497 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 20835485 t fired, 3445246 attempts, .

Time elapsed: 239 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG true state equation
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 0 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
73 EF FNDP 23/545 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03 2099162 t fired, 175880 attempts, .
77 EF STEQ 23/657 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03 sara is running.
98 EF EXCL 90/1148 22/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10 3713777 m, 40782 m/sec, 4198151 t fired, .
110 EF FNDP 230/492 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 21316064 t fired, 3523702 attempts, .

Time elapsed: 244 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG true state equation
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 0 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
73 EF FNDP 28/540 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03 2561989 t fired, 215024 attempts, .
77 EF STEQ 28/652 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03 sara is running.
98 EF EXCL 95/1148 23/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10 3919358 m, 41116 m/sec, 4436338 t fired, .
110 EF FNDP 235/487 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 21797511 t fired, 3602236 attempts, .

Time elapsed: 249 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG true state equation
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 0 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
73 EF FNDP 33/535 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03 3023974 t fired, 254030 attempts, .
77 EF STEQ 33/647 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03 sara is running.
98 EF EXCL 100/1148 24/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10 4126510 m, 41430 m/sec, 4679470 t fired, .
110 EF FNDP 240/482 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 22278190 t fired, 3680716 attempts, .

Time elapsed: 254 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG true state equation
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 0 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
73 EF FNDP 38/530 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03 3485038 t fired, 293100 attempts, .
77 EF STEQ 38/642 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03 sara is running.
98 EF EXCL 105/1148 25/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10 4329932 m, 40684 m/sec, 4925760 t fired, .
110 EF FNDP 245/477 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 22759134 t fired, 3758908 attempts, .

Time elapsed: 259 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG true state equation
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 0 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
73 EF FNDP 43/525 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03 3947622 t fired, 332069 attempts, .
77 EF STEQ 43/637 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03 sara is running.
98 EF EXCL 110/1148 26/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10 4534184 m, 40850 m/sec, 5180737 t fired, .
110 EF FNDP 250/472 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 23240292 t fired, 3837221 attempts, .

Time elapsed: 264 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG true state equation
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 0 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
73 EF FNDP 48/520 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03 4410723 t fired, 371336 attempts, .
77 EF STEQ 48/632 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03 sara is running.
98 EF EXCL 115/1148 28/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10 4738437 m, 40850 m/sec, 5434736 t fired, .
110 EF FNDP 255/467 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 23721847 t fired, 3915757 attempts, .

Time elapsed: 269 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG true state equation
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 0 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
73 EF FNDP 53/515 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03 4873430 t fired, 410679 attempts, .
77 EF STEQ 53/627 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03 sara is running.
98 EF EXCL 120/1148 29/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10 4943927 m, 41098 m/sec, 5685212 t fired, .
110 EF FNDP 260/462 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 24202711 t fired, 3994032 attempts, .

Time elapsed: 274 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG true state equation
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 0 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
73 EF FNDP 58/510 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03 5336478 t fired, 450078 attempts, .
77 EF STEQ 58/622 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03 sara is running.
98 EF EXCL 125/1148 30/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10 5144548 m, 40124 m/sec, 5943082 t fired, .
110 EF FNDP 265/457 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 24683981 t fired, 4072463 attempts, .

Time elapsed: 279 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG true state equation
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 0 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
73 EF FNDP 63/505 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03 5799179 t fired, 489362 attempts, .
77 EF STEQ 63/617 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03 sara is running.
98 EF EXCL 130/1148 31/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10 5344827 m, 40055 m/sec, 6198671 t fired, .
110 EF FNDP 270/452 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 25165347 t fired, 4150874 attempts, .

Time elapsed: 284 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG true state equation
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 0 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
73 EF FNDP 68/500 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03 6216621 t fired, 524659 attempts, .
77 EF STEQ 68/612 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03 sara is running.
98 EF EXCL 135/1148 32/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10 5549494 m, 40933 m/sec, 6442739 t fired, .
110 EF FNDP 275/447 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 25595653 t fired, 4221138 attempts, .

Time elapsed: 289 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 98 (type EXCL) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG true state equation
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 3 2 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 0 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
73 EF FNDP 73/495 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03 6682025 t fired, 564123 attempts, .
77 EF STEQ 73/607 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03 sara is running.
110 EF FNDP 280/442 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 26075528 t fired, 4299364 attempts, .

Time elapsed: 294 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 80 (type EXCL) for 9 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03
lola: time limit : 1653 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG true state equation
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF 0 2 3 0 1 0 0 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF 0 4 0 0 1 0 1 0
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
73 EF FNDP 78/490 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03 7146356 t fired, 603518 attempts, .
77 EF STEQ 78/602 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03 sara is running.
80 EF EXCL 5/1653 2/32 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03 220878 m, 44175 m/sec, 245036 t fired, .
110 EF FNDP 285/437 0/5 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 26556444 t fired, 4377643 attempts, .

Time elapsed: 299 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 80 (type EXCL) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03
lola: result : true
lola: markings : 304789
lola: fired transitions : 337486
lola: time used : 7.000000
lola: memory pages used : 2
lola: CANCELED task # 73 (type FNDP) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03 (obsolete)
lola: CANCELED task # 77 (type EQUN) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03 (obsolete)
lola: LAUNCH task # 114 (type EXCL) for 3 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01
lola: time limit : 3299 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 69 (type FNDP) for 30 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 75 (type EQUN) for 30 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 73 (type FNDP) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03
lola: result : unknown
lola: fired transitions : 7323366
lola: tried executions : 618547
lola: time used : 80.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 77 (type EQUN) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03
lola: result : unknown
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-75.sara.
sara: place or transition ordering is non-deterministic

lola: FINISHED task # 75 (type EQUN) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10
lola: result : true
lola: CANCELED task # 69 (type FNDP) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10 (obsolete)
lola: LAUNCH task # 74 (type FNDP) for 15 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 87 (type EQUN) for 15 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 69 (type FNDP) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10
lola: result : unknown
lola: fired transitions : 5742
lola: tried executions : 797
lola: time used : 0.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-87.sara.
sara: place or transition ordering is non-deterministic

lola: FINISHED task # 87 (type EQUN) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05
lola: result : true
lola: CANCELED task # 74 (type FNDP) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05 (obsolete)
lola: LAUNCH task # 111 (type EQUN) for 3 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 113 (type SRCH) for 3 DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 74 (type FNDP) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05
lola: result : unknown
lola: fired transitions : 8706
lola: tried executions : 1139
lola: time used : 0.000000
lola: memory pages used : 0
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-111.sara.
sara: place or transition ordering is non-deterministic

lola: FINISHED task # 111 (type EQUN) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01
lola: result : false
lola: CANCELED task # 110 (type FNDP) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 (obsolete)
lola: CANCELED task # 113 (type SRCH) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 (obsolete)
lola: CANCELED task # 114 (type EXCL) for DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01 (obsolete)
lola: Portfolio finished: no open formulas

FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-00: EF true findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-01: EF false state equation
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-02: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-03: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-04: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-05: EF true state equation
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-06: AG true state equation
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-07: EF true tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-08: AG false tandem / insertion
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-09: EF true tandem / relaxed
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-10: EF true state equation
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-11: AG false findpath
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-12: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-13: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-14: INITIAL false preprocessing
DBSingleClientW-PT-d1m09-ReachabilityFireability-2024-15: EF true tandem / relaxed


Time elapsed: 301 secs. Pages in use: 32

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-d1m09"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="gold2023"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool gold2023"
echo " Input is DBSingleClientW-PT-d1m09, 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 r109-tall-171624208300335"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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