fond

jQuery Multi Level CSS Menu Css3Menu.com

Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r102-tall-167814476500175
Last Updated
May 14, 2023

About the Execution of LoLA for CloudReconfiguration-PT-402

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
1649.808 419652.00 1584041.00 205.20 TFTFTTFFFFTFTFFF normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r102-tall-167814476500175.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lola
Input is CloudReconfiguration-PT-402, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r102-tall-167814476500175
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 7.8K Feb 25 11:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 25 11:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 11:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 25 11:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.8K Jan 29 11:40 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:48 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 15:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 25 11:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 168K Feb 25 11:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Feb 25 11:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 25 11:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:48 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:48 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 912K Mar 5 18:22 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1678247248004

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=lola
BK_EXAMINATION=ReachabilityFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CloudReconfiguration-PT-402
Not applying reductions.
Model is PT
ReachabilityFireability PT
starting LoLA
BK_INPUT CloudReconfiguration-PT-402
BK_EXAMINATION: ReachabilityFireability
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
ReachabilityFireability

FORMULA CloudReconfiguration-PT-402-ReachabilityFireability-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

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

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

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

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

FORMULA CloudReconfiguration-PT-402-ReachabilityFireability-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-402-ReachabilityFireability-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-402-ReachabilityFireability-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

FORMULA CloudReconfiguration-PT-402-ReachabilityFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-402-ReachabilityFireability-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

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

FORMULA CloudReconfiguration-PT-402-ReachabilityFireability-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-402-ReachabilityFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

BK_STOP 1678247667656

--------------------
content from stderr:

lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/ReachabilityFireability.xml
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Rule S: 0 transitions removed,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: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k: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 # 63 (type EXCL) for 15 CloudReconfiguration-PT-402-ReachabilityFireability-05
lola: time limit : 210 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 55 (type FNDP) for 15 CloudReconfiguration-PT-402-ReachabilityFireability-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 58 (type EQUN) for 15 CloudReconfiguration-PT-402-ReachabilityFireability-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 62 (type SRCH) for 15 CloudReconfiguration-PT-402-ReachabilityFireability-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
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:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k: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: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: FINISHED task # 62 (type SRCH) for CloudReconfiguration-PT-402-ReachabilityFireability-05
lola: result : true
lola: markings : 11
lola: fired transitions : 10
lola: time used : 0.000000
lola: memory pages used : 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k: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 # 55 (type FNDP) for CloudReconfiguration-PT-402-ReachabilityFireability-05
lola: result : true
lola: fired transitions : 9
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: CANCELED task # 58 (type EQUN) for CloudReconfiguration-PT-402-ReachabilityFireability-05 (obsolete)
lola: CANCELED task # 63 (type EXCL) for CloudReconfiguration-PT-402-ReachabilityFireability-05 (obsolete)
lola: LAUNCH task # 120 (type EXCL) for 6 CloudReconfiguration-PT-402-ReachabilityFireability-02
lola: time limit : 198 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 51 (type FNDP) for 3 CloudReconfiguration-PT-402-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 83 (type EQUN) for 3 CloudReconfiguration-PT-402-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 108 (type SRCH) for 3 CloudReconfiguration-PT-402-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-58.sara.
sara: place or transition ordering is non-deterministic

lola: FINISHED task # 58 (type EQUN) for CloudReconfiguration-PT-402-ReachabilityFireability-05
lola: result : true
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-83.sara.
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 4/177 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 378866 t fired, 26878 attempts, .
83 EF STEQ 4/177 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
108 EF SRCH 4/177 2/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 300979 m, 60195 m/sec, 527604 t fired, .
120 EF EXCL 4/238 1/32 CloudReconfiguration-PT-402-ReachabilityFireability-02 186014 m, 37202 m/sec, 316422 t fired, .

Time elapsed: 32 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 9/174 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 950259 t fired, 69691 attempts, .
83 EF STEQ 9/174 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
108 EF SRCH 9/174 4/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 805134 m, 100831 m/sec, 1406883 t fired, .
120 EF EXCL 9/238 2/32 CloudReconfiguration-PT-402-ReachabilityFireability-02 382070 m, 39211 m/sec, 728396 t fired, .

Time elapsed: 37 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 108 (type SRCH) for CloudReconfiguration-PT-402-ReachabilityFireability-01 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 14/169 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 1512908 t fired, 112902 attempts, .
83 EF STEQ 14/169 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
120 EF EXCL 14/238 3/32 CloudReconfiguration-PT-402-ReachabilityFireability-02 624686 m, 48523 m/sec, 1168636 t fired, .

