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

About the Execution of LoLA for CloudReconfiguration-PT-316

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
7077.651 541499.00 2123581.00 230.50 FTFT?FTTFTFTTTFT 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-167814476500126.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-316, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r102-tall-167814476500126
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 6.5K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 65K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 25 11:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 25 11:49 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 4.0K Feb 25 15:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 15:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 11:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 133K Feb 25 11:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 25 11:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 25 11:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:47 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 660K 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-316-ReachabilityCardinality-00
FORMULA_NAME CloudReconfiguration-PT-316-ReachabilityCardinality-01
FORMULA_NAME CloudReconfiguration-PT-316-ReachabilityCardinality-02
FORMULA_NAME CloudReconfiguration-PT-316-ReachabilityCardinality-03
FORMULA_NAME CloudReconfiguration-PT-316-ReachabilityCardinality-04
FORMULA_NAME CloudReconfiguration-PT-316-ReachabilityCardinality-05
FORMULA_NAME CloudReconfiguration-PT-316-ReachabilityCardinality-06
FORMULA_NAME CloudReconfiguration-PT-316-ReachabilityCardinality-07
FORMULA_NAME CloudReconfiguration-PT-316-ReachabilityCardinality-08
FORMULA_NAME CloudReconfiguration-PT-316-ReachabilityCardinality-09
FORMULA_NAME CloudReconfiguration-PT-316-ReachabilityCardinality-10
FORMULA_NAME CloudReconfiguration-PT-316-ReachabilityCardinality-11
FORMULA_NAME CloudReconfiguration-PT-316-ReachabilityCardinality-12
FORMULA_NAME CloudReconfiguration-PT-316-ReachabilityCardinality-13
FORMULA_NAME CloudReconfiguration-PT-316-ReachabilityCardinality-14
FORMULA_NAME CloudReconfiguration-PT-316-ReachabilityCardinality-15

=== Now, execution of the tool begins

BK_START 1678239775779

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=ReachabilityCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CloudReconfiguration-PT-316
Not applying reductions.
Model is PT
ReachabilityCardinality PT
starting LoLA
BK_INPUT CloudReconfiguration-PT-316
BK_EXAMINATION: ReachabilityCardinality
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
ReachabilityCardinality

FORMULA CloudReconfiguration-PT-316-ReachabilityCardinality-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-316-ReachabilityCardinality-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-316-ReachabilityCardinality-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-316-ReachabilityCardinality-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-316-ReachabilityCardinality-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-316-ReachabilityCardinality-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-316-ReachabilityCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-316-ReachabilityCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-316-ReachabilityCardinality-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-316-ReachabilityCardinality-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-316-ReachabilityCardinality-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-316-ReachabilityCardinality-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-316-ReachabilityCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-316-ReachabilityCardinality-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-316-ReachabilityCardinality-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

BK_STOP 1678240317278

--------------------
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/ReachabilityCardinality.xml
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: 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: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 55 (type EXCL) for 9 CloudReconfiguration-PT-316-ReachabilityCardinality-03
lola: time limit : 188 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 51 (type FNDP) for 6 CloudReconfiguration-PT-316-ReachabilityCardinality-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 52 (type EQUN) for 6 CloudReconfiguration-PT-316-ReachabilityCardinality-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 58 (type SRCH) for 6 CloudReconfiguration-PT-316-ReachabilityCardinality-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 58 (type SRCH) for CloudReconfiguration-PT-316-ReachabilityCardinality-02
lola: result : true
lola: markings : 9
lola: fired transitions : 8
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 51 (type FNDP) for CloudReconfiguration-PT-316-ReachabilityCardinality-02 (obsolete)
lola: CANCELED task # 52 (type EQUN) for CloudReconfiguration-PT-316-ReachabilityCardinality-02 (obsolete)
lola: LAUNCH task # 48 (type FNDP) for 9 CloudReconfiguration-PT-316-ReachabilityCardinality-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 49 (type EQUN) for 9 CloudReconfiguration-PT-316-ReachabilityCardinality-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 54 (type SRCH) for 9 CloudReconfiguration-PT-316-ReachabilityCardinality-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 54 (type SRCH) for CloudReconfiguration-PT-316-ReachabilityCardinality-03
lola: result : true
lola: markings : 5
lola: fired transitions : 4
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 48 (type FNDP) for CloudReconfiguration-PT-316-ReachabilityCardinality-03 (obsolete)
lola: CANCELED task # 49 (type EQUN) for CloudReconfiguration-PT-316-ReachabilityCardinality-03 (obsolete)
lola: CANCELED task # 55 (type EXCL) for CloudReconfiguration-PT-316-ReachabilityCardinality-03 (obsolete)
lola: FINISHED task # 51 (type FNDP) for CloudReconfiguration-PT-316-ReachabilityCardinality-02
lola: result : true
lola: fired transitions : 7
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-52.sara.
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-49.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic

lola: FINISHED task # 49 (type EQUN) for CloudReconfiguration-PT-316-ReachabilityCardinality-03
lola: result : true
lola: FINISHED task # 48 (type FNDP) for CloudReconfiguration-PT-316-ReachabilityCardinality-03
lola: result : true
lola: fired transitions : 3
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 67 (type EXCL) for 12 CloudReconfiguration-PT-316-ReachabilityCardinality-04
lola: time limit : 256 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 63 (type FNDP) for 12 CloudReconfiguration-PT-316-ReachabilityCardinality-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 64 (type EQUN) for 12 CloudReconfiguration-PT-316-ReachabilityCardinality-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 66 (type SRCH) for 12 CloudReconfiguration-PT-316-ReachabilityCardinality-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k: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: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k: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/ReachabilityCardinality-64.sara.
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
63 EF FNDP 4/188 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 334985 t fired, 22993 attempts, .
64 EF STEQ 4/188 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 sara is running.
66 EF SRCH 4/199 2/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 248628 m, 49725 m/sec, 558340 t fired, .
67 EF EXCL 4/256 1/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 85962 m, 17192 m/sec, 131579 t fired, .

Time elapsed: 17 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
63 EF FNDP 9/184 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 801470 t fired, 55125 attempts, .
64 EF STEQ 9/184 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 sara is running.
66 EF SRCH 9/195 3/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 577074 m, 65689 m/sec, 1209258 t fired, .
67 EF EXCL 9/256 1/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 192038 m, 21215 m/sec, 299050 t fired, .

