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 '
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 ;