Time elapsed: 42 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 111 (type FNDP) for 21 CloudReconfiguration-PT-402-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 111 (type FNDP) for CloudReconfiguration-PT-402-ReachabilityFireability-07
lola: result : true
lola: fired transitions : 1303
lola: tried executions : 41
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 86 (type FNDP) for 24 CloudReconfiguration-PT-402-ReachabilityFireability-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 86 (type FNDP) for CloudReconfiguration-PT-402-ReachabilityFireability-08
lola: result : true
lola: fired transitions : 14
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 57 (type FNDP) for 42 CloudReconfiguration-PT-402-ReachabilityFireability-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 57 (type FNDP) for CloudReconfiguration-PT-402-ReachabilityFireability-14
lola: result : true
lola: fired transitions : 71
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 72 (type FNDP) for 45 CloudReconfiguration-PT-402-ReachabilityFireability-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 72 (type FNDP) for CloudReconfiguration-PT-402-ReachabilityFireability-15
lola: result : true
lola: fired transitions : 11
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 112 (type FNDP) for 39 CloudReconfiguration-PT-402-ReachabilityFireability-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 112 (type FNDP) for CloudReconfiguration-PT-402-ReachabilityFireability-13
lola: result : true
lola: fired transitions : 4
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 93 (type FNDP) for 30 CloudReconfiguration-PT-402-ReachabilityFireability-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 19/260 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 2053992 t fired, 154742 attempts, .
83 EF STEQ 19/260 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 5/273 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 766747 t fired, 65845 attempts, .
120 EF EXCL 19/357 4/32 CloudReconfiguration-PT-402-ReachabilityFireability-02 814643 m, 37991 m/sec, 1571728 t fired, .

Time elapsed: 47 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 24/255 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 2587260 t fired, 196026 attempts, .
83 EF STEQ 24/255 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 10/268 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 1516657 t fired, 136821 attempts, .
120 EF EXCL 24/357 5/32 CloudReconfiguration-PT-402-ReachabilityFireability-02 1036443 m, 44360 m/sec, 1993725 t fired, .

Time elapsed: 52 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 29/250 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 3116684 t fired, 237245 attempts, .
83 EF STEQ 29/250 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 15/263 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 2255400 t fired, 208435 attempts, .
120 EF EXCL 29/357 6/32 CloudReconfiguration-PT-402-ReachabilityFireability-02 1254593 m, 43630 m/sec, 2408928 t fired, .

Time elapsed: 57 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 34/245 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 3652531 t fired, 278967 attempts, .
83 EF STEQ 34/245 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 20/258 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 3004987 t fired, 281268 attempts, .
120 EF EXCL 34/357 7/32 CloudReconfiguration-PT-402-ReachabilityFireability-02 1463536 m, 41788 m/sec, 2806537 t fired, .

Time elapsed: 62 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 39/240 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 4197130 t fired, 321597 attempts, .
83 EF STEQ 39/240 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 25/253 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 3746419 t fired, 354131 attempts, .
120 EF EXCL 39/357 8/32 CloudReconfiguration-PT-402-ReachabilityFireability-02 1636208 m, 34534 m/sec, 3180525 t fired, .

Time elapsed: 67 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 120 (type EXCL) for CloudReconfiguration-PT-402-ReachabilityFireability-02
lola: result : true
lola: markings : 1731437
lola: fired transitions : 3368397
lola: time used : 41.000000
lola: memory pages used : 8
lola: LAUNCH task # 145 (type EXCL) for 27 CloudReconfiguration-PT-402-ReachabilityFireability-09
lola: time limit : 392 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 44/283 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 4753022 t fired, 365193 attempts, .
83 EF STEQ 44/256 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 30/269 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 4484471 t fired, 427067 attempts, .
145 EF EXCL 3/392 1/32 CloudReconfiguration-PT-402-ReachabilityFireability-09 138900 m, 27780 m/sec, 236911 t fired, .

Time elapsed: 72 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 49/280 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 5326119 t fired, 410174 attempts, .
83 EF STEQ 49/253 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 35/266 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 5222464 t fired, 500179 attempts, .
145 EF EXCL 8/392 2/32 CloudReconfiguration-PT-402-ReachabilityFireability-09 358219 m, 43863 m/sec, 667927 t fired, .