Time elapsed: 22 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
63 EF FNDP 14/179 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 1270627 t fired, 87543 attempts, .
64 EF STEQ 14/179 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 sara is running.
66 EF SRCH 14/190 4/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 910432 m, 66671 m/sec, 1902169 t fired, .
67 EF EXCL 14/256 2/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 302426 m, 22077 m/sec, 471516 t fired, .

Time elapsed: 27 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 66 (type SRCH) for CloudReconfiguration-PT-316-ReachabilityCardinality-04 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
63 EF FNDP 19/174 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 1760092 t fired, 121242 attempts, .
64 EF STEQ 19/174 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 sara is running.
67 EF EXCL 19/256 2/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 414708 m, 22456 m/sec, 649916 t fired, .

Time elapsed: 32 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 139 (type FNDP) for 39 CloudReconfiguration-PT-316-ReachabilityCardinality-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
63 EF FNDP 24/180 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 2155797 t fired, 148613 attempts, .
64 EF STEQ 24/180 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 sara is running.
67 EF EXCL 24/256 3/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 519060 m, 20870 m/sec, 814399 t fired, .
139 EF FNDP 5/187 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 419832 t fired, 35188 attempts, .

Time elapsed: 37 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
63 EF FNDP 29/175 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 2541378 t fired, 175320 attempts, .
64 EF STEQ 29/175 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 sara is running.
67 EF EXCL 29/256 3/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 603682 m, 16924 m/sec, 947488 t fired, .
139 EF FNDP 10/182 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 798249 t fired, 67112 attempts, .

Time elapsed: 42 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
63 EF FNDP 34/170 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 2864383 t fired, 197650 attempts, .
64 EF STEQ 34/170 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 sara is running.
67 EF EXCL 34/256 4/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 693729 m, 18009 m/sec, 1090924 t fired, .
139 EF FNDP 15/177 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 1220034 t fired, 102617 attempts, .

Time elapsed: 47 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
63 EF FNDP 39/165 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 3247997 t fired, 224252 attempts, .
64 EF STEQ 39/165 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 sara is running.
67 EF EXCL 39/256 4/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 775821 m, 16418 m/sec, 1222765 t fired, .
139 EF FNDP 20/172 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 1595910 t fired, 134330 attempts, .

Time elapsed: 52 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
63 EF FNDP 44/160 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 3633690 t fired, 250870 attempts, .
64 EF STEQ 44/160 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 sara is running.
67 EF EXCL 44/256 4/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 856153 m, 16066 m/sec, 1354718 t fired, .
139 EF FNDP 25/167 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 1848868 t fired, 155553 attempts, .

Time elapsed: 57 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
63 EF FNDP 49/155 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 3967027 t fired, 273955 attempts, .
64 EF STEQ 49/155 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 sara is running.
67 EF EXCL 49/256 5/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 940498 m, 16869 m/sec, 1494450 t fired, .
139 EF FNDP 30/162 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 2179513 t fired, 183417 attempts, .

Time elapsed: 62 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
63 EF FNDP 54/150 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 4271803 t fired, 294939 attempts, .
64 EF STEQ 54/150 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 sara is running.
67 EF EXCL 54/256 5/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 1028043 m, 17509 m/sec, 1639749 t fired, .
139 EF FNDP 35/157 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 2479924 t fired, 208842 attempts, .

Time elapsed: 67 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
63 EF FNDP 59/145 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 4622978 t fired, 319124 attempts, .
64 EF STEQ 59/145 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 sara is running.
67 EF EXCL 59/256 6/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 1145762 m, 23543 m/sec, 1824839 t fired, .
139 EF FNDP 40/152 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 2771466 t fired, 233520 attempts, .

Time elapsed: 72 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
63 EF FNDP 64/140 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 4934612 t fired, 340557 attempts, .
64 EF STEQ 64/140 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 sara is running.
67 EF EXCL 64/256 6/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 1223373 m, 15522 m/sec, 1955469 t fired, .
139 EF FNDP 45/147 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 3147942 t fired, 265288 attempts, .

Time elapsed: 77 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
63 EF FNDP 69/135 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 5257223 t fired, 362842 attempts, .
64 EF STEQ 69/135 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 sara is running.
67 EF EXCL 69/256 6/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 1303415 m, 16008 m/sec, 2092848 t fired, .
139 EF FNDP 50/142 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 3526690 t fired, 297285 attempts, .

Time elapsed: 82 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
63 EF FNDP 74/130 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 5644921 t fired, 389682 attempts, .
64 EF STEQ 74/130 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 sara is running.
67 EF EXCL 74/256 7/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 1364819 m, 12280 m/sec, 2201292 t fired, .
139 EF FNDP 55/137 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 3863749 t fired, 325652 attempts, .

Time elapsed: 87 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
63 EF FNDP 79/125 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 5978930 t fired, 412683 attempts, .
64 EF STEQ 79/125 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 sara is running.
67 EF EXCL 79/256 7/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 1428137 m, 12663 m/sec, 2318330 t fired, .
139 EF FNDP 60/132 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 4273730 t fired, 360341 attempts, .

Time elapsed: 92 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
63 EF FNDP 84/120 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 6412798 t fired, 442662 attempts, .
64 EF STEQ 84/120 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 sara is running.
67 EF EXCL 84/256 7/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 1497979 m, 13968 m/sec, 2452835 t fired, .
139 EF FNDP 65/127 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 4644449 t fired, 391686 attempts, .

Time elapsed: 97 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
63 EF FNDP 89/115 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 6677182 t fired, 460990 attempts, .
64 EF STEQ 89/115 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 sara is running.
67 EF EXCL 89/256 8/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 1567370 m, 13878 m/sec, 2588115 t fired, .
139 EF FNDP 70/122 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 5015413 t fired, 422815 attempts, .

Time elapsed: 102 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
63 EF FNDP 94/110 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 6943240 t fired, 479434 attempts, .
64 EF STEQ 94/110 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 sara is running.
67 EF EXCL 94/256 8/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 1629783 m, 12482 m/sec, 2708659 t fired, .
139 EF FNDP 75/117 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 5397811 t fired, 455107 attempts, .

