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-171624208400375.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-d2m10, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r109-tall-171624208400375
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 8.0K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 22 14:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K 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 18K May 19 18:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.6K Apr 12 12:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 83K Apr 12 12:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Apr 12 12:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 37K Apr 12 12:52 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 1.6M 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-d2m10-ReachabilityFireability-2024-00
FORMULA_NAME DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01
FORMULA_NAME DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02
FORMULA_NAME DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-03
FORMULA_NAME DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-04
FORMULA_NAME DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05
FORMULA_NAME DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06
FORMULA_NAME DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07
FORMULA_NAME DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-08
FORMULA_NAME DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09
FORMULA_NAME DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10
FORMULA_NAME DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11
FORMULA_NAME DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-12
FORMULA_NAME DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13
FORMULA_NAME DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14
FORMULA_NAME DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15

=== Now, execution of the tool begins

BK_START 1716331111012

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-d2m10
Applying reductions before tool lola
Invoking reducer
Running Version 202304061127
[2024-05-21 22:38:32] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -timeout, 360, -rebuildPNML]
[2024-05-21 22:38:32] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-21 22:38:32] [INFO ] Load time of PNML (sax parser for PT used): 167 ms
[2024-05-21 22:38:32] [INFO ] Transformed 4763 places.
[2024-05-21 22:38:32] [INFO ] Transformed 2478 transitions.
[2024-05-21 22:38:32] [INFO ] Parsed PT model containing 4763 places and 2478 transitions and 9912 arcs in 256 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 3580 places in 16 ms
Reduce places removed 3580 places and 0 transitions.
Incomplete random walk after 10000 steps, including 2287 resets, run finished after 497 ms. (steps per millisecond=20 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 35 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 39 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 94 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1000 steps, including 47 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 104 resets, run finished after 29 ms. (steps per millisecond=34 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 49 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 82 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 34 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 12 ms. (steps per millisecond=83 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1000 steps, including 53 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 84 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 10 ms. (steps per millisecond=100 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 55 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1000 steps, including 103 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 46 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 60 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 16) seen :0
Interrupted probabilistic random walk after 198617 steps, run timeout after 3001 ms. (steps per millisecond=66 ) properties seen :{0=1, 1=1, 2=1, 4=1, 5=1, 6=1, 7=1, 8=1, 11=1, 12=1, 13=1, 14=1, 15=1}
Probabilistic random walk after 198617 steps, saw 83896 distinct states, run finished after 3001 ms. (steps per millisecond=66 ) properties seen :13
FORMULA DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15 FALSE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-12 FALSE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11 FALSE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-08 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07 FALSE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05 FALSE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-04 FALSE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02 FALSE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 FALSE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-00 FALSE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
Running SMT prover for 3 properties.
// Phase 1: matrix 2478 rows 1183 cols
[2024-05-21 22:38:36] [INFO ] Computed 6 invariants in 136 ms
[2024-05-21 22:38:37] [INFO ] [Real]Absence check using 2 positive place invariants in 12 ms returned sat
[2024-05-21 22:38:37] [INFO ] [Real]Absence check using 2 positive and 4 generalized place invariants in 25 ms returned sat
[2024-05-21 22:38:37] [INFO ] After 629ms SMT Verify possible using all constraints in real domain returned unsat :2 sat :0 real:1
[2024-05-21 22:38:37] [INFO ] [Nat]Absence check using 2 positive place invariants in 13 ms returned sat
[2024-05-21 22:38:37] [INFO ] [Nat]Absence check using 2 positive and 4 generalized place invariants in 11 ms returned sat
[2024-05-21 22:38:38] [INFO ] After 1053ms SMT Verify possible using state equation in natural domain returned unsat :2 sat :1
[2024-05-21 22:38:39] [INFO ] State equation strengthened by 1588 read => feed constraints.
[2024-05-21 22:38:40] [INFO ] After 921ms SMT Verify possible using 1588 Read/Feed constraints in natural domain returned unsat :2 sat :1
[2024-05-21 22:38:40] [INFO ] After 1170ms SMT Verify possible using trap constraints in natural domain returned unsat :2 sat :1
Attempting to minimize the solution found.
Minimization took 330 ms.
[2024-05-21 22:38:40] [INFO ] After 2970ms SMT Verify possible using all constraints in natural domain returned unsat :2 sat :1
FORMULA DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-03 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 3 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 5 ms.
Support contains 2 out of 1183 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1183/1183 places, 2478/2478 transitions.
Graph (complete) has 4476 edges and 1183 vertex of which 1136 are kept as prefixes of interest. Removing 47 places using SCC suffix rule.7 ms
Discarding 47 places :
Also discarding 0 output transitions
Drop transitions removed 18 transitions
Ensure Unique test removed 199 transitions
Reduce isomorphic transitions removed 217 transitions.
Iterating post reduction 0 with 217 rules applied. Total rules applied 218 place count 1136 transition count 2261
Discarding 391 places :
Symmetric choice reduction at 1 with 391 rule applications. Total rules 609 place count 745 transition count 1200
Iterating global reduction 1 with 391 rules applied. Total rules applied 1000 place count 745 transition count 1200
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 1 with 9 rules applied. Total rules applied 1009 place count 745 transition count 1191
Discarding 315 places :
Symmetric choice reduction at 2 with 315 rule applications. Total rules 1324 place count 430 transition count 876
Iterating global reduction 2 with 315 rules applied. Total rules applied 1639 place count 430 transition count 876
Ensure Unique test removed 12 transitions
Reduce isomorphic transitions removed 12 transitions.
Iterating post reduction 2 with 12 rules applied. Total rules applied 1651 place count 430 transition count 864
Discarding 241 places :
Symmetric choice reduction at 3 with 241 rule applications. Total rules 1892 place count 189 transition count 525
Iterating global reduction 3 with 241 rules applied. Total rules applied 2133 place count 189 transition count 525
Ensure Unique test removed 213 transitions
Reduce isomorphic transitions removed 213 transitions.
Iterating post reduction 3 with 213 rules applied. Total rules applied 2346 place count 189 transition count 312
Discarding 24 places :
Symmetric choice reduction at 4 with 24 rule applications. Total rules 2370 place count 165 transition count 273
Iterating global reduction 4 with 24 rules applied. Total rules applied 2394 place count 165 transition count 273
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 4 with 6 rules applied. Total rules applied 2400 place count 165 transition count 267
Discarding 16 places :
Symmetric choice reduction at 5 with 16 rule applications. Total rules 2416 place count 149 transition count 251
Iterating global reduction 5 with 16 rules applied. Total rules applied 2432 place count 149 transition count 251
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 5 with 3 rules applied. Total rules applied 2435 place count 149 transition count 248
Discarding 14 places :
Symmetric choice reduction at 6 with 14 rule applications. Total rules 2449 place count 135 transition count 234
Iterating global reduction 6 with 14 rules applied. Total rules applied 2463 place count 135 transition count 234
Ensure Unique test removed 13 transitions
Reduce isomorphic transitions removed 13 transitions.
Iterating post reduction 6 with 13 rules applied. Total rules applied 2476 place count 135 transition count 221
Discarding 8 places :
Symmetric choice reduction at 7 with 8 rule applications. Total rules 2484 place count 127 transition count 177
Iterating global reduction 7 with 8 rules applied. Total rules applied 2492 place count 127 transition count 177
Applied a total of 2492 rules in 273 ms. Remains 127 /1183 variables (removed 1056) and now considering 177/2478 (removed 2301) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 273 ms. Remains : 127/1183 places, 177/2478 transitions.
Incomplete random walk after 10000 steps, including 2289 resets, run finished after 21 ms. (steps per millisecond=476 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10000 steps, including 923 resets, run finished after 12 ms. (steps per millisecond=833 ) properties (out of 1) seen :0
Finished probabilistic random walk after 17036 steps, run visited all 1 properties in 49 ms. (steps per millisecond=347 )
Probabilistic random walk after 17036 steps, saw 7954 distinct states, run finished after 49 ms. (steps per millisecond=347 ) properties seen :1
FORMULA DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10 FALSE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
Parikh walk visited 0 properties in 0 ms.
All properties solved without resorting to model-checking.
Total runtime 8497 ms.
starting LoLA
BK_INPUT DBSingleClientW-PT-d2m10
BK_EXAMINATION: ReachabilityFireability
bin directory: /home/mcc/BenchKit/bin//../reducer/bin//../../lola/bin/
current directory: /home/mcc/execution
ReachabilityFireability

FORMULA DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

FORMULA DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

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

FORMULA DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

FORMULA DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

FORMULA DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

BK_STOP 1716331423166

--------------------
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: 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,3580 places removed
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 # 50 (type SKEL/FNDP) for 21 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 51 (type SKEL/EQUN) for 21 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 53 (type SKEL/SRCH) for 21 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 54 (type SKEL/SRCH) for 21 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 50 (type SKEL/FNDP) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07
lola: result : true
lola: fired transitions : 24
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 51 (type EQUN) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07 (obsolete)
lola: CANCELED task # 53 (type SRCH) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07 (obsolete)
lola: CANCELED task # 54 (type SRCH) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07 (obsolete)
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-51.sara.
sara: place or transition ordering is non-deterministic
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 # 58 (type SKEL/FNDP) for 6 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 59 (type SKEL/EQUN) for 6 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 61 (type SKEL/SRCH) for 6 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 62 (type SKEL/SRCH) for 6 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02
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: Created skeleton in 0.000000 secs.
lola: FINISHED task # 61 (type SKEL/SRCH) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02
lola: result : true
lola: markings : 51
lola: fired transitions : 50
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 58 (type FNDP) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02 (obsolete)
lola: CANCELED task # 59 (type EQUN) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02 (obsolete)
lola: CANCELED task # 62 (type SRCH) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02 (obsolete)
lola: FINISHED task # 51 (type SKEL/EQUN) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07
lola: result : true
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 INITIAL
lola: LAUNCH task # 10 (type CNST) for 9 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-03
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH task # 66 (type SKEL/FNDP) for 15 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 67 (type SKEL/EQUN) for 15 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 69 (type SKEL/SRCH) for 15 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 10 (type CNST) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-03
lola: result : false
lola: LAUNCH task # 70 (type SKEL/SRCH) for 15 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 70 (type SKEL/SRCH) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05
lola: result : true
lola: markings : 92
lola: fired transitions : 91
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 66 (type FNDP) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05 (obsolete)
lola: CANCELED task # 67 (type EQUN) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05 (obsolete)
lola: CANCELED task # 69 (type SRCH) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05 (obsolete)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-59.sara.
lola: FINISHED task # 66 (type SKEL/FNDP) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05
lola: result : true
lola: fired transitions : 58
lola: tried executions : 2
lola: time used : 0.000000
lola: memory pages used : 0
lola: FINISHED task # 58 (type SKEL/FNDP) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02
lola: result : true
lola: fired transitions : 49
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
sara: place or transition ordering is non-deterministic
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-67.sara.
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 # 74 (type SKEL/FNDP) for 30 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 75 (type SKEL/EQUN) for 30 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 77 (type SKEL/SRCH) for 30 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 78 (type SKEL/SRCH) for 30 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k: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: Created skeleton in 0.000000 secs.
sara: place or transition ordering is non-deterministic
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-75.sara.
sara: place or transition ordering is non-deterministic

lola: FINISHED task # 59 (type SKEL/EQUN) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02
lola: result : true
lola: FINISHED task # 78 (type SKEL/SRCH) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10
lola: result : true
lola: markings : 6148
lola: fired transitions : 7373
lola: time used : 1.000000
lola: memory pages used : 1
lola: CANCELED task # 74 (type FNDP) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10 (obsolete)
lola: CANCELED task # 75 (type EQUN) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10 (obsolete)
lola: CANCELED task # 77 (type SRCH) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10 (obsolete)
lola: LAUNCH task # 81 (type SKEL/FNDP) for 42 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 82 (type SKEL/EQUN) for 42 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 84 (type SKEL/SRCH) for 42 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 85 (type SKEL/SRCH) for 42 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 74 (type SKEL/FNDP) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10
lola: result : unknown
lola: fired transitions : 16469
lola: tried executions : 2242
lola: time used : 1.000000
lola: memory pages used : 0
lola: FINISHED task # 81 (type SKEL/FNDP) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14
lola: result : true
lola: fired transitions : 147
lola: tried executions : 6
lola: time used : 0.000000
lola: memory pages used : 0
lola: FINISHED task # 75 (type SKEL/EQUN) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10
lola: result : unknown
lola: CANCELED task # 82 (type EQUN) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14 (obsolete)
lola: CANCELED task # 84 (type SRCH) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14 (obsolete)
lola: CANCELED task # 85 (type SRCH) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14 (obsolete)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-82.sara.
sara: place or transition ordering is non-deterministic

lola: FINISHED task # 82 (type SKEL/EQUN) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14
lola: result : true
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k: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: LAUNCH task # 88 (type SKEL/FNDP) for 39 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: Created skeleton in 0.000000 secs.
lola: LAUNCH task # 93 (type SKEL/EQUN) for 39 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 96 (type SKEL/SRCH) for 39 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 97 (type SKEL/SRCH) for 39 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 88 (type SKEL/FNDP) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13
lola: result : true
lola: fired transitions : 21
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 93 (type EQUN) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13 (obsolete)
lola: CANCELED task # 96 (type SRCH) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13 (obsolete)
lola: CANCELED task # 97 (type SRCH) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13 (obsolete)
lola: LAUNCH task # 106 (type SKEL/FNDP) for 33 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 107 (type SKEL/EQUN) for 33 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 114 (type SKEL/SRCH) for 33 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 115 (type SKEL/SRCH) for 33 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 106 (type SKEL/FNDP) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11
lola: result : true
lola: fired transitions : 19381
lola: tried executions : 2455
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 107 (type EQUN) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11 (obsolete)
lola: CANCELED task # 114 (type SRCH) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11 (obsolete)
lola: CANCELED task # 115 (type SRCH) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11 (obsolete)
lola: LAUNCH task # 95 (type SKEL/FNDP) for 3 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 100 (type SKEL/EQUN) for 3 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 102 (type SKEL/SRCH) for 3 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 103 (type SKEL/SRCH) for 3 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-93.sara.
sara: place or transition ordering is non-deterministic

lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 93 (type SKEL/EQUN) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13
lola: result : true
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-107.sara.
lola: Created skeleton in 0.000000 secs.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 102 (type SKEL/SRCH) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01
lola: result : true
lola: markings : 1294
lola: fired transitions : 1403
lola: time used : 1.000000
lola: memory pages used : 1
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-100.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 95 (type SKEL/FNDP) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01
lola: result : true
lola: fired transitions : 221
lola: tried executions : 16
lola: time used : 1.000000
lola: memory pages used : 0

lola: CANCELED task # 100 (type EQUN) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 (obsolete)
lola: CANCELED task # 103 (type SRCH) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 (obsolete)
lola: LAUNCH task # 105 (type SKEL/FNDP) for 45 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 110 (type SKEL/EQUN) for 45 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 112 (type SKEL/SRCH) for 45 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 113 (type SKEL/SRCH) for 45 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 100 (type SKEL/EQUN) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01
lola: result : true
lola: FINISHED task # 105 (type SKEL/FNDP) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15
lola: result : true
lola: fired transitions : 255
lola: tried executions : 19
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 110 (type EQUN) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15 (obsolete)
lola: CANCELED task # 112 (type SRCH) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15 (obsolete)
lola: CANCELED task # 113 (type SRCH) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15 (obsolete)
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-110.sara.
sara: place or transition ordering is non-deterministic

lola: FINISHED task # 110 (type SKEL/EQUN) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15
lola: result : true
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: 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 # 130 (type EXCL) for 21 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07
lola: time limit : 238 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 119 (type FNDP) for 0 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 120 (type EQUN) for 0 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 122 (type SRCH) for 0 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 122 (type SRCH) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-00
lola: result : true
lola: markings : 457
lola: fired transitions : 481
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 119 (type FNDP) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-00 (obsolete)
lola: CANCELED task # 120 (type EQUN) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-00 (obsolete)
lola: LAUNCH task # 126 (type FNDP) for 21 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 127 (type EQUN) for 21 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 129 (type SRCH) for 21 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k: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 # 126 (type FNDP) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07
lola: result : true
lola: fired transitions : 24
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 127 (type EQUN) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07 (obsolete)
lola: CANCELED task # 129 (type SRCH) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07 (obsolete)
lola: CANCELED task # 130 (type EXCL) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07 (obsolete)
lola: LAUNCH task # 137 (type EXCL) for 33 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11
lola: time limit : 275 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 133 (type FNDP) for 33 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 134 (type EQUN) for 33 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 136 (type SRCH) for 33 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-127.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: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-134.sara.
sara: place or transition ordering is non-deterministic

sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-00: AG false tandem / insertion
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-03: INITIAL false preprocessing
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 0 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-04: AG 0 0 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05: AG 0 0 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06: EF 0 0 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-08: EF 0 0 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 0 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11: AG 0 1 4 0 1 0 0 4
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-12: AG 0 0 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 0 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 0 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15: AG 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
133 EF FNDP 1/595 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11 366 t fired, 50 attempts, .
134 EF STEQ 1/714 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11 sara is running.
136 EF SRCH 1/714 1/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11 --
137 EF EXCL 1/275 1/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11 803 m, 160 m/sec, 860 t fired, .

Time elapsed: 24 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-120.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 127 (type EQUN) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07
lola: result : true
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k: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 # 136 (type SRCH) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11
lola: result : true
lola: markings : 14315
lola: fired transitions : 15205
lola: time used : 6.000000
lola: memory pages used : 1
lola: CANCELED task # 133 (type FNDP) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11 (obsolete)
lola: CANCELED task # 134 (type EQUN) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11 (obsolete)
lola: CANCELED task # 137 (type EXCL) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11 (obsolete)
lola: LAUNCH task # 217 (type EXCL) for 15 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05
lola: time limit : 297 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 148 (type FNDP) for 27 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 154 (type EQUN) for 27 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 156 (type SRCH) for 27 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 134 (type EQUN) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11
lola: result : unknown
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-00: AG false tandem / insertion
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-03: INITIAL false preprocessing
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07: AG false findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11: AG false tandem / insertion

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-04: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05: AG 0 4 1 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 3 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-12: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15: AG 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 0/223 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 --
154 EF STEQ 0/223 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara not yet started (preprocessing).
156 EF SRCH 0/223 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 --
217 EF EXCL 0/297 1/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05 49 m, 9 m/sec, 48 t fired, .

Time elapsed: 29 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 133 (type FNDP) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11
lola: result : unknown
lola: fired transitions : 2904
lola: tried executions : 298
lola: time used : 6.000000
lola: memory pages used : 0
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-154.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 217 (type EXCL) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05
lola: result : true
lola: markings : 1976
lola: fired transitions : 2318
lola: time used : 3.000000
lola: memory pages used : 1
lola: LAUNCH task # 190 (type EXCL) for 3 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01
lola: time limit : 324 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-00: AG false tandem / insertion
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-03: INITIAL false preprocessing
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05: AG false tandem / relaxed
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07: AG false findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11: AG false tandem / insertion

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-04: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 3 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-12: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15: AG 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 5/235 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 36052 t fired, 4265 attempts, .
154 EF STEQ 5/235 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
156 EF SRCH 5/252 1/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 64934 m, 12986 m/sec, 75947 t fired, .
190 EF EXCL 2/324 1/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 5775 m, 1155 m/sec, 6423 t fired, .

Time elapsed: 34 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16

lola: FINISHED task # 67 (type SKEL/EQUN) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05
lola: result : true
lola: FINISHED task # 119 (type FNDP) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-00
lola: result : true
lola: fired transitions : 74530
lola: tried executions : 9422
lola: time used : 12.000000
lola: memory pages used : 0
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-00: AG false tandem / insertion
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-03: INITIAL false preprocessing
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05: AG false tandem / relaxed
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07: AG false findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11: AG false tandem / insertion

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-04: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 3 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-12: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15: AG 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 10/232 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 80960 t fired, 10233 attempts, .
154 EF STEQ 10/232 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
156 EF SRCH 10/249 1/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 168327 m, 20678 m/sec, 202863 t fired, .
190 EF EXCL 7/324 1/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 19184 m, 2681 m/sec, 22024 t fired, .

Time elapsed: 39 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-00: AG false tandem / insertion
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-03: INITIAL false preprocessing
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05: AG false tandem / relaxed
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07: AG false findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11: AG false tandem / insertion

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-04: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 3 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-12: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15: AG 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 15/228 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 118485 t fired, 15384 attempts, .
154 EF STEQ 15/228 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
156 EF SRCH 15/245 2/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 249418 m, 16218 m/sec, 296264 t fired, .
190 EF EXCL 12/324 1/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 26858 m, 1534 m/sec, 30875 t fired, .

Time elapsed: 44 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-00: AG false tandem / insertion
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-03: INITIAL false preprocessing
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05: AG false tandem / relaxed
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07: AG false findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11: AG false tandem / insertion

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-04: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 3 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-12: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15: AG 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 20/223 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 157226 t fired, 20686 attempts, .
154 EF STEQ 20/223 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
156 EF SRCH 20/240 2/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 296603 m, 9437 m/sec, 357395 t fired, .
190 EF EXCL 17/324 1/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 38251 m, 2278 m/sec, 43815 t fired, .

Time elapsed: 49 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-00: AG false tandem / insertion
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-03: INITIAL false preprocessing
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05: AG false tandem / relaxed
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07: AG false findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11: AG false tandem / insertion

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-04: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 3 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-12: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15: AG 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 25/218 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 217066 t fired, 28910 attempts, .
154 EF STEQ 25/218 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
156 EF SRCH 25/235 2/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 414008 m, 23481 m/sec, 516092 t fired, .
190 EF EXCL 22/324 1/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 53072 m, 2964 m/sec, 64496 t fired, .

Time elapsed: 54 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-00: AG false tandem / insertion
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-03: INITIAL false preprocessing
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05: AG false tandem / relaxed
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07: AG false findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11: AG false tandem / insertion

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-04: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 3 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-12: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15: AG 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 30/213 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 269854 t fired, 36246 attempts, .
154 EF STEQ 30/213 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
156 EF SRCH 30/230 3/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 524188 m, 22036 m/sec, 642219 t fired, .
190 EF EXCL 27/324 1/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 65618 m, 2509 m/sec, 79078 t fired, .

Time elapsed: 59 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-00: AG false tandem / insertion
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-03: INITIAL false preprocessing
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05: AG false tandem / relaxed
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07: AG false findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11: AG false tandem / insertion

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-04: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 3 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-12: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15: AG 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 35/208 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 317228 t fired, 42854 attempts, .
154 EF STEQ 35/208 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
156 EF SRCH 35/225 3/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 601932 m, 15548 m/sec, 741827 t fired, .
190 EF EXCL 32/324 1/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 75883 m, 2053 m/sec, 90531 t fired, .

Time elapsed: 64 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-00: AG false tandem / insertion
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-03: INITIAL false preprocessing
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05: AG false tandem / relaxed
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07: AG false findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11: AG false tandem / insertion

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-04: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 3 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-12: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15: AG 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 40/203 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 358259 t fired, 48534 attempts, .
154 EF STEQ 40/203 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
156 EF SRCH 40/220 4/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 697697 m, 19153 m/sec, 850231 t fired, .
190 EF EXCL 37/324 1/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 87405 m, 2304 m/sec, 104390 t fired, .

Time elapsed: 69 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-00: AG false tandem / insertion
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-03: INITIAL false preprocessing
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05: AG false tandem / relaxed
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07: AG false findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11: AG false tandem / insertion

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-04: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 3 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-12: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15: AG 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 45/198 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 408233 t fired, 55501 attempts, .
154 EF STEQ 45/198 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
156 EF SRCH 45/215 4/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 789869 m, 18434 m/sec, 954866 t fired, .
190 EF EXCL 42/324 1/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 100071 m, 2533 m/sec, 119325 t fired, .

Time elapsed: 74 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-00: AG false tandem / insertion
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-03: INITIAL false preprocessing
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05: AG false tandem / relaxed
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07: AG false findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11: AG false tandem / insertion

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-04: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 3 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-12: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15: AG 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 51/193 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 447495 t fired, 61000 attempts, .
154 EF STEQ 51/193 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
156 EF SRCH 51/210 4/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 873866 m, 16799 m/sec, 1051904 t fired, .
190 EF EXCL 48/324 1/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 113729 m, 2731 m/sec, 136023 t fired, .

Time elapsed: 80 secs. Pages in use: 5
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-00: AG false tandem / insertion
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-03: INITIAL false preprocessing
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05: AG false tandem / relaxed
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07: AG false findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11: AG false tandem / insertion

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-04: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 3 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-12: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15: AG 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 56/187 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 495017 t fired, 67659 attempts, .
154 EF STEQ 56/187 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
156 EF SRCH 56/204 5/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 957847 m, 16796 m/sec, 1158322 t fired, .
190 EF EXCL 53/324 1/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 127353 m, 2724 m/sec, 152172 t fired, .

Time elapsed: 85 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-00: AG false tandem / insertion
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-03: INITIAL false preprocessing
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05: AG false tandem / relaxed
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07: AG false findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11: AG false tandem / insertion

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-04: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 3 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-12: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15: AG 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 61/182 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 544981 t fired, 74606 attempts, .
154 EF STEQ 61/182 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
156 EF SRCH 61/199 5/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 1038079 m, 16046 m/sec, 1269595 t fired, .
190 EF EXCL 58/324 1/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 141534 m, 2836 m/sec, 168399 t fired, .

Time elapsed: 90 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 156 (type SRCH) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-00: AG false tandem / insertion
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-03: INITIAL false preprocessing
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05: AG false tandem / relaxed
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07: AG false findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11: AG false tandem / insertion

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-04: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-12: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15: AG 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 66/177 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 612126 t fired, 83950 attempts, .
154 EF STEQ 66/177 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
190 EF EXCL 63/324 1/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 160336 m, 3760 m/sec, 189408 t fired, .

Time elapsed: 95 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 192 (type FNDP) for 18 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
sara: warning, failure of lp_solve (at job 68)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-00: AG false tandem / insertion
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-03: INITIAL false preprocessing
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05: AG false tandem / relaxed
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07: AG false findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11: AG false tandem / insertion

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-04: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-12: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15: AG 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 71/189 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 662342 t fired, 91023 attempts, .
154 EF STEQ 71/189 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
190 EF EXCL 68/324 2/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 176582 m, 3249 m/sec, 206917 t fired, .
192 EF FNDP 5/233 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06 52019 t fired, 6520 attempts, .

Time elapsed: 100 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-00: AG false tandem / insertion
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-03: INITIAL false preprocessing
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05: AG false tandem / relaxed
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07: AG false findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11: AG false tandem / insertion

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-04: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-12: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15: AG 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 76/184 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 708134 t fired, 97555 attempts, .
154 EF STEQ 76/184 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
190 EF EXCL 73/324 2/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 187750 m, 2233 m/sec, 220036 t fired, .
192 EF FNDP 10/228 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06 95458 t fired, 12365 attempts, .

Time elapsed: 105 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-00: AG false tandem / insertion
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-03: INITIAL false preprocessing
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05: AG false tandem / relaxed
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07: AG false findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11: AG false tandem / insertion

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-04: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-12: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15: AG 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 81/179 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 764609 t fired, 105553 attempts, .
154 EF STEQ 81/179 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
190 EF EXCL 78/324 2/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 201838 m, 2817 m/sec, 236117 t fired, .
192 EF FNDP 15/223 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06 149824 t fired, 19943 attempts, .

Time elapsed: 110 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-00: AG false tandem / insertion
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-03: INITIAL false preprocessing
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05: AG false tandem / relaxed
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07: AG false findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11: AG false tandem / insertion

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-04: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-12: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15: AG 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 86/174 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 814182 t fired, 112593 attempts, .
154 EF STEQ 86/174 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
190 EF EXCL 83/324 2/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 215423 m, 2717 m/sec, 252689 t fired, .
192 EF FNDP 20/218 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06 201153 t fired, 27143 attempts, .

Time elapsed: 115 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-00: AG false tandem / insertion
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-03: INITIAL false preprocessing
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05: AG false tandem / relaxed
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07: AG false findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11: AG false tandem / insertion

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-04: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-12: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15: AG 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 91/169 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 851777 t fired, 117943 attempts, .
154 EF STEQ 91/169 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
190 EF EXCL 88/324 2/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 228479 m, 2611 m/sec, 267833 t fired, .
192 EF FNDP 25/213 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06 245945 t fired, 33434 attempts, .

Time elapsed: 120 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-00: AG false tandem / insertion
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-03: INITIAL false preprocessing
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05: AG false tandem / relaxed
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07: AG false findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11: AG false tandem / insertion

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-04: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-12: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15: AG 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 96/164 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 903613 t fired, 125412 attempts, .
154 EF STEQ 96/164 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
190 EF EXCL 93/324 2/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 240716 m, 2447 m/sec, 282843 t fired, .
192 EF FNDP 30/208 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06 300463 t fired, 41164 attempts, .

Time elapsed: 125 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-00: AG false tandem / insertion
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-03: INITIAL false preprocessing
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05: AG false tandem / relaxed
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07: AG false findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11: AG false tandem / insertion

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-04: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-12: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15: AG 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 101/159 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 961694 t fired, 133763 attempts, .
154 EF STEQ 101/159 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
190 EF EXCL 98/324 2/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 253273 m, 2511 m/sec, 304551 t fired, .
192 EF FNDP 35/203 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06 355369 t fired, 48908 attempts, .

Time elapsed: 130 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-00: AG false tandem / insertion
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-03: INITIAL false preprocessing
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05: AG false tandem / relaxed
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07: AG false findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11: AG false tandem / insertion

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-04: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06: EF 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-08: EF 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-12: AG 0 5 0 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15: AG 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 106/154 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 1014124 t fired, 141221 attempts, .
154 EF STEQ 106/154 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
190 EF EXCL 103/324 2/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 265561 m, 2457 m/sec, 320177 t fired, .
192 EF FNDP 40/198 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06 406655 t fired, 56144 attempts, .

Time elapsed: 135 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 192 (type FNDP) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06
lola: result : true
lola: fired transitions : 428781
lola: tried executions : 59279
lola: time used : 42.000000
lola: memory pages used : 0
lola: LAUNCH task # 206 (type FNDP) for 36 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 206 (type FNDP) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-12
lola: result : true
lola: fired transitions : 24
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 167 (type FNDP) for 24 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 167 (type FNDP) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-08
lola: result : true
lola: fired transitions : 18364
lola: tried executions : 2101
lola: time used : 2.000000
lola: memory pages used : 0
lola: LAUNCH task # 199 (type FNDP) for 12 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-00: AG false tandem / insertion
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-03: INITIAL false preprocessing
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05: AG false tandem / relaxed
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06: EF true findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07: AG false findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-08: EF true findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11: AG false tandem / insertion
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-12: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-04: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15: AG 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 111/247 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 1058374 t fired, 147528 attempts, .
154 EF STEQ 111/247 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
190 EF EXCL 108/446 2/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 277623 m, 2412 m/sec, 342183 t fired, .
199 EF FNDP 1/314 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-04 895 t fired, 82 attempts, .

Time elapsed: 140 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-00: AG false tandem / insertion
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-03: INITIAL false preprocessing
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05: AG false tandem / relaxed
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06: EF true findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07: AG false findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-08: EF true findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11: AG false tandem / insertion
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-12: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-04: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15: AG 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 116/246 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 1102673 t fired, 153806 attempts, .
154 EF STEQ 116/246 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
190 EF EXCL 113/446 2/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 293199 m, 3115 m/sec, 360650 t fired, .
199 EF FNDP 6/313 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-04 46976 t fired, 5862 attempts, .

Time elapsed: 145 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-00: AG false tandem / insertion
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-03: INITIAL false preprocessing
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05: AG false tandem / relaxed
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06: EF true findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07: AG false findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-08: EF true findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11: AG false tandem / insertion
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-12: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-04: AG 0 4 1 0 1 0 0 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 5 0 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15: AG 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 121/241 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 1146069 t fired, 159904 attempts, .
154 EF STEQ 121/241 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
190 EF EXCL 118/446 2/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 304880 m, 2336 m/sec, 373333 t fired, .
199 EF FNDP 11/308 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-04 95263 t fired, 12272 attempts, .

Time elapsed: 150 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 199 (type FNDP) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-04
lola: result : true
lola: fired transitions : 108074
lola: tried executions : 13991
lola: time used : 12.000000
lola: memory pages used : 0
lola: LAUNCH task # 140 (type FNDP) for 6 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 140 (type FNDP) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02
lola: result : true
lola: fired transitions : 188
lola: tried executions : 4
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 149 (type FNDP) for 45 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 149 (type FNDP) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15
lola: result : true
lola: fired transitions : 179
lola: tried executions : 8
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 161 (type FNDP) for 30 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-00: AG false tandem / insertion
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02: AG false findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-03: INITIAL false preprocessing
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-04: AG false findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05: AG false tandem / relaxed
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06: EF true findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07: AG false findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-08: EF true findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11: AG false tandem / insertion
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-12: AG false findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 126/473 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 1197527 t fired, 167313 attempts, .
154 EF STEQ 126/473 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
161 EF FNDP 4/492 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10 36432 t fired, 2830 attempts, .
190 EF EXCL 123/713 2/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 318544 m, 2732 m/sec, 390718 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 131/469 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 1252786 t fired, 175252 attempts, .
154 EF STEQ 131/469 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
161 EF FNDP 9/488 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10 86949 t fired, 6952 attempts, .
190 EF EXCL 128/713 2/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 334273 m, 3145 m/sec, 410111 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 136/464 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 1307557 t fired, 183046 attempts, .
154 EF STEQ 136/464 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
161 EF FNDP 14/483 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10 140915 t fired, 11404 attempts, .
190 EF EXCL 133/713 3/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 351574 m, 3460 m/sec, 429313 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 141/459 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 1347707 t fired, 188813 attempts, .
154 EF STEQ 141/459 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
161 EF FNDP 19/478 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10 185845 t fired, 15141 attempts, .
190 EF EXCL 138/713 3/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 367179 m, 3121 m/sec, 447087 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 146/454 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 1384718 t fired, 194141 attempts, .
154 EF STEQ 146/454 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
161 EF FNDP 24/473 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10 229452 t fired, 18763 attempts, .
190 EF EXCL 143/713 3/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 379663 m, 2496 m/sec, 461344 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 151/449 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 1431297 t fired, 200917 attempts, .
154 EF STEQ 151/449 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
161 EF FNDP 29/468 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10 268564 t fired, 22022 attempts, .
190 EF EXCL 148/713 3/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 391057 m, 2278 m/sec, 474611 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 156/444 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 1480930 t fired, 207981 attempts, .
154 EF STEQ 156/444 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
161 EF FNDP 34/463 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10 307542 t fired, 25281 attempts, .
190 EF EXCL 153/713 3/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 404273 m, 2643 m/sec, 488593 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 161/439 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 1521333 t fired, 213806 attempts, .
154 EF STEQ 161/439 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
161 EF FNDP 39/458 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10 352506 t fired, 29030 attempts, .
190 EF EXCL 158/713 3/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 417075 m, 2560 m/sec, 503059 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 166/434 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 1559449 t fired, 219218 attempts, .
154 EF STEQ 166/434 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
161 EF FNDP 44/453 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10 393779 t fired, 32452 attempts, .
190 EF EXCL 163/713 3/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 430370 m, 2659 m/sec, 517056 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 171/429 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 1601429 t fired, 225216 attempts, .
154 EF STEQ 171/429 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
161 EF FNDP 49/448 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10 439395 t fired, 36278 attempts, .
190 EF EXCL 168/713 3/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 442621 m, 2450 m/sec, 531089 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 176/424 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 1651764 t fired, 232446 attempts, .
154 EF STEQ 176/424 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
161 EF FNDP 54/443 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10 478113 t fired, 39535 attempts, .
190 EF EXCL 173/713 3/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 452979 m, 2071 m/sec, 542375 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 181/419 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 1699036 t fired, 239268 attempts, .
154 EF STEQ 181/419 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
161 EF FNDP 59/438 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10 516050 t fired, 42685 attempts, .
190 EF EXCL 178/713 3/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 464571 m, 2318 m/sec, 555822 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 186/414 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 1745237 t fired, 245975 attempts, .
154 EF STEQ 186/414 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
161 EF FNDP 64/433 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10 559080 t fired, 46277 attempts, .
190 EF EXCL 183/713 3/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 475575 m, 2200 m/sec, 568395 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 191/409 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 1786193 t fired, 251908 attempts, .
154 EF STEQ 191/409 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
161 EF FNDP 69/428 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10 597248 t fired, 49496 attempts, .
190 EF EXCL 188/713 3/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 485487 m, 1982 m/sec, 579762 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 196/404 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 1830117 t fired, 258262 attempts, .
154 EF STEQ 196/404 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
161 EF FNDP 74/423 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10 652294 t fired, 54120 attempts, .
190 EF EXCL 193/713 3/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 496425 m, 2187 m/sec, 591358 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 201/399 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 1869256 t fired, 263843 attempts, .
154 EF STEQ 201/399 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
161 EF FNDP 79/418 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10 702528 t fired, 58347 attempts, .
190 EF EXCL 198/713 3/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 509569 m, 2628 m/sec, 607185 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 206/394 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 1917404 t fired, 270782 attempts, .
154 EF STEQ 206/394 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
161 EF FNDP 84/413 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10 745579 t fired, 61979 attempts, .
190 EF EXCL 203/713 3/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 521408 m, 2367 m/sec, 621051 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 211/389 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 1967123 t fired, 277920 attempts, .
154 EF STEQ 211/389 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
161 EF FNDP 89/408 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10 786394 t fired, 65404 attempts, .
190 EF EXCL 208/713 3/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 533012 m, 2320 m/sec, 633949 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 216/384 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 2008817 t fired, 283844 attempts, .
154 EF STEQ 216/384 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
161 EF FNDP 94/403 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10 833996 t fired, 69385 attempts, .
190 EF EXCL 213/713 3/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 546120 m, 2621 m/sec, 648323 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 221/379 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 2054027 t fired, 290402 attempts, .
154 EF STEQ 221/379 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
161 EF FNDP 99/398 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10 871749 t fired, 72577 attempts, .
190 EF EXCL 218/713 3/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 557300 m, 2236 m/sec, 661264 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 226/374 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 2098568 t fired, 296787 attempts, .
154 EF STEQ 226/374 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
161 EF FNDP 104/393 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10 912757 t fired, 76047 attempts, .
190 EF EXCL 223/713 3/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 566550 m, 1850 m/sec, 671643 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 231/369 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 2134439 t fired, 301944 attempts, .
154 EF STEQ 231/369 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
161 EF FNDP 109/388 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10 956447 t fired, 79781 attempts, .
190 EF EXCL 228/713 4/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 578321 m, 2354 m/sec, 685305 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 236/364 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 2173650 t fired, 307673 attempts, .
154 EF STEQ 236/364 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
161 EF FNDP 114/383 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10 995757 t fired, 83074 attempts, .
190 EF EXCL 233/713 4/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 589478 m, 2231 m/sec, 698113 t fired, .

Time elapsed: 265 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16

lola: FINISHED task # 107 (type SKEL/EQUN) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11
lola: result : true
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-00: AG false tandem / insertion
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-02: AG false findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-03: INITIAL false preprocessing
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-04: AG false findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-05: AG false tandem / relaxed
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-06: EF true findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-07: AG false findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-08: EF true findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-11: AG false tandem / insertion
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-12: AG false findpath
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 241/358 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 2219326 t fired, 314194 attempts, .
154 EF STEQ 241/358 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
161 EF FNDP 119/377 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10 1043772 t fired, 87054 attempts, .
190 EF EXCL 238/713 4/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 607727 m, 3649 m/sec, 727165 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 246/354 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 2286453 t fired, 323834 attempts, .
154 EF STEQ 246/354 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
161 EF FNDP 124/373 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10 1086290 t fired, 90615 attempts, .
190 EF EXCL 243/713 4/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 621713 m, 2797 m/sec, 744324 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 251/349 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 2341547 t fired, 331815 attempts, .
154 EF STEQ 251/349 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
161 EF FNDP 129/368 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10 1136162 t fired, 94832 attempts, .
190 EF EXCL 248/713 4/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 636005 m, 2858 m/sec, 763647 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 256/344 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 2411928 t fired, 342041 attempts, .
154 EF STEQ 256/344 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
161 EF FNDP 134/363 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10 1178391 t fired, 98378 attempts, .
190 EF EXCL 253/713 4/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 650700 m, 2939 m/sec, 786187 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 261/339 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 2477066 t fired, 351410 attempts, .
154 EF STEQ 261/339 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
161 EF FNDP 139/358 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10 1227547 t fired, 102533 attempts, .
190 EF EXCL 258/713 4/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 665560 m, 2972 m/sec, 806687 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09: AG 0 2 2 0 1 0 1 0
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10: AG 0 4 1 0 3 0 0 2
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13: EF 0 5 0 0 2 0 0 3
DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14: EF 0 5 0 0 2 0 0 3

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
148 EF FNDP 266/334 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 2531701 t fired, 359331 attempts, .
154 EF STEQ 266/334 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 sara is running.
161 EF FNDP 144/353 0/5 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10 1283162 t fired, 107255 attempts, .
190 EF EXCL 263/713 4/32 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 679529 m, 2793 m/sec, 824376 t fired, .

Time elapsed: 295 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16

lola: FINISHED task # 154 (type EQUN) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09
lola: result : false
lola: CANCELED task # 148 (type FNDP) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09 (obsolete)
lola: LAUNCH task # 173 (type FNDP) for 39 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 174 (type EQUN) for 39 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 148 (type FNDP) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-09
lola: result : unknown
lola: fired transitions : 2556816
lola: tried executions : 362918
lola: time used : 267.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 173 (type FNDP) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13
lola: result : true
lola: fired transitions : 21
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 174 (type EQUN) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13 (obsolete)
lola: LAUNCH task # 179 (type FNDP) for 42 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 180 (type EQUN) for 42 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14
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-174.sara.
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-180.sara.
lola: FINISHED task # 179 (type FNDP) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14
lola: result : true
lola: fired transitions : 11498
lola: tried executions : 1217
lola: time used : 2.000000
lola: memory pages used : 0
lola: CANCELED task # 180 (type EQUN) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14 (obsolete)
lola: LAUNCH task # 162 (type EQUN) for 30 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 164 (type SRCH) for 30 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 180 (type EQUN) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-14
lola: result : unknown
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-162.sara.
sara: place or transition ordering is non-deterministic

lola: FINISHED task # 164 (type SRCH) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10
lola: result : true
lola: markings : 19165
lola: fired transitions : 21571
lola: time used : 1.000000
lola: memory pages used : 1
lola: CANCELED task # 161 (type FNDP) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10 (obsolete)
lola: CANCELED task # 162 (type EQUN) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10 (obsolete)
lola: LAUNCH task # 186 (type FNDP) for 3 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 187 (type EQUN) for 3 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 189 (type SRCH) for 3 DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 162 (type EQUN) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10
lola: result : unknown
lola: FINISHED task # 161 (type FNDP) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-10
lola: result : unknown
lola: fired transitions : 1313672
lola: tried executions : 109807
lola: time used : 148.000000
lola: memory pages used : 0
lola: FINISHED task # 174 (type EQUN) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-13
lola: result : true
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-187.sara.
lola: FINISHED task # 189 (type SRCH) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01
lola: result : true
lola: markings : 14315
lola: fired transitions : 15205
lola: time used : 1.000000
lola: memory pages used : 1
lola: CANCELED task # 186 (type FNDP) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 (obsolete)
lola: CANCELED task # 187 (type EQUN) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 (obsolete)
lola: CANCELED task # 190 (type EXCL) for DBSingleClientW-PT-d2m10-ReachabilityFireability-2024-01 (obsolete)
lola: Portfolio finished: no open formulas

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


Time elapsed: 300 secs. Pages in use: 6

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-d2m10"
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-d2m10, 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-171624208400375"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DBSingleClientW-PT-d2m10.tgz
mv DBSingleClientW-PT-d2m10 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 ;