Time elapsed: 77 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 54/275 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 5897566 t fired, 455041 attempts, .
83 EF STEQ 54/248 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 40/261 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 5957669 t fired, 573208 attempts, .
145 EF EXCL 13/392 3/32 CloudReconfiguration-PT-402-ReachabilityFireability-09 591039 m, 46564 m/sec, 1106175 t fired, .

Time elapsed: 82 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 59/270 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 6470083 t fired, 500097 attempts, .
83 EF STEQ 59/243 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 45/256 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 6693207 t fired, 646458 attempts, .
145 EF EXCL 18/392 4/32 CloudReconfiguration-PT-402-ReachabilityFireability-09 805165 m, 42825 m/sec, 1522633 t fired, .

Time elapsed: 87 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 64/265 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 7042967 t fired, 545062 attempts, .
83 EF STEQ 64/238 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 50/251 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 7428482 t fired, 719718 attempts, .
145 EF EXCL 23/392 5/32 CloudReconfiguration-PT-402-ReachabilityFireability-09 1022926 m, 43552 m/sec, 1932017 t fired, .

Time elapsed: 92 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 69/260 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 7614170 t fired, 589905 attempts, .
83 EF STEQ 69/233 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 55/246 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 8163033 t fired, 792845 attempts, .
145 EF EXCL 28/392 6/32 CloudReconfiguration-PT-402-ReachabilityFireability-09 1241605 m, 43735 m/sec, 2349643 t fired, .

Time elapsed: 97 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 74/255 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 8186833 t fired, 634997 attempts, .
83 EF STEQ 74/228 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 60/241 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 8896600 t fired, 866272 attempts, .
145 EF EXCL 33/392 7/32 CloudReconfiguration-PT-402-ReachabilityFireability-09 1439614 m, 39601 m/sec, 2763585 t fired, .

Time elapsed: 102 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 145 (type EXCL) for CloudReconfiguration-PT-402-ReachabilityFireability-09
lola: result : true
lola: markings : 1553342
lola: fired transitions : 2960935
lola: time used : 35.000000
lola: memory pages used : 7
lola: LAUNCH task # 54 (type EXCL) for 12 CloudReconfiguration-PT-402-ReachabilityFireability-04
lola: time limit : 437 sec
lola: memory limit: 32 pages
lola: FINISHED task # 54 (type EXCL) for CloudReconfiguration-PT-402-ReachabilityFireability-04
lola: result : true
lola: markings : 819
lola: fired transitions : 1194
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 142 (type EXCL) for 0 CloudReconfiguration-PT-402-ReachabilityFireability-00
lola: time limit : 499 sec
lola: memory limit: 32 pages
lola: FINISHED task # 142 (type EXCL) for CloudReconfiguration-PT-402-ReachabilityFireability-00
lola: result : true
lola: markings : 36
lola: fired transitions : 49
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 128 (type EXCL) for 36 CloudReconfiguration-PT-402-ReachabilityFireability-12
lola: time limit : 582 sec
lola: memory limit: 32 pages
lola: FINISHED task # 128 (type EXCL) for CloudReconfiguration-PT-402-ReachabilityFireability-12
lola: result : true
lola: markings : 6443
lola: fired transitions : 10093
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 81 (type EXCL) for 18 CloudReconfiguration-PT-402-ReachabilityFireability-06
lola: time limit : 699 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 79/519 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 8758185 t fired, 679934 attempts, .
81 EF EXCL 3/699 1/32 CloudReconfiguration-PT-402-ReachabilityFireability-06 137552 m, 27510 m/sec, 233699 t fired, .
83 EF STEQ 79/519 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 65/446 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 9630109 t fired, 939726 attempts, .

Time elapsed: 107 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 84/516 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 9329792 t fired, 725090 attempts, .
81 EF EXCL 8/699 2/32 CloudReconfiguration-PT-402-ReachabilityFireability-06 426036 m, 57696 m/sec, 818203 t fired, .
83 EF STEQ 84/516 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 70/443 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 10362478 t fired, 1013172 attempts, .

Time elapsed: 112 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 89/511 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 9901639 t fired, 770437 attempts, .
81 EF EXCL 13/699 4/32 CloudReconfiguration-PT-402-ReachabilityFireability-06 704489 m, 55690 m/sec, 1339590 t fired, .
83 EF STEQ 89/511 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 75/438 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 11094775 t fired, 1086227 attempts, .

