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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 6.7K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.9K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 68K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:42 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.8K May 18 16:42 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K May 19 07:08 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 19 15:40 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 22 14:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 22 14:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Apr 11 19:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 145K Apr 11 19:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Apr 11 19:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 77K Apr 11 19:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Apr 22 14:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 22 14:35 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 4 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 661K 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 CloudReconfiguration-PT-319-ReachabilityFireability-2024-00
FORMULA_NAME CloudReconfiguration-PT-319-ReachabilityFireability-2024-01
FORMULA_NAME CloudReconfiguration-PT-319-ReachabilityFireability-2024-02
FORMULA_NAME CloudReconfiguration-PT-319-ReachabilityFireability-2024-03
FORMULA_NAME CloudReconfiguration-PT-319-ReachabilityFireability-2024-04
FORMULA_NAME CloudReconfiguration-PT-319-ReachabilityFireability-2024-05
FORMULA_NAME CloudReconfiguration-PT-319-ReachabilityFireability-2024-06
FORMULA_NAME CloudReconfiguration-PT-319-ReachabilityFireability-2024-07
FORMULA_NAME CloudReconfiguration-PT-319-ReachabilityFireability-2024-08
FORMULA_NAME CloudReconfiguration-PT-319-ReachabilityFireability-2024-09
FORMULA_NAME CloudReconfiguration-PT-319-ReachabilityFireability-2024-10
FORMULA_NAME CloudReconfiguration-PT-319-ReachabilityFireability-2024-11
FORMULA_NAME CloudReconfiguration-PT-319-ReachabilityFireability-2024-12
FORMULA_NAME CloudReconfiguration-PT-319-ReachabilityFireability-2024-13
FORMULA_NAME CloudReconfiguration-PT-319-ReachabilityFireability-2024-14
FORMULA_NAME CloudReconfiguration-PT-319-ReachabilityFireability-2024-15

=== Now, execution of the tool begins