Time elapsed: 107 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
sara: warning, failure of lp_solve (at job 1304)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
63 EF FNDP 99/105 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 7324446 t fired, 505781 attempts, .
64 EF STEQ 99/105 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-04 sara is running.
67 EF EXCL 99/256 8/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 1691981 m, 12439 m/sec, 2832326 t fired, .
139 EF FNDP 80/112 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 5776932 t fired, 486902 attempts, .

Time elapsed: 112 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 63 (type FNDP) for CloudReconfiguration-PT-316-ReachabilityCardinality-04 (local timeout)
lola: CANCELED task # 64 (type EQUN) for CloudReconfiguration-PT-316-ReachabilityCardinality-04 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 104/256 8/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 1746864 m, 10976 m/sec, 2943215 t fired, .
139 EF FNDP 85/107 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 6131836 t fired, 516813 attempts, .

Time elapsed: 117 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 116 (type FNDP) for 45 CloudReconfiguration-PT-316-ReachabilityCardinality-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 119 (type EQUN) for 45 CloudReconfiguration-PT-316-ReachabilityCardinality-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 63 (type FNDP) for CloudReconfiguration-PT-316-ReachabilityCardinality-04
lola: result : unknown
lola: fired transitions : 7666249
lola: tried executions : 529481
lola: time used : 104.000000
lola: memory pages used : 0
lola: FINISHED task # 116 (type FNDP) for CloudReconfiguration-PT-316-ReachabilityCardinality-15
lola: result : true
lola: fired transitions : 48
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 119 (type EQUN) for CloudReconfiguration-PT-316-ReachabilityCardinality-15 (obsolete)
lola: LAUNCH task # 147 (type FNDP) for 0 CloudReconfiguration-PT-316-ReachabilityCardinality-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 148 (type EQUN) for 0 CloudReconfiguration-PT-316-ReachabilityCardinality-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 64 (type EQUN) for CloudReconfiguration-PT-316-ReachabilityCardinality-04
lola: result : unknown
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 147 (type FNDP) for CloudReconfiguration-PT-316-ReachabilityCardinality-00
lola: result : true
lola: fired transitions : 14
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 148 (type EQUN) for CloudReconfiguration-PT-316-ReachabilityCardinality-00 (obsolete)
lola: LAUNCH task # 127 (type FNDP) for 27 CloudReconfiguration-PT-316-ReachabilityCardinality-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-119.sara.
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-148.sara.
lola: LAUNCH task # 129 (type EQUN) for 27 CloudReconfiguration-PT-316-ReachabilityCardinality-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 127 (type FNDP) for CloudReconfiguration-PT-316-ReachabilityCardinality-09
lola: result : true
lola: fired transitions : 93
lola: tried executions : 6
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 129 (type EQUN) for CloudReconfiguration-PT-316-ReachabilityCardinality-09 (obsolete)
lola: LAUNCH task # 83 (type FNDP) for 15 CloudReconfiguration-PT-316-ReachabilityCardinality-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 90 (type EQUN) for 15 CloudReconfiguration-PT-316-ReachabilityCardinality-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-90.sara.
sara: place or transition ordering is non-deterministic
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-129.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 83 (type FNDP) for CloudReconfiguration-PT-316-ReachabilityCardinality-05
lola: result : true
lola: fired transitions : 7221
lola: tried executions : 521
lola: time used : 1.000000
lola: memory pages used : 0
lola: CANCELED task # 90 (type EQUN) for CloudReconfiguration-PT-316-ReachabilityCardinality-05 (obsolete)
lola: LAUNCH task # 114 (type FNDP) for 30 CloudReconfiguration-PT-316-ReachabilityCardinality-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 117 (type EQUN) for 30 CloudReconfiguration-PT-316-ReachabilityCardinality-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 90 (type EQUN) for CloudReconfiguration-PT-316-ReachabilityCardinality-05
lola: result : unknown
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-117.sara.
sara: place or transition ordering is non-deterministic

lola: FINISHED task # 117 (type EQUN) for CloudReconfiguration-PT-316-ReachabilityCardinality-10
lola: result : true
lola: CANCELED task # 114 (type FNDP) for CloudReconfiguration-PT-316-ReachabilityCardinality-10 (obsolete)
lola: LAUNCH task # 128 (type FNDP) for 33 CloudReconfiguration-PT-316-ReachabilityCardinality-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 134 (type EQUN) for 33 CloudReconfiguration-PT-316-ReachabilityCardinality-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 128 (type FNDP) for CloudReconfiguration-PT-316-ReachabilityCardinality-11
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 # 134 (type EQUN) for CloudReconfiguration-PT-316-ReachabilityCardinality-11 (obsolete)
lola: LAUNCH task # 75 (type FNDP) for 21 CloudReconfiguration-PT-316-ReachabilityCardinality-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 77 (type EQUN) for 21 CloudReconfiguration-PT-316-ReachabilityCardinality-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 114 (type FNDP) for CloudReconfiguration-PT-316-ReachabilityCardinality-10
lola: result : unknown
lola: fired transitions : 27665
lola: tried executions : 3265
lola: time used : 0.000000
lola: memory pages used : 0
lola: FINISHED task # 75 (type FNDP) for CloudReconfiguration-PT-316-ReachabilityCardinality-07
lola: result : true
lola: fired transitions : 1
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 77 (type EQUN) for CloudReconfiguration-PT-316-ReachabilityCardinality-07 (obsolete)
lola: LAUNCH task # 102 (type FNDP) for 3 CloudReconfiguration-PT-316-ReachabilityCardinality-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 103 (type EQUN) for 3 CloudReconfiguration-PT-316-ReachabilityCardinality-01
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
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-134.sara.
sara: place or transition ordering is non-deterministic
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-103.sara.
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-77.sara.

lola: FINISHED task # 129 (type EQUN) for CloudReconfiguration-PT-316-ReachabilityCardinality-09
lola: result : true
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic

lola: FINISHED task # 77 (type EQUN) for CloudReconfiguration-PT-316-ReachabilityCardinality-07
lola: result : true

lola: FINISHED task # 148 (type EQUN) for CloudReconfiguration-PT-316-ReachabilityCardinality-00
lola: result : true
sara: warning, failure of lp_solve (at job 156)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 109/512 8/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 1778391 m, 6305 m/sec, 3006149 t fired, .
102 EF FNDP 4/384 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 184239 t fired, 7771 attempts, .
103 EF STEQ 4/433 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
139 EF FNDP 90/358 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 6367581 t fired, 536681 attempts, .