Time elapsed: 117 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 94/506 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 10473813 t fired, 815690 attempts, .
81 EF EXCL 18/699 5/32 CloudReconfiguration-PT-402-ReachabilityFireability-06 973260 m, 53754 m/sec, 1875262 t fired, .
83 EF STEQ 94/506 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 80/433 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 11826029 t fired, 1159759 attempts, .

Time elapsed: 122 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 99/501 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 11045402 t fired, 860797 attempts, .
81 EF EXCL 23/699 6/32 CloudReconfiguration-PT-402-ReachabilityFireability-06 1226657 m, 50679 m/sec, 2357274 t fired, .
83 EF STEQ 99/501 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 85/428 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 12556195 t fired, 1233324 attempts, .

Time elapsed: 127 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 104/496 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 11615591 t fired, 905734 attempts, .
81 EF EXCL 28/699 7/32 CloudReconfiguration-PT-402-ReachabilityFireability-06 1497225 m, 54113 m/sec, 2881817 t fired, .
83 EF STEQ 104/496 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 90/423 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 13290683 t fired, 1307202 attempts, .

Time elapsed: 132 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 109/491 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 12187703 t fired, 951008 attempts, .
81 EF EXCL 33/699 8/32 CloudReconfiguration-PT-402-ReachabilityFireability-06 1757598 m, 52074 m/sec, 3421203 t fired, .
83 EF STEQ 109/491 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 95/418 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 14022945 t fired, 1380932 attempts, .

Time elapsed: 137 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 81 (type EXCL) for CloudReconfiguration-PT-402-ReachabilityFireability-06
lola: result : true
lola: markings : 1785743
lola: fired transitions : 3468015
lola: time used : 33.000000
lola: memory pages used : 8
lola: LAUNCH task # 153 (type EXCL) for 9 CloudReconfiguration-PT-402-ReachabilityFireability-03
lola: time limit : 865 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 114/605 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 12760326 t fired, 996200 attempts, .
83 EF STEQ 114/605 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 100/616 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 14754240 t fired, 1454421 attempts, .
153 EF EXCL 5/865 2/32 CloudReconfiguration-PT-402-ReachabilityFireability-03 257526 m, 51505 m/sec, 472380 t fired, .

Time elapsed: 142 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 119/600 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 13330890 t fired, 1041344 attempts, .
83 EF STEQ 119/600 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 105/611 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 15485862 t fired, 1528087 attempts, .
153 EF EXCL 10/865 3/32 CloudReconfiguration-PT-402-ReachabilityFireability-03 515181 m, 51531 m/sec, 987321 t fired, .

Time elapsed: 147 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 124/595 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 13901745 t fired, 1086594 attempts, .
83 EF STEQ 124/595 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 110/606 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 16215849 t fired, 1601640 attempts, .
153 EF EXCL 15/865 4/32 CloudReconfiguration-PT-402-ReachabilityFireability-03 763928 m, 49749 m/sec, 1490396 t fired, .

Time elapsed: 152 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 129/590 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 14472300 t fired, 1131517 attempts, .
83 EF STEQ 129/590 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 115/601 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 16946739 t fired, 1675601 attempts, .
153 EF EXCL 20/865 5/32 CloudReconfiguration-PT-402-ReachabilityFireability-03 1027024 m, 52619 m/sec, 1998338 t fired, .

Time elapsed: 157 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 134/585 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 15042942 t fired, 1176657 attempts, .
83 EF STEQ 134/585 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 120/596 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 17676379 t fired, 1749351 attempts, .
153 EF EXCL 25/865 6/32 CloudReconfiguration-PT-402-ReachabilityFireability-03 1281299 m, 50855 m/sec, 2495241 t fired, .

Time elapsed: 162 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 139/580 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 15614445 t fired, 1221824 attempts, .
83 EF STEQ 139/580 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 125/591 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 18406121 t fired, 1823465 attempts, .
153 EF EXCL 30/865 7/32 CloudReconfiguration-PT-402-ReachabilityFireability-03 1515728 m, 46885 m/sec, 2956846 t fired, .

Time elapsed: 167 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 144/575 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 16185876 t fired, 1266951 attempts, .
83 EF STEQ 144/575 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 130/586 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 19135798 t fired, 1897176 attempts, .
153 EF EXCL 35/865 8/32 CloudReconfiguration-PT-402-ReachabilityFireability-03 1733327 m, 43519 m/sec, 3413133 t fired, .