BK_START 1716308081163

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=CloudReconfiguration-PT-319
Applying reductions before tool lola
Invoking reducer
Running Version 202304061127
[2024-05-21 16:14:42] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -timeout, 360, -rebuildPNML]
[2024-05-21 16:14:42] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-21 16:14:42] [INFO ] Load time of PNML (sax parser for PT used): 125 ms
[2024-05-21 16:14:42] [INFO ] Transformed 2587 places.
[2024-05-21 16:14:42] [INFO ] Transformed 3099 transitions.
[2024-05-21 16:14:42] [INFO ] Found NUPN structural information;
[2024-05-21 16:14:42] [INFO ] Parsed PT model containing 2587 places and 3099 transitions and 6479 arcs in 355 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 22 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 10000 steps, including 108 resets, run finished after 546 ms. (steps per millisecond=18 ) properties (out of 16) seen :1
FORMULA CloudReconfiguration-PT-319-ReachabilityFireability-2024-02 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 1000 steps, including 7 resets, run finished after 30 ms. (steps per millisecond=33 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 11 ms. (steps per millisecond=90 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 28 ms. (steps per millisecond=35 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 12 ms. (steps per millisecond=83 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 16 ms. (steps per millisecond=62 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1000 steps, including 4 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 15) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 15) seen :0
Interrupted probabilistic random walk after 191342 steps, run timeout after 3001 ms. (steps per millisecond=63 ) properties seen :{}
Probabilistic random walk after 191342 steps, saw 57848 distinct states, run finished after 3002 ms. (steps per millisecond=63 ) properties seen :0
Running SMT prover for 15 properties.
// Phase 1: matrix 3099 rows 2587 cols
[2024-05-21 16:14:46] [INFO ] Computed 4 invariants in 62 ms
[2024-05-21 16:14:48] [INFO ] After 1265ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:15
[2024-05-21 16:14:49] [INFO ] [Nat]Absence check using 0 positive and 4 generalized place invariants in 23 ms returned sat
[2024-05-21 16:14:54] [INFO ] After 4656ms SMT Verify possible using state equation in natural domain returned unsat :1 sat :14
[2024-05-21 16:14:58] [INFO ] After 8760ms SMT Verify possible using trap constraints in natural domain returned unsat :1 sat :14
Attempting to minimize the solution found.
Minimization took 3064 ms.
[2024-05-21 16:15:01] [INFO ] After 13391ms SMT Verify possible using all constraints in natural domain returned unsat :1 sat :14
FORMULA CloudReconfiguration-PT-319-ReachabilityFireability-2024-03 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 15 Parikh solutions to 14 different solutions.
FORMULA CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 TRUE TECHNIQUES TOPOLOGICAL PARIKH_WALK
FORMULA CloudReconfiguration-PT-319-ReachabilityFireability-2024-09 TRUE TECHNIQUES TOPOLOGICAL PARIKH_WALK
Parikh walk visited 2 properties in 288 ms.
Support contains 158 out of 2587 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2587/2587 places, 3099/3099 transitions.
Graph (trivial) has 2554 edges and 2587 vertex of which 445 / 2587 are part of one of the 42 SCC in 15 ms
Free SCC test removed 403 places
Drop transitions removed 495 transitions
Reduce isomorphic transitions removed 495 transitions.
Graph (complete) has 2890 edges and 2184 vertex of which 2170 are kept as prefixes of interest. Removing 14 places using SCC suffix rule.6 ms
Discarding 14 places :
Also discarding 9 output transitions
Drop transitions removed 9 transitions
Drop transitions removed 4 transitions
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 6 transitions.
Drop transitions removed 1141 transitions
Trivial Post-agglo rules discarded 1141 transitions
Performed 1141 trivial Post agglomeration. Transition count delta: 1141
Iterating post reduction 0 with 1147 rules applied. Total rules applied 1149 place count 2170 transition count 1448
Reduce places removed 1141 places and 0 transitions.
Ensure Unique test removed 46 transitions
Reduce isomorphic transitions removed 46 transitions.
Drop transitions removed 31 transitions
Trivial Post-agglo rules discarded 31 transitions
Performed 31 trivial Post agglomeration. Transition count delta: 31
Iterating post reduction 1 with 1218 rules applied. Total rules applied 2367 place count 1029 transition count 1371
Reduce places removed 31 places and 0 transitions.
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Drop transitions removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 2 with 36 rules applied. Total rules applied 2403 place count 998 transition count 1366
Reduce places removed 2 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Drop transitions removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 3 with 6 rules applied. Total rules applied 2409 place count 996 transition count 1362
Reduce places removed 2 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Drop transitions removed 4 transitions
Trivial Post-agglo rules discarded 4 transitions
Performed 4 trivial Post agglomeration. Transition count delta: 4
Iterating post reduction 4 with 8 rules applied. Total rules applied 2417 place count 994 transition count 1356
Reduce places removed 4 places and 0 transitions.
Performed 139 Post agglomeration using F-continuation condition.Transition count delta: 139
Iterating post reduction 5 with 143 rules applied. Total rules applied 2560 place count 990 transition count 1217
Reduce places removed 139 places and 0 transitions.
Ensure Unique test removed 13 transitions
Reduce isomorphic transitions removed 13 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Iterating post reduction 6 with 156 rules applied. Total rules applied 2716 place count 851 transition count 1200
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 7 with 4 rules applied. Total rules applied 2720 place count 847 transition count 1200
Performed 36 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 8 with 36 Pre rules applied. Total rules applied 2720 place count 847 transition count 1164
Deduced a syphon composed of 36 places in 1 ms
Reduce places removed 36 places and 0 transitions.
Iterating global reduction 8 with 72 rules applied. Total rules applied 2792 place count 811 transition count 1164
Discarding 97 places :
Symmetric choice reduction at 8 with 97 rule applications. Total rules 2889 place count 714 transition count 1067
Iterating global reduction 8 with 97 rules applied. Total rules applied 2986 place count 714 transition count 1067
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 8 with 6 rules applied. Total rules applied 2992 place count 714 transition count 1061
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 9 with 1 rules applied. Total rules applied 2993 place count 713 transition count 1061
Performed 6 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 10 with 6 Pre rules applied. Total rules applied 2993 place count 713 transition count 1055
Deduced a syphon composed of 6 places in 3 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 10 with 12 rules applied. Total rules applied 3005 place count 707 transition count 1055
Discarding 51 places :
Symmetric choice reduction at 10 with 51 rule applications. Total rules 3056 place count 656 transition count 1003
Iterating global reduction 10 with 51 rules applied. Total rules applied 3107 place count 656 transition count 1003
Ensure Unique test removed 11 transitions
Reduce isomorphic transitions removed 11 transitions.
Drop transitions removed 9 transitions
Trivial Post-agglo rules discarded 9 transitions
Performed 9 trivial Post agglomeration. Transition count delta: 9
Iterating post reduction 10 with 20 rules applied. Total rules applied 3127 place count 656 transition count 983
Reduce places removed 9 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 11 with 11 rules applied. Total rules applied 3138 place count 647 transition count 981
Reduce places removed 1 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 12 with 2 rules applied. Total rules applied 3140 place count 646 transition count 980
Reduce places removed 1 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 13 with 2 rules applied. Total rules applied 3142 place count 645 transition count 979
Discarding 10 places :
Symmetric choice reduction at 14 with 10 rule applications. Total rules 3152 place count 635 transition count 962
Iterating global reduction 14 with 10 rules applied. Total rules applied 3162 place count 635 transition count 962
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 14 with 2 rules applied. Total rules applied 3164 place count 635 transition count 960
Discarding 3 places :
Symmetric choice reduction at 15 with 3 rule applications. Total rules 3167 place count 632 transition count 954
Iterating global reduction 15 with 3 rules applied. Total rules applied 3170 place count 632 transition count 954
Discarding 1 places :
Symmetric choice reduction at 15 with 1 rule applications. Total rules 3171 place count 631 transition count 952
Iterating global reduction 15 with 1 rules applied. Total rules applied 3172 place count 631 transition count 952
Performed 185 Post agglomeration using F-continuation condition with reduction of 43 identical transitions.
Deduced a syphon composed of 185 places in 1 ms
Reduce places removed 185 places and 0 transitions.
Iterating global reduction 15 with 370 rules applied. Total rules applied 3542 place count 446 transition count 724
Ensure Unique test removed 20 transitions
Reduce isomorphic transitions removed 20 transitions.
Iterating post reduction 15 with 20 rules applied. Total rules applied 3562 place count 446 transition count 704
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 16 with 2 rules applied. Total rules applied 3564 place count 445 transition count 703
Performed 59 Post agglomeration using F-continuation condition with reduction of 6 identical transitions.
Deduced a syphon composed of 59 places in 1 ms
Reduce places removed 59 places and 0 transitions.
Iterating global reduction 16 with 118 rules applied. Total rules applied 3682 place count 386 transition count 740
Ensure Unique test removed 37 transitions
Reduce isomorphic transitions removed 37 transitions.
Iterating post reduction 16 with 37 rules applied. Total rules applied 3719 place count 386 transition count 703
Discarding 9 places :
Symmetric choice reduction at 17 with 9 rule applications. Total rules 3728 place count 377 transition count 685
Iterating global reduction 17 with 9 rules applied. Total rules applied 3737 place count 377 transition count 685
Drop transitions removed 37 transitions
Redundant transition composition rules discarded 37 transitions
Iterating global reduction 17 with 37 rules applied. Total rules applied 3774 place count 377 transition count 648
Discarding 1 places :
Symmetric choice reduction at 17 with 1 rule applications. Total rules 3775 place count 376 transition count 647
Iterating global reduction 17 with 1 rules applied. Total rules applied 3776 place count 376 transition count 647
Free-agglomeration rule applied 34 times.
Iterating global reduction 17 with 34 rules applied. Total rules applied 3810 place count 376 transition count 613
Reduce places removed 34 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 17 with 36 rules applied. Total rules applied 3846 place count 342 transition count 611
Drop transitions removed 6 transitions
Redundant transition composition rules discarded 6 transitions
Iterating global reduction 18 with 6 rules applied. Total rules applied 3852 place count 342 transition count 605
Partial Free-agglomeration rule applied 22 times.
Drop transitions removed 22 transitions
Iterating global reduction 18 with 22 rules applied. Total rules applied 3874 place count 342 transition count 605
Drop transitions removed 2 transitions
Redundant transition composition rules discarded 2 transitions
Iterating global reduction 18 with 2 rules applied. Total rules applied 3876 place count 342 transition count 603
Partial Post-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 18 with 2 rules applied. Total rules applied 3878 place count 342 transition count 603
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 18 with 1 rules applied. Total rules applied 3879 place count 341 transition count 602
Applied a total of 3879 rules in 521 ms. Remains 341 /2587 variables (removed 2246) and now considering 602/3099 (removed 2497) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 522 ms. Remains : 341/2587 places, 602/3099 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 272 ms. (steps per millisecond=36 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10000 steps, including 10 resets, run finished after 221 ms. (steps per millisecond=45 ) properties (out of 12) seen :1
FORMULA CloudReconfiguration-PT-319-ReachabilityFireability-2024-00 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 10000 steps, including 22 resets, run finished after 131 ms. (steps per millisecond=76 ) properties (out of 11) seen :1
FORMULA CloudReconfiguration-PT-319-ReachabilityFireability-2024-07 FALSE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 10000 steps, including 7 resets, run finished after 59 ms. (steps per millisecond=169 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10000 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=147 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10000 steps, including 62 resets, run finished after 93 ms. (steps per millisecond=107 ) properties (out of 10) seen :1
FORMULA CloudReconfiguration-PT-319-ReachabilityFireability-2024-10 FALSE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 10000 steps, including 12 resets, run finished after 63 ms. (steps per millisecond=158 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10000 steps, including 4 resets, run finished after 76 ms. (steps per millisecond=131 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10000 steps, including 3 resets, run finished after 152 ms. (steps per millisecond=65 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10000 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=73 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10000 steps, including 3 resets, run finished after 174 ms. (steps per millisecond=57 ) properties (out of 9) seen :0
Running SMT prover for 9 properties.
[2024-05-21 16:15:04] [INFO ] Flow matrix only has 598 transitions (discarded 4 similar events)
// Phase 1: matrix 598 rows 341 cols
[2024-05-21 16:15:04] [INFO ] Computed 2 invariants in 9 ms
[2024-05-21 16:15:04] [INFO ] [Real]Absence check using 2 positive place invariants in 16 ms returned sat
[2024-05-21 16:15:04] [INFO ] After 231ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:9
[2024-05-21 16:15:04] [INFO ] [Nat]Absence check using 2 positive place invariants in 2 ms returned sat
[2024-05-21 16:15:04] [INFO ] After 326ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :9
[2024-05-21 16:15:04] [INFO ] State equation strengthened by 5 read => feed constraints.
[2024-05-21 16:15:04] [INFO ] After 205ms SMT Verify possible using 5 Read/Feed constraints in natural domain returned unsat :0 sat :9
[2024-05-21 16:15:05] [INFO ] After 524ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :9
Attempting to minimize the solution found.
Minimization took 219 ms.
[2024-05-21 16:15:05] [INFO ] After 1214ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :9
Parikh walk visited 0 properties in 38 ms.
Support contains 76 out of 341 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 341/341 places, 602/602 transitions.
Graph (trivial) has 238 edges and 341 vertex of which 49 / 341 are part of one of the 21 SCC in 1 ms
Free SCC test removed 28 places
Drop transitions removed 52 transitions
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 55 transitions.
Drop transitions removed 37 transitions
Trivial Post-agglo rules discarded 37 transitions
Performed 37 trivial Post agglomeration. Transition count delta: 37
Iterating post reduction 0 with 37 rules applied. Total rules applied 38 place count 313 transition count 510
Reduce places removed 37 places and 0 transitions.
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Drop transitions removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 1 with 45 rules applied. Total rules applied 83 place count 276 transition count 502
Reduce places removed 2 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Performed 14 Post agglomeration using F-continuation condition.Transition count delta: 14
Iterating post reduction 2 with 18 rules applied. Total rules applied 101 place count 274 transition count 486
Reduce places removed 14 places and 0 transitions.
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 3 with 18 rules applied. Total rules applied 119 place count 260 transition count 482
Performed 10 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 10 Pre rules applied. Total rules applied 119 place count 260 transition count 472
Deduced a syphon composed of 10 places in 1 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 4 with 20 rules applied. Total rules applied 139 place count 250 transition count 472
Discarding 8 places :
Symmetric choice reduction at 4 with 8 rule applications. Total rules 147 place count 242 transition count 460
Iterating global reduction 4 with 8 rules applied. Total rules applied 155 place count 242 transition count 460
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 4 with 3 rules applied. Total rules applied 158 place count 242 transition count 457
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 159 place count 241 transition count 455
Iterating global reduction 5 with 1 rules applied. Total rules applied 160 place count 241 transition count 455
Performed 21 Post agglomeration using F-continuation condition with reduction of 3 identical transitions.
Deduced a syphon composed of 21 places in 0 ms
Reduce places removed 21 places and 0 transitions.
Iterating global reduction 5 with 42 rules applied. Total rules applied 202 place count 220 transition count 431
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 5 with 19 rules applied. Total rules applied 221 place count 220 transition count 412
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 222 place count 219 transition count 411
Iterating global reduction 6 with 1 rules applied. Total rules applied 223 place count 219 transition count 411
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 225 place count 218 transition count 410
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 226 place count 218 transition count 409
Performed 14 Post agglomeration using F-continuation condition with reduction of 6 identical transitions.
Deduced a syphon composed of 14 places in 0 ms
Reduce places removed 14 places and 0 transitions.
Iterating global reduction 7 with 28 rules applied. Total rules applied 254 place count 204 transition count 443
Ensure Unique test removed 22 transitions
Reduce isomorphic transitions removed 22 transitions.
Iterating post reduction 7 with 22 rules applied. Total rules applied 276 place count 204 transition count 421
Discarding 6 places :
Symmetric choice reduction at 8 with 6 rule applications. Total rules 282 place count 198 transition count 405
Iterating global reduction 8 with 6 rules applied. Total rules applied 288 place count 198 transition count 405
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 289 place count 198 transition count 404
Discarding 2 places :
Symmetric choice reduction at 9 with 2 rule applications. Total rules 291 place count 196 transition count 402
Iterating global reduction 9 with 2 rules applied. Total rules applied 293 place count 196 transition count 402
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 9 with 6 rules applied. Total rules applied 299 place count 196 transition count 396
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 10 with 9 rules applied. Total rules applied 308 place count 196 transition count 387
Discarding 1 places :
Symmetric choice reduction at 10 with 1 rule applications. Total rules 309 place count 195 transition count 386
Iterating global reduction 10 with 1 rules applied. Total rules applied 310 place count 195 transition count 386
Free-agglomeration rule applied 4 times.
Iterating global reduction 10 with 4 rules applied. Total rules applied 314 place count 195 transition count 382
Reduce places removed 4 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 10 with 5 rules applied. Total rules applied 319 place count 191 transition count 381
Partial Free-agglomeration rule applied 3 times.
Drop transitions removed 3 transitions
Iterating global reduction 11 with 3 rules applied. Total rules applied 322 place count 191 transition count 381
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 11 with 1 rules applied. Total rules applied 323 place count 191 transition count 380
Applied a total of 323 rules in 122 ms. Remains 191 /341 variables (removed 150) and now considering 380/602 (removed 222) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 123 ms. Remains : 191/341 places, 380/602 transitions.
Incomplete random walk after 10000 steps, including 15 resets, run finished after 238 ms. (steps per millisecond=42 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10000 steps, including 13 resets, run finished after 196 ms. (steps per millisecond=51 ) properties (out of 9) seen :1
FORMULA CloudReconfiguration-PT-319-ReachabilityFireability-2024-06 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 10000 steps, including 19 resets, run finished after 95 ms. (steps per millisecond=105 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10000 steps, including 16 resets, run finished after 67 ms. (steps per millisecond=149 ) properties (out of 8) seen :1
FORMULA CloudReconfiguration-PT-319-ReachabilityFireability-2024-15 FALSE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 10000 steps, including 5 resets, run finished after 74 ms. (steps per millisecond=135 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10000 steps, including 3 resets, run finished after 69 ms. (steps per millisecond=144 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10000 steps, including 26 resets, run finished after 98 ms. (steps per millisecond=102 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10000 steps, including 10 resets, run finished after 62 ms. (steps per millisecond=161 ) properties (out of 7) seen :0
Running SMT prover for 7 properties.
[2024-05-21 16:15:06] [INFO ] Flow matrix only has 372 transitions (discarded 8 similar events)
// Phase 1: matrix 372 rows 191 cols
[2024-05-21 16:15:06] [INFO ] Computed 2 invariants in 1 ms
[2024-05-21 16:15:06] [INFO ] [Real]Absence check using 2 positive place invariants in 1 ms returned sat
[2024-05-21 16:15:06] [INFO ] After 98ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:7
[2024-05-21 16:15:06] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2024-05-21 16:15:06] [INFO ] After 191ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :7
[2024-05-21 16:15:06] [INFO ] State equation strengthened by 5 read => feed constraints.
[2024-05-21 16:15:07] [INFO ] After 113ms SMT Verify possible using 5 Read/Feed constraints in natural domain returned unsat :0 sat :7
[2024-05-21 16:15:07] [INFO ] After 292ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :7
Attempting to minimize the solution found.
Minimization took 109 ms.
[2024-05-21 16:15:07] [INFO ] After 693ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :7
Parikh walk visited 0 properties in 24 ms.
Support contains 62 out of 191 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 191/191 places, 380/380 transitions.
Graph (trivial) has 42 edges and 191 vertex of which 2 / 191 are part of one of the 1 SCC in 1 ms
Free SCC test removed 1 places
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Drop transitions removed 6 transitions
Trivial Post-agglo rules discarded 6 transitions
Performed 6 trivial Post agglomeration. Transition count delta: 6
Iterating post reduction 0 with 6 rules applied. Total rules applied 7 place count 190 transition count 372
Reduce places removed 6 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 1 with 8 rules applied. Total rules applied 15 place count 184 transition count 370
Reduce places removed 2 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 18 place count 182 transition count 369
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 3 Pre rules applied. Total rules applied 18 place count 182 transition count 366
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 3 with 6 rules applied. Total rules applied 24 place count 179 transition count 366
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 25 place count 178 transition count 365
Iterating global reduction 3 with 1 rules applied. Total rules applied 26 place count 178 transition count 365
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 0 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 3 with 10 rules applied. Total rules applied 36 place count 173 transition count 360
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 3 with 3 rules applied. Total rules applied 39 place count 173 transition count 357
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -1
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 4 with 6 rules applied. Total rules applied 45 place count 170 transition count 358
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 4 with 2 rules applied. Total rules applied 47 place count 170 transition count 356
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 48 place count 169 transition count 354
Iterating global reduction 5 with 1 rules applied. Total rules applied 49 place count 169 transition count 354
Drop transitions removed 6 transitions
Redundant transition composition rules discarded 6 transitions
Iterating global reduction 5 with 6 rules applied. Total rules applied 55 place count 169 transition count 348
Free-agglomeration rule applied 1 times.
Iterating global reduction 5 with 1 rules applied. Total rules applied 56 place count 169 transition count 347
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 57 place count 168 transition count 347
Partial Free-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 6 with 1 rules applied. Total rules applied 58 place count 168 transition count 347
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 59 place count 168 transition count 346
Partial Post-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 7 with 2 rules applied. Total rules applied 61 place count 168 transition count 346
Applied a total of 61 rules in 133 ms. Remains 168 /191 variables (removed 23) and now considering 346/380 (removed 34) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 133 ms. Remains : 168/191 places, 346/380 transitions.
Incomplete random walk after 10000 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=72 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10000 steps, including 10 resets, run finished after 106 ms. (steps per millisecond=94 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 101 ms. (steps per millisecond=99 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10000 steps, including 6 resets, run finished after 58 ms. (steps per millisecond=172 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10000 steps, including 5 resets, run finished after 47 ms. (steps per millisecond=212 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10000 steps, including 9 resets, run finished after 25 ms. (steps per millisecond=400 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10000 steps, including 10 resets, run finished after 44 ms. (steps per millisecond=227 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10000 steps, including 5 resets, run finished after 48 ms. (steps per millisecond=208 ) properties (out of 7) seen :0
Interrupted probabilistic random walk after 1895361 steps, run timeout after 3001 ms. (steps per millisecond=631 ) properties seen :{0=1, 1=1, 2=1, 3=1, 4=1, 5=1}
Probabilistic random walk after 1895361 steps, saw 350034 distinct states, run finished after 3001 ms. (steps per millisecond=631 ) properties seen :6
FORMULA CloudReconfiguration-PT-319-ReachabilityFireability-2024-13 FALSE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA CloudReconfiguration-PT-319-ReachabilityFireability-2024-12 FALSE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA CloudReconfiguration-PT-319-ReachabilityFireability-2024-11 FALSE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA CloudReconfiguration-PT-319-ReachabilityFireability-2024-08 FALSE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA CloudReconfiguration-PT-319-ReachabilityFireability-2024-05 FALSE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA CloudReconfiguration-PT-319-ReachabilityFireability-2024-01 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
Running SMT prover for 1 properties.
[2024-05-21 16:15:11] [INFO ] Flow matrix only has 337 transitions (discarded 9 similar events)
// Phase 1: matrix 337 rows 168 cols
[2024-05-21 16:15:11] [INFO ] Computed 2 invariants in 5 ms
[2024-05-21 16:15:11] [INFO ] After 37ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2024-05-21 16:15:11] [INFO ] [Nat]Absence check using 2 positive place invariants in 2 ms returned sat
[2024-05-21 16:15:11] [INFO ] After 104ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2024-05-21 16:15:11] [INFO ] State equation strengthened by 6 read => feed constraints.
[2024-05-21 16:15:11] [INFO ] After 24ms SMT Verify possible using 6 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2024-05-21 16:15:11] [INFO ] After 47ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 18 ms.
[2024-05-21 16:15:11] [INFO ] After 235ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Parikh walk visited 0 properties in 0 ms.
Support contains 22 out of 168 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 168/168 places, 346/346 transitions.
Graph (trivial) has 128 edges and 168 vertex of which 35 / 168 are part of one of the 14 SCC in 0 ms
Free SCC test removed 21 places
Drop transitions removed 41 transitions
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 47 transitions.
Drop transitions removed 11 transitions
Trivial Post-agglo rules discarded 11 transitions
Performed 11 trivial Post agglomeration. Transition count delta: 11
Iterating post reduction 0 with 11 rules applied. Total rules applied 12 place count 147 transition count 288
Reduce places removed 11 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 1 with 14 rules applied. Total rules applied 26 place count 136 transition count 285
Reduce places removed 1 places and 0 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Iterating post reduction 2 with 5 rules applied. Total rules applied 31 place count 135 transition count 281
Reduce places removed 4 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 5 rules applied. Total rules applied 36 place count 131 transition count 280
Performed 6 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 6 Pre rules applied. Total rules applied 36 place count 131 transition count 274
Deduced a syphon composed of 6 places in 0 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 4 with 12 rules applied. Total rules applied 48 place count 125 transition count 274
Discarding 6 places :
Symmetric choice reduction at 4 with 6 rule applications. Total rules 54 place count 119 transition count 264
Iterating global reduction 4 with 6 rules applied. Total rules applied 60 place count 119 transition count 264
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 4 with 2 rules applied. Total rules applied 62 place count 119 transition count 262
Reduce places removed 1 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 5 with 2 rules applied. Total rules applied 64 place count 118 transition count 261
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Deduced a syphon composed of 7 places in 0 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 6 with 14 rules applied. Total rules applied 78 place count 111 transition count 254
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 6 with 4 rules applied. Total rules applied 82 place count 111 transition count 250
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: -12
Deduced a syphon composed of 7 places in 0 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 7 with 14 rules applied. Total rules applied 96 place count 104 transition count 262
Ensure Unique test removed 14 transitions
Reduce isomorphic transitions removed 14 transitions.
Iterating post reduction 7 with 14 rules applied. Total rules applied 110 place count 104 transition count 248
Discarding 3 places :
Symmetric choice reduction at 8 with 3 rule applications. Total rules 113 place count 101 transition count 238
Iterating global reduction 8 with 3 rules applied. Total rules applied 116 place count 101 transition count 238
Discarding 2 places :
Symmetric choice reduction at 8 with 2 rule applications. Total rules 118 place count 99 transition count 236
Iterating global reduction 8 with 2 rules applied. Total rules applied 120 place count 99 transition count 236
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 8 with 6 rules applied. Total rules applied 126 place count 99 transition count 230
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 9 with 2 rules applied. Total rules applied 128 place count 98 transition count 229
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 9 with 3 rules applied. Total rules applied 131 place count 98 transition count 226
Discarding 1 places :
Symmetric choice reduction at 10 with 1 rule applications. Total rules 132 place count 97 transition count 225
Iterating global reduction 10 with 1 rules applied. Total rules applied 133 place count 97 transition count 225
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 10 with 15 rules applied. Total rules applied 148 place count 97 transition count 210
Discarding 1 places :
Symmetric choice reduction at 10 with 1 rule applications. Total rules 149 place count 96 transition count 209
Iterating global reduction 10 with 1 rules applied. Total rules applied 150 place count 96 transition count 209
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 10 with 2 rules applied. Total rules applied 152 place count 95 transition count 208
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 10 with 1 rules applied. Total rules applied 153 place count 95 transition count 207
Free-agglomeration rule applied 6 times.
Iterating global reduction 10 with 6 rules applied. Total rules applied 159 place count 95 transition count 201
Reduce places removed 6 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 10 with 7 rules applied. Total rules applied 166 place count 89 transition count 200
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 11 with 1 rules applied. Total rules applied 167 place count 89 transition count 199
Partial Free-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 11 with 2 rules applied. Total rules applied 169 place count 89 transition count 199
Drop transitions removed 2 transitions
Redundant transition composition rules discarded 2 transitions
Iterating global reduction 11 with 2 rules applied. Total rules applied 171 place count 89 transition count 197
Partial Post-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 11 with 1 rules applied. Total rules applied 172 place count 89 transition count 197
Applied a total of 172 rules in 51 ms. Remains 89 /168 variables (removed 79) and now considering 197/346 (removed 149) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 52 ms. Remains : 89/168 places, 197/346 transitions.
Incomplete random walk after 10000 steps, including 115 resets, run finished after 12 ms. (steps per millisecond=833 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 4 resets, run finished after 8 ms. (steps per millisecond=1250 ) properties (out of 1) seen :0
Finished probabilistic random walk after 269670 steps, run visited all 1 properties in 291 ms. (steps per millisecond=926 )
Probabilistic random walk after 269670 steps, saw 45609 distinct states, run finished after 291 ms. (steps per millisecond=926 ) properties seen :1
FORMULA CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 FALSE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
Parikh walk visited 0 properties in 0 ms.
All properties solved without resorting to model-checking.
Total runtime 29193 ms.
starting LoLA
BK_INPUT CloudReconfiguration-PT-319
BK_EXAMINATION: ReachabilityFireability
bin directory: /home/mcc/BenchKit/bin//../reducer/bin//../../lola/bin/
current directory: /home/mcc/execution
ReachabilityFireability

FORMULA CloudReconfiguration-PT-319-ReachabilityFireability-2024-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-319-ReachabilityFireability-2024-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-319-ReachabilityFireability-2024-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-319-ReachabilityFireability-2024-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-319-ReachabilityFireability-2024-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-319-ReachabilityFireability-2024-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-319-ReachabilityFireability-2024-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-319-ReachabilityFireability-2024-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-319-ReachabilityFireability-2024-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-319-ReachabilityFireability-2024-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-319-ReachabilityFireability-2024-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-319-ReachabilityFireability-2024-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-319-ReachabilityFireability-2024-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-319-ReachabilityFireability-2024-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

BK_STOP 1716308529182

--------------------
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 1.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Rule S: 0 transitions removed,0 places removed
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 56 (type EXCL) for 18 CloudReconfiguration-PT-319-ReachabilityFireability-2024-06
lola: time limit : 170 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 51 (type FNDP) for 18 CloudReconfiguration-PT-319-ReachabilityFireability-2024-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 53 (type EQUN) for 18 CloudReconfiguration-PT-319-ReachabilityFireability-2024-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 55 (type SRCH) for 18 CloudReconfiguration-PT-319-ReachabilityFireability-2024-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 51 (type FNDP) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-06
lola: result : true
lola: fired transitions : 17
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 53 (type EQUN) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-06 (obsolete)
lola: CANCELED task # 55 (type SRCH) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-06 (obsolete)
lola: CANCELED task # 56 (type EXCL) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-06 (obsolete)
lola: LAUNCH task # 59 (type EXCL) for 24 CloudReconfiguration-PT-319-ReachabilityFireability-2024-08
lola: time limit : 178 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 49 (type FNDP) for 24 CloudReconfiguration-PT-319-ReachabilityFireability-2024-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 50 (type EQUN) for 24 CloudReconfiguration-PT-319-ReachabilityFireability-2024-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 58 (type SRCH) for 24 CloudReconfiguration-PT-319-ReachabilityFireability-2024-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 53 (type EQUN) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-06
lola: result : unknown
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 # 49 (type FNDP) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-08
lola: result : true
lola: fired transitions : 19
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 50 (type EQUN) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-08 (obsolete)
lola: CANCELED task # 58 (type SRCH) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-08 (obsolete)
lola: CANCELED task # 59 (type EXCL) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-08 (obsolete)
lola: FINISHED task # 58 (type SRCH) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-08
lola: result : true
lola: markings : 21
lola: fired transitions : 20
lola: time used : 0.000000
lola: memory pages used : 1
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-50.sara.
sara: place or transition ordering is non-deterministic
lola: Created skeleton in 0.000000 secs.

lola: FINISHED task # 50 (type EQUN) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-08
lola: result : true
lola: Created skeleton in 0.000000 secs.
lola: LAUNCH INITIAL
lola: LAUNCH task # 10 (type CNST) for 9 CloudReconfiguration-PT-319-ReachabilityFireability-2024-03
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 10 (type CNST) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-03
lola: result : false
lola: Created skeleton in 1.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 69 (type EXCL) for 6 CloudReconfiguration-PT-319-ReachabilityFireability-2024-02
lola: time limit : 297 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 65 (type FNDP) for 6 CloudReconfiguration-PT-319-ReachabilityFireability-2024-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 66 (type EQUN) for 6 CloudReconfiguration-PT-319-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: LAUNCH task # 68 (type SRCH) for 6 CloudReconfiguration-PT-319-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: 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: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: FINISHED task # 65 (type FNDP) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-02
lola: result : true
lola: fired transitions : 14
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 66 (type EQUN) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-02 (obsolete)
lola: CANCELED task # 68 (type SRCH) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-02 (obsolete)
lola: CANCELED task # 69 (type EXCL) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-02 (obsolete)
lola: LAUNCH task # 85 (type EXCL) for 27 CloudReconfiguration-PT-319-ReachabilityFireability-2024-09
lola: time limit : 713 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 72 (type FNDP) for 45 CloudReconfiguration-PT-319-ReachabilityFireability-2024-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 73 (type EQUN) for 45 CloudReconfiguration-PT-319-ReachabilityFireability-2024-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 75 (type SRCH) for 45 CloudReconfiguration-PT-319-ReachabilityFireability-2024-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 85 (type EXCL) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-09
lola: result : true
lola: markings : 9
lola: fired transitions : 10
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 76 (type EXCL) for 45 CloudReconfiguration-PT-319-ReachabilityFireability-2024-15
lola: time limit : 1784 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
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 # 76 (type EXCL) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-15
lola: result : true
lola: markings : 207
lola: fired transitions : 241
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 72 (type FNDP) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-15 (obsolete)
lola: CANCELED task # 73 (type EQUN) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-15 (obsolete)
lola: CANCELED task # 75 (type SRCH) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-15 (obsolete)
lola: LAUNCH task # 112 (type EXCL) for 39 CloudReconfiguration-PT-319-ReachabilityFireability-2024-13
lola: time limit : 892 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 62 (type FNDP) for 12 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 63 (type EQUN) for 12 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 87 (type SRCH) for 12 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 75 (type SRCH) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-15
lola: result : true
lola: markings : 32
lola: fired transitions : 38
lola: time used : 0.000000
lola: memory pages used : 1
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: 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-66.sara.
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 72 (type FNDP) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-15
lola: result : true
lola: fired transitions : 69
lola: tried executions : 3
lola: time used : 0.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-73.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 112 (type EXCL) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-13
lola: result : true
lola: markings : 305
lola: fired transitions : 388
lola: time used : 0.000000
lola: memory pages used : 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 117 (type EXCL) for 21 CloudReconfiguration-PT-319-ReachabilityFireability-2024-07
lola: time limit : 594 sec
lola: memory limit: 32 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:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 117 (type EXCL) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-07
lola: result : true
lola: markings : 1431
lola: fired transitions : 2171
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 143 (type EXCL) for 33 CloudReconfiguration-PT-319-ReachabilityFireability-2024-11
lola: time limit : 446 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 143 (type EXCL) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-11
lola: result : true
lola: markings : 622
lola: fired transitions : 893
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 138 (type EXCL) for 3 CloudReconfiguration-PT-319-ReachabilityFireability-2024-01
lola: time limit : 509 sec
lola: memory limit: 32 pages
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-63.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 138 (type EXCL) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-01
lola: result : true
lola: markings : 79222
lola: fired transitions : 134119
lola: time used : 2.000000
lola: memory pages used : 1
lola: LAUNCH task # 104 (type EXCL) for 15 CloudReconfiguration-PT-319-ReachabilityFireability-2024-05
lola: time limit : 594 sec
lola: memory limit: 32 pages
lola: FINISHED task # 104 (type EXCL) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-05
lola: result : true
lola: markings : 3120
lola: fired transitions : 4641
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 136 (type EXCL) for 36 CloudReconfiguration-PT-319-ReachabilityFireability-2024-12
lola: time limit : 713 sec
lola: memory limit: 32 pages
lola: FINISHED task # 136 (type EXCL) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-12
lola: result : true
lola: markings : 1128
lola: fired transitions : 1569
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 108 (type EXCL) for 30 CloudReconfiguration-PT-319-ReachabilityFireability-2024-10
lola: time limit : 891 sec
lola: memory limit: 32 pages
lola: FINISHED task # 108 (type EXCL) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-10
lola: result : true
lola: markings : 8010
lola: fired transitions : 12038
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 131 (type EXCL) for 42 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14
lola: time limit : 1189 sec
lola: memory limit: 32 pages

lola: FINISHED task # 73 (type EQUN) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-15
lola: result : true
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 2 3 0 1 0 0 0
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 3/889 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 307827 t fired, 55990 attempts, .
63 EF STEQ 3/889 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
87 EF SRCH 3/889 1/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 233939 m, 46787 m/sec, 505001 t fired, .
131 EF EXCL 1/1189 1/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 30367 m, 6073 m/sec, 51106 t fired, .

Time elapsed: 34 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
sara: warning, failure of lp_solve (at job 120)
sara: warning, failure of lp_solve (at job 153)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 2 3 0 1 0 0 0
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 8/889 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 700647 t fired, 128014 attempts, .
63 EF STEQ 8/889 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
87 EF SRCH 8/889 3/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 625671 m, 78346 m/sec, 1340504 t fired, .
131 EF EXCL 6/1189 1/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 167553 m, 27437 m/sec, 292343 t fired, .

Time elapsed: 39 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 2 3 0 1 0 0 0
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 13/884 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 1102472 t fired, 201990 attempts, .
63 EF STEQ 13/884 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
87 EF SRCH 13/884 4/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 1002252 m, 75316 m/sec, 2191462 t fired, .
131 EF EXCL 11/1189 2/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 285150 m, 23519 m/sec, 501341 t fired, .

Time elapsed: 44 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 87 (type SRCH) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 18/879 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 1721143 t fired, 315483 attempts, .
63 EF STEQ 18/879 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
131 EF EXCL 16/1189 2/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 425156 m, 28001 m/sec, 762519 t fired, .

Time elapsed: 49 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 121 (type FNDP) for 0 CloudReconfiguration-PT-319-ReachabilityFireability-2024-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 121 (type FNDP) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-00
lola: result : true
lola: fired transitions : 8165
lola: tried executions : 695
lola: time used : 1.000000
lola: memory pages used : 0
lola: LAUNCH task # 106 (type FNDP) for 42 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 23/1765 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 2258915 t fired, 414127 attempts, .
63 EF STEQ 23/1765 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
106 EF FNDP 4/1183 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 510217 t fired, 62700 attempts, .
131 EF EXCL 21/1783 3/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 523289 m, 19626 m/sec, 979580 t fired, .

Time elapsed: 54 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 28/1761 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 2662233 t fired, 488309 attempts, .
63 EF STEQ 28/1761 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
106 EF FNDP 9/1179 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 964627 t fired, 119368 attempts, .
131 EF EXCL 26/1783 3/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 603482 m, 16038 m/sec, 1163083 t fired, .

Time elapsed: 59 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 33/1756 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 3002078 t fired, 550505 attempts, .
63 EF STEQ 33/1756 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
106 EF FNDP 14/1174 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 1332714 t fired, 161578 attempts, .
131 EF EXCL 31/1783 3/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 683506 m, 16004 m/sec, 1337235 t fired, .

Time elapsed: 64 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 38/1751 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 3362652 t fired, 616743 attempts, .
63 EF STEQ 38/1751 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
106 EF FNDP 19/1169 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 1819630 t fired, 221247 attempts, .
131 EF EXCL 36/1783 4/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 756161 m, 14531 m/sec, 1473336 t fired, .

Time elapsed: 69 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 43/1746 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 3796374 t fired, 696358 attempts, .
63 EF STEQ 43/1746 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
106 EF FNDP 24/1164 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 2148900 t fired, 261961 attempts, .
131 EF EXCL 41/1783 4/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 860618 m, 20891 m/sec, 1667779 t fired, .

Time elapsed: 74 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 48/1741 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 4109512 t fired, 753965 attempts, .
63 EF STEQ 48/1741 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
106 EF FNDP 29/1159 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 2581705 t fired, 317064 attempts, .
131 EF EXCL 46/1783 5/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 967086 m, 21293 m/sec, 1869841 t fired, .

Time elapsed: 79 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 53/1736 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 4506270 t fired, 826865 attempts, .
63 EF STEQ 53/1736 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
106 EF FNDP 34/1154 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 2953340 t fired, 363538 attempts, .
131 EF EXCL 51/1783 5/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 1048445 m, 16271 m/sec, 2016833 t fired, .

Time elapsed: 84 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 58/1731 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 4910112 t fired, 901109 attempts, .
63 EF STEQ 58/1731 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
106 EF FNDP 39/1149 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 3360200 t fired, 413377 attempts, .
131 EF EXCL 56/1783 5/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 1124740 m, 15259 m/sec, 2172215 t fired, .

Time elapsed: 89 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 63/1726 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 5301763 t fired, 972924 attempts, .
63 EF STEQ 63/1726 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
106 EF FNDP 44/1144 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 3770887 t fired, 463589 attempts, .
131 EF EXCL 61/1783 6/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 1217521 m, 18556 m/sec, 2347436 t fired, .

Time elapsed: 94 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 68/1721 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 5644477 t fired, 1036067 attempts, .
63 EF STEQ 68/1721 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
106 EF FNDP 49/1139 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 4186925 t fired, 513915 attempts, .
131 EF EXCL 66/1783 6/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 1308617 m, 18219 m/sec, 2530177 t fired, .

Time elapsed: 99 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 73/1716 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 6040424 t fired, 1108583 attempts, .
63 EF STEQ 73/1716 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
106 EF FNDP 54/1134 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 4556047 t fired, 557399 attempts, .
131 EF EXCL 71/1783 7/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 1420987 m, 22474 m/sec, 2733868 t fired, .

Time elapsed: 104 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 78/1711 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 6414224 t fired, 1177164 attempts, .
63 EF STEQ 78/1711 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
106 EF FNDP 59/1129 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 4965874 t fired, 608230 attempts, .
131 EF EXCL 76/1783 7/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 1513239 m, 18450 m/sec, 2899628 t fired, .

Time elapsed: 109 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 83/1706 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 6769192 t fired, 1242403 attempts, .
63 EF STEQ 83/1706 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
106 EF FNDP 64/1124 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 5333436 t fired, 653071 attempts, .
131 EF EXCL 81/1783 8/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 1628332 m, 23018 m/sec, 3106130 t fired, .

Time elapsed: 114 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 88/1701 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 7173145 t fired, 1316639 attempts, .
63 EF STEQ 88/1701 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
106 EF FNDP 69/1119 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 5763729 t fired, 705203 attempts, .
131 EF EXCL 86/1783 8/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 1717637 m, 17861 m/sec, 3273853 t fired, .

Time elapsed: 119 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 93/1696 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 7542034 t fired, 1384603 attempts, .
63 EF STEQ 93/1696 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
106 EF FNDP 74/1114 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 6217306 t fired, 762662 attempts, .
131 EF EXCL 91/1783 8/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 1779905 m, 12453 m/sec, 3397818 t fired, .

Time elapsed: 124 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 98/1691 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 7956687 t fired, 1460763 attempts, .
63 EF STEQ 98/1691 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
106 EF FNDP 79/1109 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 6607597 t fired, 810086 attempts, .
131 EF EXCL 96/1783 9/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 1851722 m, 14363 m/sec, 3557915 t fired, .

Time elapsed: 129 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 103/1686 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 8332501 t fired, 1529640 attempts, .
63 EF STEQ 103/1686 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
106 EF FNDP 84/1104 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 6997719 t fired, 859171 attempts, .
131 EF EXCL 101/1783 9/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 1930146 m, 15684 m/sec, 3736750 t fired, .

Time elapsed: 134 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 108/1681 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 8768670 t fired, 1609989 attempts, .
63 EF STEQ 108/1681 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
106 EF FNDP 89/1099 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 7447429 t fired, 914707 attempts, .
131 EF EXCL 106/1783 9/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 2033822 m, 20735 m/sec, 3956636 t fired, .

Time elapsed: 139 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 113/1676 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 9294232 t fired, 1706638 attempts, .
63 EF STEQ 113/1676 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
106 EF FNDP 94/1094 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 8024345 t fired, 986148 attempts, .
131 EF EXCL 111/1783 10/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 2148817 m, 22999 m/sec, 4185806 t fired, .

Time elapsed: 144 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 118/1671 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 9800798 t fired, 1799815 attempts, .
63 EF STEQ 118/1671 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
106 EF FNDP 99/1089 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 8560522 t fired, 1052876 attempts, .
131 EF EXCL 116/1783 11/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 2295133 m, 29263 m/sec, 4447952 t fired, .

Time elapsed: 149 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 124/1666 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 10323586 t fired, 1895904 attempts, .
63 EF STEQ 124/1666 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
106 EF FNDP 105/1084 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 9107926 t fired, 1120991 attempts, .
131 EF EXCL 122/1783 11/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 2425611 m, 26095 m/sec, 4696099 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 129/1660 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 10854703 t fired, 1993525 attempts, .
63 EF STEQ 129/1660 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
106 EF FNDP 110/1078 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 9673113 t fired, 1190557 attempts, .
131 EF EXCL 127/1783 12/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 2532435 m, 21364 m/sec, 4917182 t fired, .

Time elapsed: 160 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 131 (type EXCL) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-14
lola: result : true
lola: markings : 2606962
lola: fired transitions : 5060537
lola: time used : 130.000000
lola: memory pages used : 12
lola: CANCELED task # 106 (type FNDP) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-14 (obsolete)
lola: LAUNCH task # 88 (type EXCL) for 12 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04
lola: time limit : 3437 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 100 (type SRCH) for 12 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 106 (type FNDP) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-14
lola: result : unknown
lola: fired transitions : 10029456
lola: tried executions : 1233866
lola: time used : 113.000000
lola: memory pages used : 0
lola: FINISHED task # 100 (type SRCH) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-04
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 134/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 11437317 t fired, 2100448 attempts, .
63 EF STEQ 134/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 2/3437 1/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 50930 m, 10186 m/sec, 83141 t fired, .

Time elapsed: 165 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 139/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 12116159 t fired, 2225135 attempts, .
63 EF STEQ 139/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 7/3437 1/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 198764 m, 29566 m/sec, 330962 t fired, .

Time elapsed: 170 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 144/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 12789775 t fired, 2349221 attempts, .
63 EF STEQ 144/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 12/3437 2/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 343335 m, 28914 m/sec, 575078 t fired, .

Time elapsed: 175 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 149/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 13469375 t fired, 2474166 attempts, .
63 EF STEQ 149/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 17/3437 3/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 489036 m, 29140 m/sec, 822772 t fired, .

Time elapsed: 180 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 154/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 14150682 t fired, 2599570 attempts, .
63 EF STEQ 154/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 22/3437 3/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 631766 m, 28546 m/sec, 1065663 t fired, .

Time elapsed: 185 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 159/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 14838475 t fired, 2725920 attempts, .
63 EF STEQ 159/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 27/3437 4/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 776829 m, 29012 m/sec, 1316384 t fired, .

Time elapsed: 190 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 164/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 15519375 t fired, 2851267 attempts, .
63 EF STEQ 164/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 32/3437 4/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 912900 m, 27214 m/sec, 1555350 t fired, .

Time elapsed: 195 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 169/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 16198863 t fired, 2976385 attempts, .
63 EF STEQ 169/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 37/3437 5/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 1042566 m, 25933 m/sec, 1792669 t fired, .

Time elapsed: 200 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 174/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 16883874 t fired, 3102166 attempts, .
63 EF STEQ 174/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 42/3437 5/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 1157437 m, 22974 m/sec, 2018150 t fired, .

Time elapsed: 205 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 179/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 17571740 t fired, 3228639 attempts, .
63 EF STEQ 179/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 47/3437 6/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 1227530 m, 14018 m/sec, 2163715 t fired, .

Time elapsed: 210 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 184/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 18258918 t fired, 3355353 attempts, .
63 EF STEQ 184/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 52/3437 6/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 1282257 m, 10945 m/sec, 2277319 t fired, .

Time elapsed: 215 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 189/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 18950068 t fired, 3482250 attempts, .
63 EF STEQ 189/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 57/3437 6/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 1336165 m, 10781 m/sec, 2389832 t fired, .

Time elapsed: 220 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 194/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 19635608 t fired, 3608218 attempts, .
63 EF STEQ 194/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 62/3437 6/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 1388529 m, 10472 m/sec, 2501286 t fired, .

Time elapsed: 225 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 199/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 20316036 t fired, 3733514 attempts, .
63 EF STEQ 199/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 67/3437 7/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 1463974 m, 15089 m/sec, 2624065 t fired, .

Time elapsed: 230 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 204/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 20995968 t fired, 3858577 attempts, .
63 EF STEQ 204/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 72/3437 7/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 1540234 m, 15252 m/sec, 2747093 t fired, .

Time elapsed: 235 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 209/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 21679869 t fired, 3984234 attempts, .
63 EF STEQ 209/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 77/3437 7/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 1608930 m, 13739 m/sec, 2866411 t fired, .

Time elapsed: 240 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 214/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 22361939 t fired, 4109553 attempts, .
63 EF STEQ 214/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 82/3437 8/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 1672386 m, 12691 m/sec, 2984023 t fired, .

Time elapsed: 245 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 219/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 23029467 t fired, 4232417 attempts, .
63 EF STEQ 219/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 87/3437 8/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 1744073 m, 14337 m/sec, 3102598 t fired, .

Time elapsed: 250 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 224/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 23703609 t fired, 4356169 attempts, .
63 EF STEQ 224/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 92/3437 8/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 1814728 m, 14131 m/sec, 3220200 t fired, .

Time elapsed: 255 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 229/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 24384834 t fired, 4481684 attempts, .
63 EF STEQ 229/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 97/3437 9/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 1879388 m, 12932 m/sec, 3335510 t fired, .

Time elapsed: 260 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 234/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 25064471 t fired, 4606534 attempts, .
63 EF STEQ 234/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 102/3437 9/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 1940196 m, 12161 m/sec, 3450691 t fired, .

Time elapsed: 265 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 239/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 25593247 t fired, 4703888 attempts, .
63 EF STEQ 239/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 107/3437 9/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 2010240 m, 14008 m/sec, 3566714 t fired, .

Time elapsed: 270 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 244/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 25936381 t fired, 4766924 attempts, .
63 EF STEQ 244/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 112/3437 10/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 2079423 m, 13836 m/sec, 3684518 t fired, .

Time elapsed: 275 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 249/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 26368285 t fired, 4846467 attempts, .
63 EF STEQ 249/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 117/3437 10/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 2149707 m, 14056 m/sec, 3805481 t fired, .

Time elapsed: 280 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 254/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 27064917 t fired, 4974600 attempts, .
63 EF STEQ 254/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 122/3437 10/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 2209418 m, 11942 m/sec, 3925916 t fired, .

Time elapsed: 285 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 259/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 27420912 t fired, 5040013 attempts, .
63 EF STEQ 259/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 127/3437 11/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 2346925 m, 27501 m/sec, 4169006 t fired, .

Time elapsed: 290 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 264/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 28116444 t fired, 5167750 attempts, .
63 EF STEQ 264/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 132/3437 11/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 2496814 m, 29977 m/sec, 4437944 t fired, .

Time elapsed: 295 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 269/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 28796250 t fired, 5292779 attempts, .
63 EF STEQ 269/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 137/3437 12/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 2631583 m, 26953 m/sec, 4683077 t fired, .

Time elapsed: 300 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 274/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 29477771 t fired, 5418475 attempts, .
63 EF STEQ 274/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 142/3437 12/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 2774736 m, 28630 m/sec, 4926163 t fired, .

Time elapsed: 305 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 279/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 30163538 t fired, 5544592 attempts, .
63 EF STEQ 279/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 147/3437 13/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 2917944 m, 28641 m/sec, 5171389 t fired, .

Time elapsed: 310 secs. Pages in use: 13
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 284/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 30851818 t fired, 5671165 attempts, .
63 EF STEQ 284/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 152/3437 14/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 3059827 m, 28376 m/sec, 5415310 t fired, .

Time elapsed: 315 secs. Pages in use: 14
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 289/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 31534251 t fired, 5796800 attempts, .
63 EF STEQ 289/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 157/3437 14/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 3198883 m, 27811 m/sec, 5656878 t fired, .

Time elapsed: 320 secs. Pages in use: 14
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 294/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 32221497 t fired, 5923103 attempts, .
63 EF STEQ 294/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 162/3437 15/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 3343034 m, 28830 m/sec, 5900012 t fired, .

Time elapsed: 325 secs. Pages in use: 15
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 299/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 32900980 t fired, 6047735 attempts, .
63 EF STEQ 299/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 167/3437 16/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 3480646 m, 27522 m/sec, 6146380 t fired, .

Time elapsed: 330 secs. Pages in use: 16
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 304/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 33588379 t fired, 6174035 attempts, .
63 EF STEQ 304/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 172/3437 16/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 3603805 m, 24631 m/sec, 6375730 t fired, .

Time elapsed: 335 secs. Pages in use: 16
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 309/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 34273720 t fired, 6300276 attempts, .
63 EF STEQ 309/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 177/3437 17/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 3723287 m, 23896 m/sec, 6603200 t fired, .

Time elapsed: 340 secs. Pages in use: 17
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 314/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 34960149 t fired, 6426379 attempts, .
63 EF STEQ 314/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 182/3437 17/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 3833316 m, 22005 m/sec, 6831291 t fired, .

Time elapsed: 345 secs. Pages in use: 17
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 319/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 35649731 t fired, 6553211 attempts, .
63 EF STEQ 319/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 187/3437 17/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 3943055 m, 21947 m/sec, 7058254 t fired, .

Time elapsed: 350 secs. Pages in use: 17
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 324/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 36339125 t fired, 6680015 attempts, .
63 EF STEQ 324/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 192/3437 18/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 4077018 m, 26792 m/sec, 7309222 t fired, .

Time elapsed: 355 secs. Pages in use: 18
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 329/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 37018585 t fired, 6804947 attempts, .
63 EF STEQ 329/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 197/3437 19/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 4209583 m, 26513 m/sec, 7564272 t fired, .

Time elapsed: 360 secs. Pages in use: 19
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 334/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 37704733 t fired, 6931298 attempts, .
63 EF STEQ 334/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 202/3437 19/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 4351098 m, 28303 m/sec, 7805662 t fired, .

Time elapsed: 365 secs. Pages in use: 19
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 339/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 38386270 t fired, 7056719 attempts, .
63 EF STEQ 339/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 207/3437 20/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 4482645 m, 26309 m/sec, 8038491 t fired, .

Time elapsed: 370 secs. Pages in use: 20
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 344/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 39063839 t fired, 7181354 attempts, .
63 EF STEQ 344/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 212/3437 21/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 4620532 m, 27577 m/sec, 8276814 t fired, .

Time elapsed: 375 secs. Pages in use: 21
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 349/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 39733634 t fired, 7304426 attempts, .
63 EF STEQ 349/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 217/3437 21/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 4761594 m, 28212 m/sec, 8508346 t fired, .

Time elapsed: 380 secs. Pages in use: 21
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 354/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 40418989 t fired, 7430419 attempts, .
63 EF STEQ 354/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 222/3437 22/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 4897791 m, 27239 m/sec, 8749147 t fired, .

Time elapsed: 385 secs. Pages in use: 22
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 359/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 41109042 t fired, 7557169 attempts, .
63 EF STEQ 359/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 227/3437 22/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 5032342 m, 26910 m/sec, 8988395 t fired, .

Time elapsed: 390 secs. Pages in use: 22
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 364/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 41805226 t fired, 7685016 attempts, .
63 EF STEQ 364/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 232/3437 23/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 5168339 m, 27199 m/sec, 9227304 t fired, .

Time elapsed: 395 secs. Pages in use: 23
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 369/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 42502941 t fired, 7813173 attempts, .
63 EF STEQ 369/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 237/3437 24/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 5295417 m, 25415 m/sec, 9473178 t fired, .

Time elapsed: 400 secs. Pages in use: 24
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 374/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 43199984 t fired, 7940992 attempts, .
63 EF STEQ 374/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 242/3437 24/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 5451523 m, 31221 m/sec, 9728264 t fired, .

Time elapsed: 405 secs. Pages in use: 24
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 379/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 43896382 t fired, 8069020 attempts, .
63 EF STEQ 379/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 247/3437 25/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 5585623 m, 26820 m/sec, 9969108 t fired, .

Time elapsed: 410 secs. Pages in use: 25
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-319-ReachabilityFireability-2024-00: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-01: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-02: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-03: INITIAL false preprocessing
CloudReconfiguration-PT-319-ReachabilityFireability-2024-05: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-06: EF true findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-07: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-08: AG false findpath
CloudReconfiguration-PT-319-ReachabilityFireability-2024-09: EF true tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-10: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-11: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-12: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-13: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-14: AG false tandem / relaxed
CloudReconfiguration-PT-319-ReachabilityFireability-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-319-ReachabilityFireability-2024-04: EF 0 0 3 0 2 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
62 EF FNDP 384/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 44591777 t fired, 8197092 attempts, .
63 EF STEQ 384/3569 0/5 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 sara is running.
88 EF EXCL 252/3437 25/32 CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 5730782 m, 29031 m/sec, 10226257 t fired, .

Time elapsed: 415 secs. Pages in use: 25
# running tasks: 3 of 4 Visible: 16
lola: FINISHED task # 88 (type EXCL) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-04
lola: result : false
lola: markings : 5788107
lola: fired transitions : 10333214
lola: time used : 254.000000
lola: memory pages used : 26
lola: CANCELED task # 62 (type FNDP) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 (obsolete)
lola: CANCELED task # 63 (type EQUN) for CloudReconfiguration-PT-319-ReachabilityFireability-2024-04 (obsolete)
lola: Portfolio finished: no open formulas

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


Time elapsed: 417 secs. Pages in use: 26

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="CloudReconfiguration-PT-319"
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 CloudReconfiguration-PT-319, 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-171624208000165"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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