Time elapsed: 122 secs. Pages in use: 8
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 114/512 9/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 1809561 m, 6234 m/sec, 3068680 t fired, .
102 EF FNDP 9/382 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 612021 t fired, 27770 attempts, .
103 EF STEQ 9/431 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
139 EF FNDP 95/356 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 6542650 t fired, 551330 attempts, .

Time elapsed: 127 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 119/512 9/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 1874156 m, 12919 m/sec, 3172988 t fired, .
102 EF FNDP 14/377 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 1104382 t fired, 51102 attempts, .
103 EF STEQ 14/426 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
139 EF FNDP 100/351 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 6733800 t fired, 567421 attempts, .

Time elapsed: 132 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 124/512 9/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 1946455 m, 14459 m/sec, 3288661 t fired, .
102 EF FNDP 19/372 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 1434941 t fired, 66993 attempts, .
103 EF STEQ 19/421 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
139 EF FNDP 105/346 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 7017779 t fired, 591170 attempts, .

Time elapsed: 137 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 129/512 9/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 2003150 m, 11339 m/sec, 3380785 t fired, .
102 EF FNDP 24/367 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 1712421 t fired, 80340 attempts, .
103 EF STEQ 24/416 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
139 EF FNDP 110/341 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 7223876 t fired, 608533 attempts, .

Time elapsed: 142 secs. Pages in use: 9
# running tasks: 4 of 4 Visible: 16

lola: FINISHED task # 52 (type EQUN) for CloudReconfiguration-PT-316-ReachabilityCardinality-02
lola: result : true
sara: warning, failure of lp_solve (at job 325)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 134/512 10/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 2065229 m, 12415 m/sec, 3484430 t fired, .
102 EF FNDP 29/361 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 2002874 t fired, 94355 attempts, .
103 EF STEQ 29/410 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
139 EF FNDP 115/335 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 7500948 t fired, 631942 attempts, .

Time elapsed: 147 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 139/512 10/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 2127039 m, 12362 m/sec, 3592622 t fired, .
102 EF FNDP 34/357 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 2578525 t fired, 122349 attempts, .
103 EF STEQ 34/406 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
139 EF FNDP 120/331 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 7837898 t fired, 660342 attempts, .

Time elapsed: 152 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 144/512 10/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 2195140 m, 13620 m/sec, 3722618 t fired, .
102 EF FNDP 39/352 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 3016848 t fired, 143639 attempts, .
103 EF STEQ 39/401 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
139 EF FNDP 125/326 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 8062290 t fired, 679133 attempts, .

Time elapsed: 157 secs. Pages in use: 10
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 149/512 11/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 2246715 m, 10315 m/sec, 3809774 t fired, .
102 EF FNDP 44/347 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 3586876 t fired, 171348 attempts, .
103 EF STEQ 44/396 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
139 EF FNDP 130/321 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 8392441 t fired, 706941 attempts, .

Time elapsed: 162 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 154/512 11/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 2312328 m, 13122 m/sec, 3912229 t fired, .
102 EF FNDP 49/342 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 4024490 t fired, 192782 attempts, .
103 EF STEQ 49/391 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
139 EF FNDP 135/316 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 8687945 t fired, 731791 attempts, .

Time elapsed: 167 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 159/512 11/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 2387346 m, 15003 m/sec, 4030624 t fired, .
102 EF FNDP 54/337 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 4386105 t fired, 210357 attempts, .
103 EF STEQ 54/386 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
139 EF FNDP 140/311 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 8973942 t fired, 755846 attempts, .

Time elapsed: 172 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 164/512 11/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 2449389 m, 12408 m/sec, 4129816 t fired, .
102 EF FNDP 59/332 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 4813841 t fired, 231271 attempts, .
103 EF STEQ 59/381 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
139 EF FNDP 145/306 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 9236157 t fired, 778026 attempts, .

Time elapsed: 177 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 169/512 12/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 2525829 m, 15288 m/sec, 4248465 t fired, .
102 EF FNDP 64/327 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 5259836 t fired, 253061 attempts, .
103 EF STEQ 64/376 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
139 EF FNDP 150/301 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 9500228 t fired, 800122 attempts, .

Time elapsed: 182 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 174/512 12/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 2601137 m, 15061 m/sec, 4368273 t fired, .
102 EF FNDP 69/322 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 5606540 t fired, 270007 attempts, .
103 EF STEQ 69/371 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
139 EF FNDP 155/296 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 9797071 t fired, 825145 attempts, .

Time elapsed: 187 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 179/512 12/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 2654194 m, 10611 m/sec, 4454031 t fired, .
102 EF FNDP 74/317 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 6072510 t fired, 292755 attempts, .
103 EF STEQ 74/366 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
139 EF FNDP 160/291 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 10078568 t fired, 848968 attempts, .

Time elapsed: 192 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 184/512 13/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 2728729 m, 14907 m/sec, 4572334 t fired, .
102 EF FNDP 79/312 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 6509035 t fired, 313989 attempts, .
103 EF STEQ 79/361 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
139 EF FNDP 165/286 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 10291288 t fired, 866903 attempts, .

Time elapsed: 197 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 189/512 13/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 2798737 m, 14001 m/sec, 4681352 t fired, .
102 EF FNDP 84/307 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 6963265 t fired, 336346 attempts, .
103 EF STEQ 84/356 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
139 EF FNDP 170/281 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 10553551 t fired, 888908 attempts, .

Time elapsed: 202 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 194/512 13/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 2858686 m, 11989 m/sec, 4777588 t fired, .
102 EF FNDP 89/302 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 7424902 t fired, 359117 attempts, .
103 EF STEQ 89/351 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
139 EF FNDP 175/276 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 10841378 t fired, 913160 attempts, .

Time elapsed: 207 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 199/512 13/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 2914045 m, 11071 m/sec, 4865879 t fired, .
102 EF FNDP 94/297 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 7926514 t fired, 383676 attempts, .
103 EF STEQ 94/346 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
139 EF FNDP 180/271 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 11110496 t fired, 935867 attempts, .

Time elapsed: 212 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 204/512 14/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 2980336 m, 13258 m/sec, 4970597 t fired, .
102 EF FNDP 99/292 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 8387992 t fired, 406144 attempts, .
103 EF STEQ 99/341 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
139 EF FNDP 185/266 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 11441777 t fired, 963708 attempts, .