Time elapsed: 172 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 153 (type EXCL) for CloudReconfiguration-PT-402-ReachabilityFireability-03
lola: result : true
lola: markings : 1745471
lola: fired transitions : 3437548
lola: time used : 35.000000
lola: memory pages used : 8
lola: LAUNCH task # 134 (type EXCL) for 33 CloudReconfiguration-PT-402-ReachabilityFireability-11
lola: time limit : 1142 sec
lola: memory limit: 32 pages
lola: FINISHED task # 134 (type EXCL) for CloudReconfiguration-PT-402-ReachabilityFireability-11
lola: result : true
lola: markings : 124
lola: fired transitions : 162
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 97 (type EXCL) for 30 CloudReconfiguration-PT-402-ReachabilityFireability-10
lola: time limit : 1714 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 149/1642 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 16757755 t fired, 1312284 attempts, .
83 EF STEQ 149/1642 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 135/1056 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 19864684 t fired, 1970697 attempts, .
97 EF EXCL 5/1714 1/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 201696 m, 40339 m/sec, 341936 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 154/1637 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 17328920 t fired, 1357570 attempts, .
83 EF STEQ 154/1637 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 140/1051 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 20591991 t fired, 2044064 attempts, .
97 EF EXCL 10/1714 2/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 381316 m, 35924 m/sec, 691864 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 159/1632 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 17900398 t fired, 1402653 attempts, .
83 EF STEQ 159/1632 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 145/1046 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 21319236 t fired, 2117493 attempts, .
97 EF EXCL 15/1714 3/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 539059 m, 31548 m/sec, 1020291 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 164/1627 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 18471917 t fired, 1447992 attempts, .
83 EF STEQ 164/1627 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 150/1041 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 22046676 t fired, 2190878 attempts, .
97 EF EXCL 20/1714 4/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 731404 m, 38469 m/sec, 1360692 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 169/1622 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 19042735 t fired, 1493127 attempts, .
83 EF STEQ 169/1622 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 155/1036 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 22774103 t fired, 2264373 attempts, .
97 EF EXCL 25/1714 5/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 926929 m, 39105 m/sec, 1715631 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 174/1617 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 19612062 t fired, 1538058 attempts, .
83 EF STEQ 174/1617 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 160/1031 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 23500664 t fired, 2337804 attempts, .
97 EF EXCL 30/1714 5/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 1074436 m, 29501 m/sec, 2045407 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 179/1612 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 20183622 t fired, 1583293 attempts, .
83 EF STEQ 179/1612 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 165/1026 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 24227326 t fired, 2411429 attempts, .
97 EF EXCL 35/1714 6/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 1253313 m, 35775 m/sec, 2377281 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 184/1607 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 20754664 t fired, 1628682 attempts, .
83 EF STEQ 184/1607 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 170/1021 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 24953429 t fired, 2484948 attempts, .
97 EF EXCL 40/1714 7/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 1436178 m, 36573 m/sec, 2708581 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 189/1602 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 21325437 t fired, 1673696 attempts, .
83 EF STEQ 189/1602 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 175/1016 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 25680831 t fired, 2558708 attempts, .
97 EF EXCL 45/1714 8/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 1603738 m, 33512 m/sec, 3031820 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 194/1597 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 21895952 t fired, 1718916 attempts, .
83 EF STEQ 194/1597 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 180/1011 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 26406468 t fired, 2632180 attempts, .
97 EF EXCL 50/1714 8/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 1783915 m, 36035 m/sec, 3342512 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 199/1592 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 22467741 t fired, 1764113 attempts, .
83 EF STEQ 199/1592 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 185/1006 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 27132117 t fired, 2705706 attempts, .
97 EF EXCL 55/1714 9/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 1949418 m, 33100 m/sec, 3654451 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 204/1587 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 23038083 t fired, 1809169 attempts, .
83 EF STEQ 204/1587 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 190/1001 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 27859342 t fired, 2779357 attempts, .
97 EF EXCL 60/1714 10/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 2118574 m, 33831 m/sec, 3974749 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 209/1582 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 23607513 t fired, 1854207 attempts, .
83 EF STEQ 209/1582 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 195/996 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 28589761 t fired, 2853366 attempts, .
97 EF EXCL 65/1714 11/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 2252347 m, 26754 m/sec, 4275985 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 214/1577 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 24178882 t fired, 1899656 attempts, .
83 EF STEQ 214/1577 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 200/991 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 29317292 t fired, 2927002 attempts, .
97 EF EXCL 70/1714 11/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 2403536 m, 30237 m/sec, 4576475 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 219/1572 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 24750114 t fired, 1944881 attempts, .
83 EF STEQ 219/1572 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 205/986 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 30044223 t fired, 3000522 attempts, .
97 EF EXCL 75/1714 12/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 2591083 m, 37509 m/sec, 4893869 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 224/1567 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 25320037 t fired, 1990084 attempts, .
83 EF STEQ 224/1567 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 210/981 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 30770058 t fired, 3074092 attempts, .
97 EF EXCL 80/1714 13/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 2775405 m, 36864 m/sec, 5234050 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 229/1562 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 25890895 t fired, 2035458 attempts, .
83 EF STEQ 229/1562 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 215/976 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 31495524 t fired, 3147546 attempts, .
97 EF EXCL 85/1714 13/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 2915987 m, 28116 m/sec, 5547515 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 234/1557 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 26461334 t fired, 2080773 attempts, .
83 EF STEQ 234/1557 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 220/971 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 32221030 t fired, 3220901 attempts, .
97 EF EXCL 90/1714 14/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 3099529 m, 36708 m/sec, 5873320 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 239/1552 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 27031972 t fired, 2125960 attempts, .
83 EF STEQ 239/1552 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 225/966 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 32948294 t fired, 3294734 attempts, .
97 EF EXCL 95/1714 15/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 3293641 m, 38822 m/sec, 6209801 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 244/1547 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 27602573 t fired, 2171220 attempts, .
83 EF STEQ 244/1547 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 230/961 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 33673632 t fired, 3368342 attempts, .
97 EF EXCL 100/1714 16/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 3447347 m, 30741 m/sec, 6534267 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 249/1542 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 28173358 t fired, 2216556 attempts, .
83 EF STEQ 249/1542 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 235/956 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 34399064 t fired, 3441824 attempts, .
97 EF EXCL 105/1714 17/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 3597891 m, 30108 m/sec, 6843761 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 254/1537 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 28743218 t fired, 2261742 attempts, .
83 EF STEQ 254/1537 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 240/951 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 35125339 t fired, 3515495 attempts, .
97 EF EXCL 110/1714 17/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 3774164 m, 35254 m/sec, 7161400 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 259/1532 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 29313626 t fired, 2306938 attempts, .
83 EF STEQ 259/1532 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 245/946 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 35850839 t fired, 3589204 attempts, .
97 EF EXCL 115/1714 18/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 3937582 m, 32683 m/sec, 7469025 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 264/1527 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 29884046 t fired, 2352239 attempts, .
83 EF STEQ 264/1527 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 250/941 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 36576833 t fired, 3662786 attempts, .
97 EF EXCL 120/1714 19/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 4115943 m, 35672 m/sec, 7777539 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 269/1522 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 30454157 t fired, 2397414 attempts, .
83 EF STEQ 269/1522 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 255/936 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 37302765 t fired, 3736338 attempts, .
97 EF EXCL 125/1714 19/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 4274182 m, 31647 m/sec, 8078604 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 274/1517 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 31025164 t fired, 2442798 attempts, .
83 EF STEQ 274/1517 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 260/931 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 38027003 t fired, 3809958 attempts, .
97 EF EXCL 130/1714 20/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 4443946 m, 33952 m/sec, 8382614 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 279/1512 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 31595063 t fired, 2487709 attempts, .
83 EF STEQ 279/1512 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 265/926 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 38752475 t fired, 3883644 attempts, .
97 EF EXCL 135/1714 21/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 4593389 m, 29888 m/sec, 8687879 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 284/1507 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 32166101 t fired, 2532997 attempts, .
83 EF STEQ 284/1507 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 270/921 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 39477003 t fired, 3956752 attempts, .
97 EF EXCL 140/1714 21/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 4717272 m, 24776 m/sec, 8968650 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 289/1502 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 32736584 t fired, 2578335 attempts, .
83 EF STEQ 289/1502 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 275/916 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 40202377 t fired, 4030286 attempts, .
97 EF EXCL 145/1714 22/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 4886122 m, 33770 m/sec, 9273541 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 294/1497 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 33306729 t fired, 2623379 attempts, .
83 EF STEQ 294/1497 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 280/911 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 40927634 t fired, 4103951 attempts, .
97 EF EXCL 150/1714 23/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 5032682 m, 29312 m/sec, 9522312 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 299/1492 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 33876804 t fired, 2668556 attempts, .
83 EF STEQ 299/1492 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 285/906 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 41652504 t fired, 4177606 attempts, .
97 EF EXCL 155/1714 23/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 5187903 m, 31044 m/sec, 9782820 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 304/1487 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 34447084 t fired, 2713704 attempts, .
83 EF STEQ 304/1487 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 290/901 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 42376520 t fired, 4251129 attempts, .
97 EF EXCL 160/1714 24/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 5346928 m, 31805 m/sec, 10059144 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 309/1482 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 35017321 t fired, 2758959 attempts, .
83 EF STEQ 309/1482 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 295/896 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 43100552 t fired, 4324673 attempts, .
97 EF EXCL 165/1714 25/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 5514892 m, 33592 m/sec, 10345636 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 314/1477 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 35586539 t fired, 2804055 attempts, .
83 EF STEQ 314/1477 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 300/891 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 43827761 t fired, 4398580 attempts, .
97 EF EXCL 170/1714 26/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 5686127 m, 34247 m/sec, 10637112 t fired, .

