About the Execution of LoLA for CANInsertWithFailure-PT-070
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16224.556 | 689713.00 | 10641812.00 | 36467.90 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2023-input.r038-tajo-167813691900758.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lola
Input is CANInsertWithFailure-PT-070, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r038-tajo-167813691900758
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 30M
-rw-r--r-- 1 mcc users 7.2K Feb 26 00:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 57K Feb 26 00:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.7K Feb 26 00:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 26 00:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.0K Feb 25 15:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 15:41 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 25 15:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:41 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 00:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 106K Feb 26 00:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Feb 26 00:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 00:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 15:41 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 15:41 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 30M 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 CANInsertWithFailure-PT-070-ReachabilityCardinality-00
FORMULA_NAME CANInsertWithFailure-PT-070-ReachabilityCardinality-01
FORMULA_NAME CANInsertWithFailure-PT-070-ReachabilityCardinality-02
FORMULA_NAME CANInsertWithFailure-PT-070-ReachabilityCardinality-03
FORMULA_NAME CANInsertWithFailure-PT-070-ReachabilityCardinality-04
FORMULA_NAME CANInsertWithFailure-PT-070-ReachabilityCardinality-05
FORMULA_NAME CANInsertWithFailure-PT-070-ReachabilityCardinality-06
FORMULA_NAME CANInsertWithFailure-PT-070-ReachabilityCardinality-07
FORMULA_NAME CANInsertWithFailure-PT-070-ReachabilityCardinality-08
FORMULA_NAME CANInsertWithFailure-PT-070-ReachabilityCardinality-09
FORMULA_NAME CANInsertWithFailure-PT-070-ReachabilityCardinality-10
FORMULA_NAME CANInsertWithFailure-PT-070-ReachabilityCardinality-11
FORMULA_NAME CANInsertWithFailure-PT-070-ReachabilityCardinality-12
FORMULA_NAME CANInsertWithFailure-PT-070-ReachabilityCardinality-13
FORMULA_NAME CANInsertWithFailure-PT-070-ReachabilityCardinality-14
FORMULA_NAME CANInsertWithFailure-PT-070-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1678451352894
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=CANInsertWithFailure-PT-070
Not applying reductions.
Model is PT
ReachabilityCardinality PT
starting LoLA
BK_INPUT CANInsertWithFailure-PT-070
BK_EXAMINATION: ReachabilityCardinality
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
ReachabilityCardinality
BK_STOP 1678452042607
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 152408 kB
After kill :
MemTotal: 16393340 kB
MemFree: 163616 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
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: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 50 (type SKEL/FNDP) for 0 CANInsertWithFailure-PT-070-ReachabilityCardinality-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 51 (type SKEL/EQUN) for 0 CANInsertWithFailure-PT-070-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: LAUNCH task # 53 (type SKEL/SRCH) for 0 CANInsertWithFailure-PT-070-ReachabilityCardinality-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 54 (type SKEL/SRCH) for 0 CANInsertWithFailure-PT-070-ReachabilityCardinality-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 54 (type SKEL/SRCH) for CANInsertWithFailure-PT-070-ReachabilityCardinality-00
lola: result : true
lola: markings : 355
lola: fired transitions : 354
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 50 (type FNDP) for CANInsertWithFailure-PT-070-ReachabilityCardinality-00 (obsolete)
lola: CANCELED task # 51 (type EQUN) for CANInsertWithFailure-PT-070-ReachabilityCardinality-00 (obsolete)
lola: CANCELED task # 53 (type SRCH) for CANInsertWithFailure-PT-070-ReachabilityCardinality-00 (obsolete)
lola: FINISHED task # 50 (type SKEL/FNDP) for CANInsertWithFailure-PT-070-ReachabilityCardinality-00
lola: result : true
lola: fired transitions : 10
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-51.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 51 (type SKEL/EQUN) for CANInsertWithFailure-PT-070-ReachabilityCardinality-00
lola: result : true
lola: Created skeleton in 2.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 57 (type SKEL/FNDP) for 12 CANInsertWithFailure-PT-070-ReachabilityCardinality-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 58 (type SKEL/EQUN) for 12 CANInsertWithFailure-PT-070-ReachabilityCardinality-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 60 (type SKEL/SRCH) for 12 CANInsertWithFailure-PT-070-ReachabilityCardinality-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 61 (type SKEL/SRCH) for 12 CANInsertWithFailure-PT-070-ReachabilityCardinality-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-58.sara.
lola: FINISHED task # 57 (type SKEL/FNDP) for CANInsertWithFailure-PT-070-ReachabilityCardinality-04
lola: result : true
lola: fired transitions : 17715
lola: tried executions : 192
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 58 (type EQUN) for CANInsertWithFailure-PT-070-ReachabilityCardinality-04 (obsolete)
lola: CANCELED task # 60 (type SRCH) for CANInsertWithFailure-PT-070-ReachabilityCardinality-04 (obsolete)
lola: CANCELED task # 61 (type SRCH) for CANInsertWithFailure-PT-070-ReachabilityCardinality-04 (obsolete)
lola: FINISHED task # 58 (type SKEL/EQUN) for CANInsertWithFailure-PT-070-ReachabilityCardinality-04
lola: result : unknown
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 64 (type SKEL/FNDP) for 15 CANInsertWithFailure-PT-070-ReachabilityCardinality-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 65 (type SKEL/EQUN) for 15 CANInsertWithFailure-PT-070-ReachabilityCardinality-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 67 (type SKEL/SRCH) for 15 CANInsertWithFailure-PT-070-ReachabilityCardinality-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 68 (type SKEL/SRCH) for 15 CANInsertWithFailure-PT-070-ReachabilityCardinality-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: Rule S: 0 transitions removed,0 places removed
lola: FINISHED task # 67 (type SKEL/SRCH) for CANInsertWithFailure-PT-070-ReachabilityCardinality-05
lola: result : true
lola: markings : 11
lola: fired transitions : 10
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 64 (type FNDP) for CANInsertWithFailure-PT-070-ReachabilityCardinality-05 (obsolete)
lola: CANCELED task # 65 (type EQUN) for CANInsertWithFailure-PT-070-ReachabilityCardinality-05 (obsolete)
lola: CANCELED task # 68 (type SRCH) for CANInsertWithFailure-PT-070-ReachabilityCardinality-05 (obsolete)
lola: FINISHED task # 64 (type SKEL/FNDP) for CANInsertWithFailure-PT-070-ReachabilityCardinality-05
lola: result : true
lola: fired transitions : 9
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-65.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 65 (type SKEL/EQUN) for CANInsertWithFailure-PT-070-ReachabilityCardinality-05
lola: result : true
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 224 secs. Pages in use: 2
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 229 secs. Pages in use: 2
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 71 (type SKEL/FNDP) for 6 CANInsertWithFailure-PT-070-ReachabilityCardinality-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 72 (type SKEL/EQUN) for 6 CANInsertWithFailure-PT-070-ReachabilityCardinality-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 74 (type SKEL/SRCH) for 6 CANInsertWithFailure-PT-070-ReachabilityCardinality-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 75 (type SKEL/SRCH) for 6 CANInsertWithFailure-PT-070-ReachabilityCardinality-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 71 (type SKEL/FNDP) for CANInsertWithFailure-PT-070-ReachabilityCardinality-02
lola: result : true
lola: fired transitions : 45
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 72 (type EQUN) for CANInsertWithFailure-PT-070-ReachabilityCardinality-02 (obsolete)
lola: CANCELED task # 74 (type SRCH) for CANInsertWithFailure-PT-070-ReachabilityCardinality-02 (obsolete)
lola: CANCELED task # 75 (type SRCH) for CANInsertWithFailure-PT-070-ReachabilityCardinality-02 (obsolete)
lola: FINISHED task # 72 (type SKEL/EQUN) for CANInsertWithFailure-PT-070-ReachabilityCardinality-02
lola: result : unknown
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k: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 # 79 (type SKEL/FNDP) for 36 CANInsertWithFailure-PT-070-ReachabilityCardinality-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 80 (type SKEL/EQUN) for 36 CANInsertWithFailure-PT-070-ReachabilityCardinality-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 82 (type SKEL/SRCH) for 36 CANInsertWithFailure-PT-070-ReachabilityCardinality-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 83 (type SKEL/SRCH) for 36 CANInsertWithFailure-PT-070-ReachabilityCardinality-12
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 # 79 (type SKEL/FNDP) for CANInsertWithFailure-PT-070-ReachabilityCardinality-12
lola: result : true
lola: fired transitions : 10
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 80 (type EQUN) for CANInsertWithFailure-PT-070-ReachabilityCardinality-12 (obsolete)
lola: CANCELED task # 82 (type SRCH) for CANInsertWithFailure-PT-070-ReachabilityCardinality-12 (obsolete)
lola: CANCELED task # 83 (type SRCH) for CANInsertWithFailure-PT-070-ReachabilityCardinality-12 (obsolete)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 234 secs. Pages in use: 2
# running tasks: 0 of 4 Visible: 16
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-80.sara.
lola: Created skeleton in 2.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 87 (type SKEL/FNDP) for 33 CANInsertWithFailure-PT-070-ReachabilityCardinality-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 88 (type SKEL/EQUN) for 33 CANInsertWithFailure-PT-070-ReachabilityCardinality-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 90 (type SKEL/SRCH) for 33 CANInsertWithFailure-PT-070-ReachabilityCardinality-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 91 (type SKEL/SRCH) for 33 CANInsertWithFailure-PT-070-ReachabilityCardinality-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-88.sara.
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 3/1121 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 429676 t fired, 8511 attempts, .
88 EF STEQ 3/1121 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 3/1682 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 28387 m, 5677 m/sec, 69269 t fired, .
91 EF SRCH 3/1682 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 24825 m, 4965 m/sec, 39289 t fired, .
Time elapsed: 239 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 8/1118 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 1160770 t fired, 20950 attempts, .
88 EF STEQ 8/1118 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 8/1679 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 146832 m, 23689 m/sec, 396227 t fired, .
91 EF SRCH 8/1679 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 32467 m, 1528 m/sec, 51367 t fired, .
Time elapsed: 244 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
lola: Created skeleton in 9.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 13/1112 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 1829888 t fired, 31564 attempts, .
88 EF STEQ 13/1112 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 13/1673 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 367653 m, 44164 m/sec, 1165936 t fired, .
91 EF SRCH 13/1673 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 167067 m, 26920 m/sec, 271390 t fired, .
Time elapsed: 249 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 18/1108 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 2465405 t fired, 41362 attempts, .
88 EF STEQ 18/1108 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 18/1669 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 584281 m, 43325 m/sec, 1822916 t fired, .
91 EF SRCH 18/1669 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 444196 m, 55425 m/sec, 722608 t fired, .
Time elapsed: 254 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
lola: Created skeleton in 14.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
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 23/818 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 3149943 t fired, 51648 attempts, .
88 EF STEQ 23/818 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 23/818 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 805045 m, 44152 m/sec, 2464718 t fired, .
91 EF SRCH 23/1098 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 649386 m, 41038 m/sec, 1058229 t fired, .
Time elapsed: 259 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 28/394 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 3961193 t fired, 63489 attempts, .
88 EF STEQ 28/394 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 28/454 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 931357 m, 25262 m/sec, 2837462 t fired, .
91 EF SRCH 28/454 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 887860 m, 47694 m/sec, 1444176 t fired, .
Time elapsed: 264 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 33/392 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 4544023 t fired, 71851 attempts, .
88 EF STEQ 33/392 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 33/452 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 1046778 m, 23084 m/sec, 3283622 t fired, .
91 EF SRCH 33/452 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 1081610 m, 38750 m/sec, 1762337 t fired, .
Time elapsed: 269 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 38/387 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 5290862 t fired, 82431 attempts, .
88 EF STEQ 38/387 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 38/447 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 1241297 m, 38903 m/sec, 4049916 t fired, .
91 EF SRCH 38/447 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 1265800 m, 36838 m/sec, 2090553 t fired, .
Time elapsed: 274 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 43/382 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 5836694 t fired, 89967 attempts, .
88 EF STEQ 43/382 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 43/442 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 1407652 m, 33271 m/sec, 4574468 t fired, .
91 EF SRCH 43/442 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 1483146 m, 43469 m/sec, 2477264 t fired, .
Time elapsed: 279 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 48/377 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 6665117 t fired, 101388 attempts, .
88 EF STEQ 48/377 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 48/437 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 1607366 m, 39942 m/sec, 5223275 t fired, .
91 EF SRCH 48/437 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 1746565 m, 52683 m/sec, 2944226 t fired, .
Time elapsed: 284 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 53/372 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 7563160 t fired, 113626 attempts, .
88 EF STEQ 53/372 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 53/432 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 1819920 m, 42510 m/sec, 6047107 t fired, .
91 EF SRCH 53/432 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 2013494 m, 53385 m/sec, 3417190 t fired, .
Time elapsed: 289 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 58/367 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 8522304 t fired, 126501 attempts, .
88 EF STEQ 58/367 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 58/427 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 2112454 m, 58506 m/sec, 6846414 t fired, .
91 EF SRCH 58/427 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 2177902 m, 32881 m/sec, 3703974 t fired, .
Time elapsed: 294 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
sara: warning, failure of lp_solve (at job 4987)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 63/362 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 9470875 t fired, 138955 attempts, .
88 EF STEQ 63/362 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 63/422 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 2307996 m, 39108 m/sec, 7533731 t fired, .
91 EF SRCH 63/422 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 2362863 m, 36992 m/sec, 4035300 t fired, .
Time elapsed: 299 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 68/357 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 10466400 t fired, 152131 attempts, .
88 EF STEQ 68/357 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 68/417 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 2566573 m, 51715 m/sec, 8219440 t fired, .
91 EF SRCH 68/417 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 2581064 m, 43640 m/sec, 4423052 t fired, .
Time elapsed: 304 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 73/352 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 11063709 t fired, 159906 attempts, .
88 EF STEQ 73/352 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 73/412 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 2819907 m, 50666 m/sec, 8987681 t fired, .
91 EF SRCH 73/412 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 2807677 m, 45322 m/sec, 4823640 t fired, .
Time elapsed: 309 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 78/347 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 11563709 t fired, 166301 attempts, .
88 EF STEQ 78/347 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 78/407 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 2987426 m, 33503 m/sec, 9478406 t fired, .
91 EF SRCH 78/407 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 3016865 m, 41837 m/sec, 5179676 t fired, .
Time elapsed: 314 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 83/342 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 12452642 t fired, 177740 attempts, .
88 EF STEQ 83/342 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 83/402 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 3182666 m, 39048 m/sec, 10061008 t fired, .
91 EF SRCH 83/402 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 3179759 m, 32578 m/sec, 5473416 t fired, .
Time elapsed: 319 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 88/337 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 13324965 t fired, 188695 attempts, .
88 EF STEQ 88/337 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 88/397 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 3361296 m, 35726 m/sec, 10603244 t fired, .
91 EF SRCH 88/397 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 3415612 m, 47170 m/sec, 5894730 t fired, .
Time elapsed: 324 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 93/332 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 14108504 t fired, 198557 attempts, .
88 EF STEQ 93/332 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 93/392 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 3589795 m, 45699 m/sec, 11419921 t fired, .
91 EF SRCH 93/392 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 3644602 m, 45798 m/sec, 6302673 t fired, .
Time elapsed: 329 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 98/327 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 15169752 t fired, 211723 attempts, .
88 EF STEQ 98/327 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 98/387 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 3705795 m, 23200 m/sec, 11910887 t fired, .
91 EF SRCH 98/387 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 3876060 m, 46291 m/sec, 6712493 t fired, .
Time elapsed: 334 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 103/322 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 16024217 t fired, 222277 attempts, .
88 EF STEQ 103/322 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 103/382 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 3904384 m, 39717 m/sec, 12636840 t fired, .
91 EF SRCH 103/382 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 4131799 m, 51147 m/sec, 7160859 t fired, .
Time elapsed: 339 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 108/317 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 16715775 t fired, 230734 attempts, .
88 EF STEQ 108/317 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 108/377 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 4076027 m, 34328 m/sec, 13221677 t fired, .
91 EF SRCH 108/377 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 4367885 m, 47217 m/sec, 7578320 t fired, .
Time elapsed: 344 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 113/312 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 17287660 t fired, 237675 attempts, .
88 EF STEQ 113/312 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 113/372 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 4234543 m, 31703 m/sec, 13659534 t fired, .
91 EF SRCH 113/372 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 4512238 m, 28870 m/sec, 7812611 t fired, .
Time elapsed: 349 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 118/307 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 18273699 t fired, 249595 attempts, .
88 EF STEQ 118/307 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 118/367 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 4459532 m, 44997 m/sec, 14416391 t fired, .
91 EF SRCH 118/367 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 4755775 m, 48707 m/sec, 8251065 t fired, .
Time elapsed: 354 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 123/302 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 19307009 t fired, 261876 attempts, .
88 EF STEQ 123/302 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 123/362 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 4647975 m, 37688 m/sec, 14969569 t fired, .
91 EF SRCH 123/362 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 4985427 m, 45930 m/sec, 8661086 t fired, .
Time elapsed: 359 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 128/297 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 20168292 t fired, 271950 attempts, .
88 EF STEQ 128/297 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 128/357 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 4847446 m, 39894 m/sec, 15597140 t fired, .
91 EF SRCH 128/357 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 5115280 m, 25970 m/sec, 8892913 t fired, .
Time elapsed: 364 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 133/292 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 20765998 t fired, 278981 attempts, .
88 EF STEQ 133/292 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 133/352 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 5007370 m, 31984 m/sec, 16140769 t fired, .
91 EF SRCH 133/352 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 5251463 m, 27236 m/sec, 9135230 t fired, .
Time elapsed: 369 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 138/287 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 21469100 t fired, 287067 attempts, .
88 EF STEQ 138/287 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 138/347 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 5242887 m, 47103 m/sec, 16920644 t fired, .
91 EF SRCH 138/347 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 5465967 m, 42900 m/sec, 9515852 t fired, .
Time elapsed: 374 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 143/282 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 22486930 t fired, 298547 attempts, .
88 EF STEQ 143/282 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 143/342 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 5365590 m, 24540 m/sec, 17443576 t fired, .
91 EF SRCH 143/342 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 5664814 m, 39769 m/sec, 9867546 t fired, .
Time elapsed: 379 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 148/277 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 23036978 t fired, 304776 attempts, .
88 EF STEQ 148/277 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 148/337 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 5539901 m, 34862 m/sec, 18146176 t fired, .
91 EF SRCH 148/337 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 5927339 m, 52505 m/sec, 10331914 t fired, .
Time elapsed: 384 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 153/272 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 23880626 t fired, 314199 attempts, .
88 EF STEQ 153/272 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 153/332 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 5658281 m, 23676 m/sec, 18605975 t fired, .
91 EF SRCH 153/332 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 6157154 m, 45963 m/sec, 10734616 t fired, .
Time elapsed: 389 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 158/267 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 24931964 t fired, 325803 attempts, .
88 EF STEQ 158/267 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 158/327 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 5767233 m, 21790 m/sec, 18982193 t fired, .
91 EF SRCH 158/327 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 6322181 m, 33005 m/sec, 11024055 t fired, .
Time elapsed: 394 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 163/262 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 25978625 t fired, 337299 attempts, .
88 EF STEQ 163/262 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 163/322 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 5991145 m, 44782 m/sec, 19678946 t fired, .
91 EF SRCH 163/322 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 6549310 m, 45425 m/sec, 11421896 t fired, .
Time elapsed: 399 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 168/257 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 26481110 t fired, 342802 attempts, .
88 EF STEQ 168/257 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 168/317 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 6170324 m, 35835 m/sec, 20348233 t fired, .
91 EF SRCH 168/317 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 6819225 m, 53983 m/sec, 11866605 t fired, .
Time elapsed: 404 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 173/252 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 27016325 t fired, 348529 attempts, .
88 EF STEQ 173/252 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 173/312 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 6381875 m, 42310 m/sec, 20990534 t fired, .
91 EF SRCH 173/312 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 7089456 m, 54046 m/sec, 12354230 t fired, .
Time elapsed: 409 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 179/247 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 27588295 t fired, 354622 attempts, .
88 EF STEQ 179/247 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 179/307 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 6656771 m, 54979 m/sec, 21657885 t fired, .
91 EF SRCH 179/307 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 7285996 m, 39308 m/sec, 12706527 t fired, .
Time elapsed: 415 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 184/241 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 28530916 t fired, 364442 attempts, .
88 EF STEQ 184/241 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 184/301 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 6841199 m, 36885 m/sec, 22264387 t fired, .
91 EF SRCH 184/301 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 7528756 m, 48552 m/sec, 13139457 t fired, .
Time elapsed: 420 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 189/236 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 29452029 t fired, 374097 attempts, .
88 EF STEQ 189/236 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 189/296 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 7100959 m, 51952 m/sec, 23131951 t fired, .
91 EF SRCH 189/296 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 7674730 m, 29194 m/sec, 13399461 t fired, .
Time elapsed: 425 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 194/231 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 30376365 t fired, 383674 attempts, .
88 EF STEQ 194/231 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 194/291 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 7330901 m, 45988 m/sec, 23875770 t fired, .
91 EF SRCH 194/291 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 7866739 m, 38401 m/sec, 13740400 t fired, .
Time elapsed: 430 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 199/226 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 31217149 t fired, 392240 attempts, .
88 EF STEQ 199/226 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 199/286 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 7471115 m, 28042 m/sec, 24393636 t fired, .
91 EF SRCH 199/286 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 8073411 m, 41334 m/sec, 14107184 t fired, .
Time elapsed: 435 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 204/221 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 31995356 t fired, 400154 attempts, .
88 EF STEQ 204/221 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 204/281 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 7684337 m, 42644 m/sec, 24970994 t fired, .
91 EF SRCH 204/281 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 8294421 m, 44202 m/sec, 14498499 t fired, .
Time elapsed: 440 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 209/216 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 32934216 t fired, 409465 attempts, .
88 EF STEQ 209/216 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 sara is running.
90 EF SRCH 209/276 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 7911009 m, 45334 m/sec, 25581236 t fired, .
91 EF SRCH 209/276 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 8556580 m, 52431 m/sec, 14962951 t fired, .
Time elapsed: 445 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 87 (type FNDP) for CANInsertWithFailure-PT-070-ReachabilityCardinality-11 (local timeout)
lola: CANCELED task # 88 (type EQUN) for CANInsertWithFailure-PT-070-ReachabilityCardinality-11 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 2 0 0 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
90 EF SRCH 214/271 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 8117849 m, 41368 m/sec, 26265624 t fired, .
91 EF SRCH 214/271 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 8732391 m, 35162 m/sec, 15272675 t fired, .
Time elapsed: 450 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 110 (type SKEL/FNDP) for 45 CANInsertWithFailure-PT-070-ReachabilityCardinality-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 111 (type SKEL/EQUN) for 45 CANInsertWithFailure-PT-070-ReachabilityCardinality-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 87 (type SKEL/FNDP) for CANInsertWithFailure-PT-070-ReachabilityCardinality-11
lola: result : unknown
lola: fired transitions : 33777086
lola: tried executions : 417795
lola: time used : 214.000000
lola: memory pages used : 0
lola: FINISHED task # 88 (type SKEL/EQUN) for CANInsertWithFailure-PT-070-ReachabilityCardinality-11
lola: result : unknown
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-111.sara.
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 2 0 2 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
90 EF SRCH 219/266 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 8126744 m, 1779 m/sec, 26279303 t fired, .
91 EF SRCH 219/266 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 8748400 m, 3201 m/sec, 15301047 t fired, .
110 EF FNDP 5/450 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 366682 t fired, 5855 attempts, .
111 EF STEQ 5/450 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 455 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 2 0 2 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
90 EF SRCH 224/261 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 8141960 m, 3043 m/sec, 26323270 t fired, .
91 EF SRCH 224/261 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 8756187 m, 1557 m/sec, 15315007 t fired, .
110 EF FNDP 10/445 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 669753 t fired, 10283 attempts, .
111 EF STEQ 10/445 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 460 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 2 0 2 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
90 EF SRCH 229/256 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 8180303 m, 7668 m/sec, 26405295 t fired, .
91 EF SRCH 229/256 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 8769689 m, 2700 m/sec, 15339287 t fired, .
110 EF FNDP 15/440 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 950097 t fired, 14058 attempts, .
111 EF STEQ 15/440 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 465 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 2 0 2 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
90 EF SRCH 234/251 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 8212635 m, 6466 m/sec, 26521126 t fired, .
91 EF SRCH 234/251 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 8785521 m, 3166 m/sec, 15365790 t fired, .
110 EF FNDP 20/435 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 1173360 t fired, 16859 attempts, .
111 EF STEQ 20/435 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 470 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 2 0 2 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
90 EF SRCH 239/246 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 8233931 m, 4259 m/sec, 26597758 t fired, .
91 EF SRCH 239/246 1/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-11 8816616 m, 6219 m/sec, 15419378 t fired, .
110 EF FNDP 25/430 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 1489327 t fired, 20492 attempts, .
111 EF STEQ 25/430 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 475 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 90 (type SRCH) for CANInsertWithFailure-PT-070-ReachabilityCardinality-11 (local timeout)
lola: CANCELED task # 91 (type SRCH) for CANInsertWithFailure-PT-070-ReachabilityCardinality-11 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
110 EF FNDP 30/425 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 2038007 t fired, 26155 attempts, .
111 EF STEQ 30/425 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 480 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 103 (type SKEL/FNDP) for 30 CANInsertWithFailure-PT-070-ReachabilityCardinality-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 104 (type SKEL/EQUN) for 30 CANInsertWithFailure-PT-070-ReachabilityCardinality-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-104.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 104 (type SKEL/EQUN) for CANInsertWithFailure-PT-070-ReachabilityCardinality-10
lola: result : true
lola: CANCELED task # 103 (type FNDP) for CANInsertWithFailure-PT-070-ReachabilityCardinality-10 (obsolete)
lola: LAUNCH task # 125 (type SKEL/FNDP) for 21 CANInsertWithFailure-PT-070-ReachabilityCardinality-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 126 (type SKEL/EQUN) for 21 CANInsertWithFailure-PT-070-ReachabilityCardinality-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-126.sara.
lola: FINISHED task # 125 (type SKEL/FNDP) for CANInsertWithFailure-PT-070-ReachabilityCardinality-07
lola: result : true
lola: fired transitions : 113
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 126 (type EQUN) for CANInsertWithFailure-PT-070-ReachabilityCardinality-07 (obsolete)
lola: LAUNCH task # 95 (type SKEL/FNDP) for 18 CANInsertWithFailure-PT-070-ReachabilityCardinality-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 96 (type SKEL/EQUN) for 18 CANInsertWithFailure-PT-070-ReachabilityCardinality-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 126 (type SKEL/EQUN) for CANInsertWithFailure-PT-070-ReachabilityCardinality-07
lola: result : unknown
lola: FINISHED task # 103 (type SKEL/FNDP) for CANInsertWithFailure-PT-070-ReachabilityCardinality-10
lola: result : true
lola: fired transitions : 10
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-96.sara.
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 5/780 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 608868 t fired, 13275 attempts, .
96 EF STEQ 5/780 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 35/757 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 2611033 t fired, 31363 attempts, .
111 EF STEQ 35/757 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 485 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 10/775 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 1573193 t fired, 30809 attempts, .
96 EF STEQ 10/775 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 40/752 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 3191419 t fired, 36077 attempts, .
111 EF STEQ 40/752 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 490 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 15/770 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 2561074 t fired, 47430 attempts, .
96 EF STEQ 15/770 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 45/747 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 3878326 t fired, 41222 attempts, .
111 EF STEQ 45/747 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 495 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 20/765 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 3459748 t fired, 61786 attempts, .
96 EF STEQ 20/765 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 50/742 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 4703937 t fired, 46831 attempts, .
111 EF STEQ 50/742 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 500 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 25/760 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 4457983 t fired, 77273 attempts, .
96 EF STEQ 25/760 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 55/737 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 5425441 t fired, 51375 attempts, .
111 EF STEQ 55/737 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 505 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 30/755 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 5364931 t fired, 90970 attempts, .
96 EF STEQ 30/755 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 60/732 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 6120770 t fired, 55590 attempts, .
111 EF STEQ 60/732 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 510 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
sara: warning, failure of lp_solve (at job 5395)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 35/750 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 6455364 t fired, 107080 attempts, .
96 EF STEQ 35/750 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 65/727 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 6845714 t fired, 59728 attempts, .
111 EF STEQ 65/727 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 515 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 40/745 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 7415131 t fired, 120972 attempts, .
96 EF STEQ 40/745 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 70/722 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 7826389 t fired, 65117 attempts, .
111 EF STEQ 70/722 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 520 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 45/740 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 8449718 t fired, 135794 attempts, .
96 EF STEQ 45/740 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 75/717 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 8503692 t fired, 68691 attempts, .
111 EF STEQ 75/717 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 525 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 50/735 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 9490086 t fired, 150489 attempts, .
96 EF STEQ 50/735 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 80/712 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 9151800 t fired, 72101 attempts, .
111 EF STEQ 80/712 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 530 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 55/730 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 10648515 t fired, 166745 attempts, .
96 EF STEQ 55/730 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 85/707 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 9878606 t fired, 75873 attempts, .
111 EF STEQ 85/707 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 535 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 60/725 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 11750166 t fired, 181831 attempts, .
96 EF STEQ 60/725 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 90/702 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 10577344 t fired, 79423 attempts, .
111 EF STEQ 90/702 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 540 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 65/720 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 12704627 t fired, 194905 attempts, .
96 EF STEQ 65/720 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 95/697 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 11312379 t fired, 83105 attempts, .
111 EF STEQ 95/697 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 545 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 71/715 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 13649283 t fired, 207705 attempts, .
96 EF STEQ 72/715 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 102/692 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 12207377 t fired, 87639 attempts, .
111 EF STEQ 102/692 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 552 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 77/708 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 13960740 t fired, 211930 attempts, .
96 EF STEQ 77/708 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 107/685 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 12428309 t fired, 88747 attempts, .
111 EF STEQ 107/685 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 557 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 82/703 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 14314542 t fired, 216665 attempts, .
96 EF STEQ 82/703 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 112/680 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 12640575 t fired, 89786 attempts, .
111 EF STEQ 112/680 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 562 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 87/698 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 14503099 t fired, 219225 attempts, .
96 EF STEQ 87/698 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 117/675 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 12907004 t fired, 91107 attempts, .
111 EF STEQ 117/675 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 567 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 92/693 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 15059339 t fired, 226745 attempts, .
96 EF STEQ 92/693 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 122/670 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 13354982 t fired, 93278 attempts, .
111 EF STEQ 122/670 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 572 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 97/688 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 15388909 t fired, 231129 attempts, .
96 EF STEQ 97/688 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 127/665 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 13718725 t fired, 95058 attempts, .
111 EF STEQ 127/665 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 577 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 102/683 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 15388909 t fired, 231129 attempts, .
96 EF STEQ 102/683 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 132/660 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 13718725 t fired, 95058 attempts, .
111 EF STEQ 132/660 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 582 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 107/678 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 15407400 t fired, 231382 attempts, .
96 EF STEQ 107/678 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 137/655 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 13772535 t fired, 95343 attempts, .
111 EF STEQ 137/655 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 587 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 112/673 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 15513052 t fired, 232793 attempts, .
96 EF STEQ 112/673 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 142/650 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 13836806 t fired, 95665 attempts, .
111 EF STEQ 142/650 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 592 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 117/668 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 16119923 t fired, 240986 attempts, .
96 EF STEQ 117/668 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 147/645 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 14501479 t fired, 98939 attempts, .
111 EF STEQ 147/645 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 597 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 122/663 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 16828309 t fired, 250457 attempts, .
96 EF STEQ 122/663 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 152/640 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 15020894 t fired, 101454 attempts, .
111 EF STEQ 152/640 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 602 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 127/658 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 17183540 t fired, 255193 attempts, .
96 EF STEQ 127/658 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 157/635 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 15387315 t fired, 103202 attempts, .
111 EF STEQ 157/635 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 607 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 132/653 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 17846466 t fired, 264025 attempts, .
96 EF STEQ 132/653 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 162/630 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 15951676 t fired, 105920 attempts, .
111 EF STEQ 162/630 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 612 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 137/648 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 17961112 t fired, 265561 attempts, .
96 EF STEQ 137/648 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 167/625 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 16051746 t fired, 106447 attempts, .
111 EF STEQ 167/625 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 617 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 142/643 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 18330024 t fired, 270447 attempts, .
96 EF STEQ 142/643 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 172/620 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 16323080 t fired, 107769 attempts, .
111 EF STEQ 172/620 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 622 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 147/638 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 18465859 t fired, 272218 attempts, .
96 EF STEQ 147/638 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 177/615 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 16471037 t fired, 108512 attempts, .
111 EF STEQ 177/615 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 627 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 152/633 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 18554145 t fired, 273369 attempts, .
96 EF STEQ 152/633 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 182/610 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 16555998 t fired, 108948 attempts, .
111 EF STEQ 182/610 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 632 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 157/628 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 18993379 t fired, 279130 attempts, .
96 EF STEQ 157/628 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 187/605 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 16956600 t fired, 110910 attempts, .
111 EF STEQ 187/605 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 637 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 162/623 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 19099535 t fired, 280537 attempts, .
96 EF STEQ 162/623 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 192/600 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 17128101 t fired, 111753 attempts, .
111 EF STEQ 192/600 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 642 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 167/618 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 19488689 t fired, 285657 attempts, .
96 EF STEQ 167/618 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 197/595 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 17383808 t fired, 113022 attempts, .
111 EF STEQ 197/595 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 647 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 172/613 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 19488689 t fired, 285657 attempts, .
96 EF STEQ 172/613 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 202/590 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 17396666 t fired, 113077 attempts, .
111 EF STEQ 202/590 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 652 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 177/608 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 19488689 t fired, 285657 attempts, .
96 EF STEQ 177/608 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 207/585 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 17396666 t fired, 113077 attempts, .
111 EF STEQ 207/585 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 657 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 182/603 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 19488689 t fired, 285657 attempts, .
96 EF STEQ 182/603 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 212/580 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 17396666 t fired, 113077 attempts, .
111 EF STEQ 212/580 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 662 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 187/598 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 19488689 t fired, 285657 attempts, .
96 EF STEQ 187/598 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 217/575 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 17396666 t fired, 113077 attempts, .
111 EF STEQ 217/575 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 670 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 195/590 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 19770406 t fired, 289370 attempts, .
96 EF STEQ 195/590 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 225/567 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 17623532 t fired, 114117 attempts, .
111 EF STEQ 225/567 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 675 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 200/585 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 19880264 t fired, 290778 attempts, .
96 EF STEQ 200/585 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 230/562 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 17740702 t fired, 114707 attempts, .
111 EF STEQ 230/562 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 680 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-070-ReachabilityCardinality-00: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-01: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-02: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-03: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-04: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-05: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-070-ReachabilityCardinality-06: AG 0 3 2 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-07: EF 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-08: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-09: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-10: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-070-ReachabilityCardinality-11: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-12: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-070-ReachabilityCardinality-13: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-070-ReachabilityCardinality-15: EF 0 3 2 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
95 EF FNDP 205/580 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 19988997 t fired, 292186 attempts, .
96 EF STEQ 205/580 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-06 sara is running.
110 EF FNDP 235/557 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 17809141 t fired, 115023 attempts, .
111 EF STEQ 235/557 0/5 CANInsertWithFailure-PT-070-ReachabilityCardinality-15 sara is running.
Time elapsed: 685 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
/home/mcc/BenchKit/bin//../lola/bin//../BenchKit_head.sh: line 63: 376 Killed lola --conf=$BIN_DIR/configfiles/reachabilitycardinalityconf --formula=$DIR/ReachabilityCardinality.xml --verdictfile=$DIR/GenericPropertiesVerdict.xml $DIR/model.pnml
sara: warning, failure of lp_solve (at job 20987)
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="CANInsertWithFailure-PT-070"
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 CANInsertWithFailure-PT-070, 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 r038-tajo-167813691900758"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CANInsertWithFailure-PT-070.tgz
mv CANInsertWithFailure-PT-070 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 ;