Time elapsed: 217 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 209/512 14/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 3063247 m, 16582 m/sec, 5106681 t fired, .
102 EF FNDP 104/287 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 8813712 t fired, 426869 attempts, .
103 EF STEQ 104/336 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
139 EF FNDP 190/261 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 11745350 t fired, 989122 attempts, .

Time elapsed: 222 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 214/512 14/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 3136112 m, 14573 m/sec, 5227340 t fired, .
102 EF FNDP 109/282 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 9315955 t fired, 451582 attempts, .
103 EF STEQ 109/331 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
139 EF FNDP 195/256 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 12035815 t fired, 1013420 attempts, .

Time elapsed: 227 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 219/512 15/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 3202387 m, 13255 m/sec, 5338155 t fired, .
102 EF FNDP 114/277 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 9726494 t fired, 471495 attempts, .
103 EF STEQ 114/326 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
139 EF FNDP 200/251 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 12283017 t fired, 1034233 attempts, .

Time elapsed: 232 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 224/512 15/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 3286413 m, 16805 m/sec, 5474801 t fired, .
102 EF FNDP 119/272 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 10129028 t fired, 491243 attempts, .
103 EF STEQ 119/321 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
139 EF FNDP 205/246 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 12596076 t fired, 1060534 attempts, .

Time elapsed: 237 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 229/512 16/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 3372769 m, 17271 m/sec, 5610482 t fired, .
102 EF FNDP 124/267 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 10499880 t fired, 509278 attempts, .
103 EF STEQ 124/316 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
139 EF FNDP 210/241 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 12895472 t fired, 1085739 attempts, .

Time elapsed: 242 secs. Pages in use: 16
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 234/512 16/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 3439628 m, 13371 m/sec, 5722995 t fired, .
102 EF FNDP 129/262 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 10954242 t fired, 531720 attempts, .
103 EF STEQ 129/311 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
139 EF FNDP 215/236 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 13165320 t fired, 1108526 attempts, .

Time elapsed: 247 secs. Pages in use: 16
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 239/512 16/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 3509953 m, 14065 m/sec, 5841658 t fired, .
102 EF FNDP 134/257 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 11469476 t fired, 557094 attempts, .
103 EF STEQ 134/306 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
139 EF FNDP 220/231 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 13472662 t fired, 1134461 attempts, .

Time elapsed: 252 secs. Pages in use: 16
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 4 1 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 244/512 17/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 3579441 m, 13897 m/sec, 5964282 t fired, .
102 EF FNDP 139/252 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 11846126 t fired, 575612 attempts, .
103 EF STEQ 139/301 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
139 EF FNDP 225/226 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 13769771 t fired, 1159329 attempts, .

Time elapsed: 257 secs. Pages in use: 17
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 139 (type FNDP) for CloudReconfiguration-PT-316-ReachabilityCardinality-13 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF 0 5 0 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 4 0 0 1 1 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 249/512 17/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 3640480 m, 12207 m/sec, 6076814 t fired, .
102 EF FNDP 144/247 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 12299087 t fired, 597722 attempts, .
103 EF STEQ 144/296 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.

Time elapsed: 262 secs. Pages in use: 17
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 108 (type FNDP) for 36 CloudReconfiguration-PT-316-ReachabilityCardinality-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 139 (type FNDP) for CloudReconfiguration-PT-316-ReachabilityCardinality-13
lola: result : unknown
lola: fired transitions : 14038536
lola: tried executions : 1181936
lola: time used : 230.000000
lola: memory pages used : 0
lola: FINISHED task # 108 (type FNDP) for CloudReconfiguration-PT-316-ReachabilityCardinality-12
lola: result : true
lola: fired transitions : 7
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 69 (type FNDP) for 24 CloudReconfiguration-PT-316-ReachabilityCardinality-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 69 (type FNDP) for CloudReconfiguration-PT-316-ReachabilityCardinality-08
lola: result : true
lola: fired transitions : 7
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 81 (type FNDP) for 18 CloudReconfiguration-PT-316-ReachabilityCardinality-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 81 (type FNDP) for CloudReconfiguration-PT-316-ReachabilityCardinality-06
lola: result : true
lola: fired transitions : 8
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 86 (type FNDP) for 42 CloudReconfiguration-PT-316-ReachabilityCardinality-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 86 (type FNDP) for CloudReconfiguration-PT-316-ReachabilityCardinality-14
lola: result : true
lola: fired transitions : 2
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 141 (type EQUN) for 39 CloudReconfiguration-PT-316-ReachabilityCardinality-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-141.sara.
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 3 1 0 2 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 254/1195 17/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 3695654 m, 11034 m/sec, 6181685 t fired, .
102 EF FNDP 149/1597 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 12861852 t fired, 625403 attempts, .
103 EF STEQ 149/1016 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
141 EF STEQ 5/1112 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 sara is running.

Time elapsed: 267 secs. Pages in use: 17
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 3 1 0 2 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 259/1195 17/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 3737460 m, 8361 m/sec, 6263422 t fired, .
102 EF FNDP 154/1592 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 13256296 t fired, 644739 attempts, .
103 EF STEQ 154/1011 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
141 EF STEQ 10/1107 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 sara is running.

Time elapsed: 272 secs. Pages in use: 17
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 3 1 0 2 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 264/1195 17/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 3777130 m, 7934 m/sec, 6341759 t fired, .
102 EF FNDP 159/1587 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 13661261 t fired, 664606 attempts, .
103 EF STEQ 159/1006 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
141 EF STEQ 15/1102 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 sara is running.

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 3 1 0 2 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 269/1195 18/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 3824420 m, 9458 m/sec, 6429796 t fired, .
102 EF FNDP 164/1582 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 14150356 t fired, 688485 attempts, .
103 EF STEQ 164/1001 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
141 EF STEQ 20/1097 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 sara is running.

Time elapsed: 282 secs. Pages in use: 18
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 3 1 0 2 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 274/1195 18/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 3867066 m, 8529 m/sec, 6515199 t fired, .
102 EF FNDP 169/1577 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 14595818 t fired, 710423 attempts, .
103 EF STEQ 169/996 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
141 EF STEQ 25/1092 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 sara is running.

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 3 1 0 2 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 279/1195 18/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 3909014 m, 8389 m/sec, 6599100 t fired, .
102 EF FNDP 174/1572 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 15123948 t fired, 736370 attempts, .
103 EF STEQ 174/991 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
141 EF STEQ 30/1087 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 sara is running.