Time elapsed: 342 secs. Pages in use: 26
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 319/1472 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 36154069 t fired, 2849061 attempts, .
83 EF STEQ 319/1472 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 305/886 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 44549955 t fired, 4471965 attempts, .
97 EF EXCL 175/1714 26/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 5849906 m, 32755 m/sec, 10917821 t fired, .

Time elapsed: 347 secs. Pages in use: 26
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 324/1467 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 36722947 t fired, 2894063 attempts, .
83 EF STEQ 324/1467 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 310/881 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 45269044 t fired, 4544934 attempts, .
97 EF EXCL 180/1714 27/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 6013028 m, 32624 m/sec, 11195592 t fired, .

Time elapsed: 352 secs. Pages in use: 27
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 329/1462 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 37291235 t fired, 2939164 attempts, .
83 EF STEQ 329/1462 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 315/876 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 45992402 t fired, 4618493 attempts, .
97 EF EXCL 185/1714 28/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 6177669 m, 32928 m/sec, 11476593 t fired, .

Time elapsed: 357 secs. Pages in use: 28
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 334/1457 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 37861315 t fired, 2984308 attempts, .
83 EF STEQ 334/1457 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 320/871 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 46715933 t fired, 4692253 attempts, .
97 EF EXCL 190/1714 29/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 6350653 m, 34596 m/sec, 11786244 t fired, .