Time elapsed: 292 secs. Pages in use: 18
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 3 1 0 2 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 284/1195 18/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 3957171 m, 9631 m/sec, 6695666 t fired, .
102 EF FNDP 179/1567 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 15641198 t fired, 761806 attempts, .
103 EF STEQ 179/986 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
141 EF STEQ 35/1082 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 sara is running.

Time elapsed: 297 secs. Pages in use: 18
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 3 1 0 2 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 289/1195 18/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 4005350 m, 9635 m/sec, 6791990 t fired, .
102 EF FNDP 184/1562 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 16155471 t fired, 787070 attempts, .
103 EF STEQ 184/981 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
141 EF STEQ 40/1077 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 sara is running.

Time elapsed: 302 secs. Pages in use: 18
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 3 2 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 1 1 0 3 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG 0 3 1 0 2 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 294/1195 19/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 4071386 m, 13207 m/sec, 6911380 t fired, .
102 EF FNDP 189/1557 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 16614915 t fired, 809764 attempts, .
103 EF STEQ 189/976 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
141 EF STEQ 45/1072 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-13 sara is running.

Time elapsed: 307 secs. Pages in use: 19
# running tasks: 4 of 4 Visible: 16

lola: FINISHED task # 141 (type EQUN) for CloudReconfiguration-PT-316-ReachabilityCardinality-13
lola: result : false
lola: LAUNCH task # 68 (type SRCH) for 12 CloudReconfiguration-PT-316-ReachabilityCardinality-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 68 (type SRCH) for CloudReconfiguration-PT-316-ReachabilityCardinality-04
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 105 (type SRCH) for 3 CloudReconfiguration-PT-316-ReachabilityCardinality-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 2 3 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 1 0 4 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 299/1793 19/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 4143610 m, 14444 m/sec, 7025464 t fired, .
102 EF FNDP 194/3292 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 17081872 t fired, 832870 attempts, .
103 EF STEQ 194/3292 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
105 EF SRCH 4/1646 2/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 294177 m, 58835 m/sec, 671733 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-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 2 3 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 1 0 4 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 304/1793 19/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 4204181 m, 12114 m/sec, 7123637 t fired, .
102 EF FNDP 199/3288 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 17692167 t fired, 862746 attempts, .
103 EF STEQ 199/3288 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
105 EF SRCH 9/1642 3/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 668667 m, 74898 m/sec, 1683770 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-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 2 3 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 1 0 4 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 309/1793 20/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 4272377 m, 13639 m/sec, 7237169 t fired, .
102 EF FNDP 204/3283 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 18196344 t fired, 887618 attempts, .
103 EF STEQ 204/3283 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
105 EF SRCH 14/1637 4/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 936963 m, 53659 m/sec, 2531058 t fired, .

Time elapsed: 322 secs. Pages in use: 24
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 2 3 0 1 0 0 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 1 0 4 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 314/1793 20/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 4342736 m, 14071 m/sec, 7359088 t fired, .
102 EF FNDP 209/3278 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 18618663 t fired, 908468 attempts, .
103 EF STEQ 209/3278 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
105 EF SRCH 19/1632 5/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 1157471 m, 44101 m/sec, 3464338 t fired, .

Time elapsed: 327 secs. Pages in use: 25
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 105 (type SRCH) for CloudReconfiguration-PT-316-ReachabilityCardinality-01 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 2 2 0 1 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 1 0 4 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 319/1793 20/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 4396529 m, 10758 m/sec, 7459819 t fired, .
102 EF FNDP 214/3273 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 18980758 t fired, 926343 attempts, .
103 EF STEQ 214/3273 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.

Time elapsed: 332 secs. Pages in use: 25
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 107 (type SRCH) for 3 CloudReconfiguration-PT-316-ReachabilityCardinality-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 107 (type SRCH) for CloudReconfiguration-PT-316-ReachabilityCardinality-01
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 1 2 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 1 0 4 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 324/1793 21/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 4468593 m, 14412 m/sec, 7580659 t fired, .
102 EF FNDP 219/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 19632571 t fired, 958411 attempts, .
103 EF STEQ 219/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 1 2 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 1 0 4 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 329/1793 21/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 4557648 m, 17811 m/sec, 7717950 t fired, .
102 EF FNDP 224/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 20197271 t fired, 986175 attempts, .
103 EF STEQ 224/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.

Time elapsed: 342 secs. Pages in use: 25
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 1 2 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 1 0 4 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 334/1793 21/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 4635279 m, 15526 m/sec, 7837492 t fired, .
102 EF FNDP 229/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 20757012 t fired, 1013724 attempts, .
103 EF STEQ 229/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.

Time elapsed: 347 secs. Pages in use: 25
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 1 2 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 1 0 4 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 339/1793 22/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 4729951 m, 18934 m/sec, 7983140 t fired, .
102 EF FNDP 234/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 21358687 t fired, 1043172 attempts, .
103 EF STEQ 234/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.

Time elapsed: 352 secs. Pages in use: 25
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 1 2 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 1 0 4 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 344/1793 22/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 4802016 m, 14413 m/sec, 8100358 t fired, .
102 EF FNDP 239/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 21816761 t fired, 1065424 attempts, .
103 EF STEQ 239/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.

Time elapsed: 357 secs. Pages in use: 25
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 1 2 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 1 0 4 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 349/1793 23/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 4872969 m, 14190 m/sec, 8220875 t fired, .
102 EF FNDP 244/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 22245216 t fired, 1086411 attempts, .
103 EF STEQ 244/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.

Time elapsed: 362 secs. Pages in use: 25
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 1 2 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 1 0 4 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 354/1793 23/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 4963229 m, 18052 m/sec, 8364548 t fired, .
102 EF FNDP 249/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 22853368 t fired, 1116280 attempts, .
103 EF STEQ 249/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.

Time elapsed: 367 secs. Pages in use: 25
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 1 2 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 1 0 4 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 359/1793 24/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 5056034 m, 18561 m/sec, 8507379 t fired, .
102 EF FNDP 254/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 23448056 t fired, 1145372 attempts, .
103 EF STEQ 254/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.

Time elapsed: 372 secs. Pages in use: 25
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 1 2 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 1 0 4 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 364/1793 24/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 5163477 m, 21488 m/sec, 8673123 t fired, .
102 EF FNDP 259/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 23964302 t fired, 1170909 attempts, .
103 EF STEQ 259/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.

Time elapsed: 377 secs. Pages in use: 25
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 1 2 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 1 0 4 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 369/1793 25/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 5275597 m, 22424 m/sec, 8847143 t fired, .
102 EF FNDP 264/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 24461921 t fired, 1195127 attempts, .
103 EF STEQ 264/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.

Time elapsed: 382 secs. Pages in use: 25
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 1 2 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 1 0 4 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 374/1793 25/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 5347050 m, 14290 m/sec, 8965198 t fired, .
102 EF FNDP 269/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 25113778 t fired, 1227200 attempts, .
103 EF STEQ 269/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.

Time elapsed: 387 secs. Pages in use: 25
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 1 2 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 1 0 4 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 379/1793 26/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 5426334 m, 15856 m/sec, 9096526 t fired, .
102 EF FNDP 274/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 25821842 t fired, 1262115 attempts, .
103 EF STEQ 274/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.

Time elapsed: 392 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 1 2 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 1 0 4 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 384/1793 26/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 5505284 m, 15790 m/sec, 9220676 t fired, .
102 EF FNDP 279/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 26463256 t fired, 1293471 attempts, .
103 EF STEQ 279/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.

Time elapsed: 397 secs. Pages in use: 26
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 1 2 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 1 0 4 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 389/1793 27/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 5589950 m, 16933 m/sec, 9351794 t fired, .
102 EF FNDP 284/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 26961575 t fired, 1318021 attempts, .
103 EF STEQ 284/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 1 2 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 1 0 4 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 394/1793 27/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 5664564 m, 14922 m/sec, 9467367 t fired, .
102 EF FNDP 289/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 27508652 t fired, 1344986 attempts, .
103 EF STEQ 289/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.

Time elapsed: 407 secs. Pages in use: 27
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 1 2 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 1 0 4 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 399/1793 27/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 5746880 m, 16463 m/sec, 9594960 t fired, .
102 EF FNDP 294/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 28142857 t fired, 1376180 attempts, .
103 EF STEQ 294/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.

Time elapsed: 412 secs. Pages in use: 27
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 1 2 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 1 0 4 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 404/1793 28/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 5827659 m, 16155 m/sec, 9722957 t fired, .
102 EF FNDP 299/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 28741723 t fired, 1405714 attempts, .
103 EF STEQ 299/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.

Time elapsed: 417 secs. Pages in use: 28
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 1 2 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 1 0 4 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 410/1793 28/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 5902533 m, 14974 m/sec, 9844297 t fired, .
102 EF FNDP 305/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 29245881 t fired, 1430498 attempts, .
103 EF STEQ 305/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.

Time elapsed: 423 secs. Pages in use: 28
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 1 2 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 1 0 4 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 415/1793 28/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 5978219 m, 15137 m/sec, 9966749 t fired, .
102 EF FNDP 310/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 29718933 t fired, 1453736 attempts, .
103 EF STEQ 310/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.

Time elapsed: 428 secs. Pages in use: 28
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 1 2 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 1 0 4 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 420/1793 29/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 6039563 m, 12268 m/sec, 10072031 t fired, .
102 EF FNDP 315/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 30410712 t fired, 1487716 attempts, .
103 EF STEQ 315/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.

Time elapsed: 433 secs. Pages in use: 29
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 1 2 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 1 0 4 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 425/1793 29/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 6103636 m, 12814 m/sec, 10187896 t fired, .
102 EF FNDP 320/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 30987968 t fired, 1516259 attempts, .
103 EF STEQ 320/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.

Time elapsed: 438 secs. Pages in use: 29
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 1 2 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 1 0 4 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 430/1793 29/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 6175172 m, 14307 m/sec, 10305473 t fired, .
102 EF FNDP 325/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 31621681 t fired, 1547460 attempts, .
103 EF STEQ 325/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.

Time elapsed: 443 secs. Pages in use: 29
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 1 2 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 1 0 4 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 435/1793 30/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 6259612 m, 16888 m/sec, 10444944 t fired, .
102 EF FNDP 330/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 32129336 t fired, 1572510 attempts, .
103 EF STEQ 330/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.

Time elapsed: 448 secs. Pages in use: 30
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 1 2 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 1 0 4 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 440/1793 30/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 6328927 m, 13863 m/sec, 10552115 t fired, .
102 EF FNDP 335/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 32752218 t fired, 1603266 attempts, .
103 EF STEQ 335/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.

Time elapsed: 453 secs. Pages in use: 30
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 1 2 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 1 0 4 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 445/1793 30/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 6406009 m, 15416 m/sec, 10671481 t fired, .
102 EF FNDP 340/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 33269871 t fired, 1628666 attempts, .
103 EF STEQ 340/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.

Time elapsed: 458 secs. Pages in use: 30
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 1 2 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 1 0 4 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 450/1793 31/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 6487563 m, 16310 m/sec, 10798133 t fired, .
102 EF FNDP 345/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 33806861 t fired, 1655145 attempts, .
103 EF STEQ 345/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.

Time elapsed: 463 secs. Pages in use: 31
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 1 2 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 1 0 4 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 455/1793 31/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 6567500 m, 15987 m/sec, 10923199 t fired, .
102 EF FNDP 350/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 34308550 t fired, 1679965 attempts, .
103 EF STEQ 350/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.

Time elapsed: 468 secs. Pages in use: 31
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 1 2 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 1 0 4 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 460/1793 31/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 6643890 m, 15278 m/sec, 11046111 t fired, .
102 EF FNDP 355/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 34837987 t fired, 1706028 attempts, .
103 EF STEQ 355/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.

Time elapsed: 473 secs. Pages in use: 31
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 1 2 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 1 0 4 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 465/1793 32/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 6718488 m, 14919 m/sec, 11167009 t fired, .
102 EF FNDP 360/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 35397071 t fired, 1733710 attempts, .
103 EF STEQ 360/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.

Time elapsed: 478 secs. Pages in use: 32
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 1 2 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 1 0 4 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 470/1793 32/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 6800801 m, 16462 m/sec, 11301616 t fired, .
102 EF FNDP 365/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 36020560 t fired, 1764472 attempts, .
103 EF STEQ 365/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.