Time elapsed: 362 secs. Pages in use: 29
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 339/1452 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 38430112 t fired, 3029381 attempts, .
83 EF STEQ 339/1452 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 325/866 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 47442877 t fired, 4765979 attempts, .
97 EF EXCL 195/1714 29/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 6516698 m, 33209 m/sec, 12072310 t fired, .

Time elapsed: 367 secs. Pages in use: 29
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 344/1447 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 38999528 t fired, 3074360 attempts, .
83 EF STEQ 344/1447 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 330/861 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 48165966 t fired, 4839464 attempts, .
97 EF EXCL 200/1714 30/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 6690330 m, 34726 m/sec, 12375263 t fired, .

Time elapsed: 372 secs. Pages in use: 30
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 349/1442 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 39569035 t fired, 3119455 attempts, .
83 EF STEQ 349/1442 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 335/856 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 48893530 t fired, 4913272 attempts, .
97 EF EXCL 205/1714 31/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 6859069 m, 33747 m/sec, 12670685 t fired, .

Time elapsed: 377 secs. Pages in use: 31
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 354/1437 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 40138444 t fired, 3164640 attempts, .
83 EF STEQ 354/1437 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 340/851 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 49613564 t fired, 4986558 attempts, .
97 EF EXCL 210/1714 32/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 7032358 m, 34657 m/sec, 12974607 t fired, .

Time elapsed: 382 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 359/1432 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 40707959 t fired, 3209873 attempts, .
83 EF STEQ 359/1432 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 345/846 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 50340433 t fired, 5060421 attempts, .
97 EF EXCL 215/1714 32/32 CloudReconfiguration-PT-402-ReachabilityFireability-10 7202789 m, 34086 m/sec, 13276229 t fired, .

Time elapsed: 387 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 97 (type EXCL) for CloudReconfiguration-PT-402-ReachabilityFireability-10 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 364/1427 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 41276363 t fired, 3255041 attempts, .
83 EF STEQ 364/1427 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 350/841 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 51069733 t fired, 5134353 attempts, .

Time elapsed: 392 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 109 (type EXCL) for 3 CloudReconfiguration-PT-402-ReachabilityFireability-01
lola: time limit : 3208 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 1 3 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 369/1422 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 41846023 t fired, 3300165 attempts, .
83 EF STEQ 369/1422 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 355/836 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 51794015 t fired, 5207860 attempts, .
109 EF EXCL 5/3208 1/32 CloudReconfiguration-PT-402-ReachabilityFireability-01 101763 m, 20352 m/sec, 174231 t fired, .

Time elapsed: 397 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 1 3 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 374/1417 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 42415782 t fired, 3345451 attempts, .
83 EF STEQ 374/1417 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 360/831 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 52522010 t fired, 5281711 attempts, .
109 EF EXCL 10/3208 1/32 CloudReconfiguration-PT-402-ReachabilityFireability-01 202103 m, 20068 m/sec, 343341 t fired, .

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 1 3 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 379/1412 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 42984457 t fired, 3390556 attempts, .
83 EF STEQ 379/1412 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 365/826 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 53246789 t fired, 5355451 attempts, .
109 EF EXCL 15/3208 2/32 CloudReconfiguration-PT-402-ReachabilityFireability-01 306949 m, 20969 m/sec, 513801 t fired, .

Time elapsed: 407 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 1 3 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 384/1407 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 43553856 t fired, 3435655 attempts, .
83 EF STEQ 384/1407 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 370/821 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 53986555 t fired, 5430518 attempts, .
109 EF EXCL 20/3208 2/32 CloudReconfiguration-PT-402-ReachabilityFireability-01 417493 m, 22108 m/sec, 695111 t fired, .

Time elapsed: 412 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-402-ReachabilityFireability-00: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-02: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-03: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-04: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-05: EF true findpath
CloudReconfiguration-PT-402-ReachabilityFireability-06: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-07: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-08: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-09: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-11: AG false tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-12: EF true tandem / relaxed
CloudReconfiguration-PT-402-ReachabilityFireability-13: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-14: AG false findpath
CloudReconfiguration-PT-402-ReachabilityFireability-15: AG false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-402-ReachabilityFireability-01: AG 0 1 3 0 1 0 1 0
CloudReconfiguration-PT-402-ReachabilityFireability-10: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 389/1402 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 44123176 t fired, 3480686 attempts, .
83 EF STEQ 389/1402 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-01 sara is running.
93 EF FNDP 375/816 0/5 CloudReconfiguration-PT-402-ReachabilityFireability-10 54715073 t fired, 5504680 attempts, .
109 EF EXCL 25/3208 3/32 CloudReconfiguration-PT-402-ReachabilityFireability-01 522772 m, 21055 m/sec, 867102 t fired, .

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

lola: FINISHED task # 83 (type EQUN) for CloudReconfiguration-PT-402-ReachabilityFireability-01
lola: result : true
lola: CANCELED task # 51 (type FNDP) for CloudReconfiguration-PT-402-ReachabilityFireability-01 (obsolete)
lola: CANCELED task # 109 (type EXCL) for CloudReconfiguration-PT-402-ReachabilityFireability-01 (obsolete)
lola: LAUNCH task # 94 (type EQUN) for 30 CloudReconfiguration-PT-402-ReachabilityFireability-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 96 (type SRCH) for 30 CloudReconfiguration-PT-402-ReachabilityFireability-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 102 (type SRCH) for 30 CloudReconfiguration-PT-402-ReachabilityFireability-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 51 (type FNDP) for CloudReconfiguration-PT-402-ReachabilityFireability-01
lola: result : unknown
lola: fired transitions : 44380013
lola: tried executions : 3501041
lola: time used : 391.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 102 (type SRCH) for CloudReconfiguration-PT-402-ReachabilityFireability-10
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-94.sara.
sara: place or transition ordering is non-deterministic

lola: FINISHED task # 94 (type EQUN) for CloudReconfiguration-PT-402-ReachabilityFireability-10
lola: result : false
lola: CANCELED task # 93 (type FNDP) for CloudReconfiguration-PT-402-ReachabilityFireability-10 (obsolete)
lola: CANCELED task # 96 (type SRCH) for CloudReconfiguration-PT-402-ReachabilityFireability-10 (obsolete)
lola: Portfolio finished: no open formulas

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


Time elapsed: 419 secs. Pages in use: 32

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudReconfiguration-PT-402"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool lola"
echo " Input is CloudReconfiguration-PT-402, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r102-tall-167814476500175"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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