Time elapsed: 483 secs. Pages in use: 32
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 1 2 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 1 0 4 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
67 EF EXCL 475/1793 32/32 CloudReconfiguration-PT-316-ReachabilityCardinality-04 6882888 m, 16417 m/sec, 11448627 t fired, .
102 EF FNDP 370/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 36592672 t fired, 1792475 attempts, .
103 EF STEQ 370/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.

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

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 1 2 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 0 0 4 0 2 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
102 EF FNDP 375/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 37082567 t fired, 1816560 attempts, .
103 EF STEQ 375/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.

Time elapsed: 493 secs. Pages in use: 32
# running tasks: 3 of 4 Visible: 16
lola: LAUNCH task # 106 (type EXCL) for 3 CloudReconfiguration-PT-316-ReachabilityCardinality-01
lola: time limit : 3107 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 0 3 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 0 0 4 0 2 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
102 EF FNDP 380/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 37659809 t fired, 1844756 attempts, .
103 EF STEQ 380/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
106 EF EXCL 5/3107 1/32 CloudReconfiguration-PT-316-ReachabilityCardinality-01 133553 m, 26710 m/sec, 228668 t fired, .

Time elapsed: 498 secs. Pages in use: 32
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 0 3 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 0 0 4 0 2 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
102 EF FNDP 385/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 38186995 t fired, 1870802 attempts, .
103 EF STEQ 385/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
106 EF EXCL 10/3107 1/32 CloudReconfiguration-PT-316-ReachabilityCardinality-01 232067 m, 19702 m/sec, 416474 t fired, .

Time elapsed: 503 secs. Pages in use: 32
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 0 3 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 0 0 4 0 2 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
102 EF FNDP 390/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 38733877 t fired, 1897756 attempts, .
103 EF STEQ 390/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
106 EF EXCL 15/3107 2/32 CloudReconfiguration-PT-316-ReachabilityCardinality-01 348996 m, 23385 m/sec, 644653 t fired, .

Time elapsed: 508 secs. Pages in use: 32
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 0 3 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 0 0 4 0 2 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
102 EF FNDP 395/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 39347695 t fired, 1927961 attempts, .
103 EF STEQ 395/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
106 EF EXCL 20/3107 2/32 CloudReconfiguration-PT-316-ReachabilityCardinality-01 477982 m, 25797 m/sec, 872412 t fired, .

Time elapsed: 513 secs. Pages in use: 32
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 0 3 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 0 0 4 0 2 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
102 EF FNDP 400/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 39787255 t fired, 1949559 attempts, .
103 EF STEQ 400/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
106 EF EXCL 25/3107 3/32 CloudReconfiguration-PT-316-ReachabilityCardinality-01 563590 m, 17121 m/sec, 1042606 t fired, .

Time elapsed: 518 secs. Pages in use: 32
# running tasks: 3 of 4 Visible: 16
sara: warning, failure of lp_solve (at job 7174)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 0 3 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 0 0 4 0 2 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
102 EF FNDP 405/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 40303835 t fired, 1975160 attempts, .
103 EF STEQ 405/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
106 EF EXCL 30/3107 3/32 CloudReconfiguration-PT-316-ReachabilityCardinality-01 686718 m, 24625 m/sec, 1276565 t fired, .

Time elapsed: 523 secs. Pages in use: 32
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 0 3 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 0 0 4 0 2 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
102 EF FNDP 410/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 40867979 t fired, 2002730 attempts, .
103 EF STEQ 410/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
106 EF EXCL 35/3107 4/32 CloudReconfiguration-PT-316-ReachabilityCardinality-01 822940 m, 27244 m/sec, 1524253 t fired, .

Time elapsed: 528 secs. Pages in use: 32
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 0 3 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 0 0 4 0 2 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
102 EF FNDP 415/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 41347612 t fired, 2026424 attempts, .
103 EF STEQ 415/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
106 EF EXCL 40/3107 5/32 CloudReconfiguration-PT-316-ReachabilityCardinality-01 936672 m, 22746 m/sec, 1737304 t fired, .

Time elapsed: 533 secs. Pages in use: 32
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudReconfiguration-PT-316-ReachabilityCardinality-00: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-02: AG false tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-03: EF true tandem / insertion
CloudReconfiguration-PT-316-ReachabilityCardinality-05: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-06: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-07: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-08: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-09: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-10: AG false state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-11: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-12: EF true findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-13: AG true state equation
CloudReconfiguration-PT-316-ReachabilityCardinality-14: AG false findpath
CloudReconfiguration-PT-316-ReachabilityCardinality-15: EF true findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudReconfiguration-PT-316-ReachabilityCardinality-01: AG 0 0 3 0 2 0 1 0
CloudReconfiguration-PT-316-ReachabilityCardinality-04: AG 0 0 0 0 4 0 2 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
102 EF FNDP 420/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 41894074 t fired, 2053271 attempts, .
103 EF STEQ 420/3482 0/5 CloudReconfiguration-PT-316-ReachabilityCardinality-01 sara is running.
106 EF EXCL 45/3107 5/32 CloudReconfiguration-PT-316-ReachabilityCardinality-01 1029026 m, 18470 m/sec, 1907358 t fired, .

Time elapsed: 538 secs. Pages in use: 32
# running tasks: 3 of 4 Visible: 16
lola: FINISHED task # 106 (type EXCL) for CloudReconfiguration-PT-316-ReachabilityCardinality-01
lola: result : false
lola: markings : 1154787
lola: fired transitions : 2141966
lola: time used : 49.000000
lola: memory pages used : 5
lola: CANCELED task # 102 (type FNDP) for CloudReconfiguration-PT-316-ReachabilityCardinality-01 (obsolete)
lola: CANCELED task # 103 (type EQUN) for CloudReconfiguration-PT-316-ReachabilityCardinality-01 (obsolete)
lola: Portfolio finished: no open tasks 16

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


Time elapsed: 542 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-316"
export BK_EXAMINATION="ReachabilityCardinality"
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-316, examination is ReachabilityCardinality"
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-167814476500126"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-316.tgz
mv CloudReconfiguration-PT-316 execution
cd execution
if [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "UpperBounds" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] || [ "ReachabilityCardinality" = "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 [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "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 "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.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 '' ReachabilityCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityCardinality"
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 ;