About the Execution of LoLA for CANInsertWithFailure-PT-100
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16224.308 | 1109812.00 | 6036864.00 | 14420.80 | [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-167813691900782.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-100, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r038-tajo-167813691900782
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 61M
-rw-r--r-- 1 mcc users 8.8K Feb 26 00:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 26 00:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Feb 26 00:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 26 00:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 15:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K 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 11K Feb 26 00:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 26 00:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 26 00:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 26 00:39 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 60M 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-100-ReachabilityCardinality-00
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityCardinality-01
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityCardinality-02
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityCardinality-03
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityCardinality-04
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityCardinality-05
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityCardinality-06
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityCardinality-07
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityCardinality-08
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityCardinality-09
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityCardinality-10
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityCardinality-11
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityCardinality-12
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityCardinality-13
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityCardinality-14
FORMULA_NAME CANInsertWithFailure-PT-100-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1678452543886
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-100
Not applying reductions.
Model is PT
ReachabilityCardinality PT
starting LoLA
BK_INPUT CANInsertWithFailure-PT-100
BK_EXAMINATION: ReachabilityCardinality
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
ReachabilityCardinality
BK_STOP 1678453653698
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 8555744 kB
After kill :
MemTotal: 16393340 kB
MemFree: 8554064 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 3 CANInsertWithFailure-PT-100-ReachabilityCardinality-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 51 (type SKEL/EQUN) for 3 CANInsertWithFailure-PT-100-ReachabilityCardinality-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 53 (type SKEL/SRCH) for 3 CANInsertWithFailure-PT-100-ReachabilityCardinality-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 54 (type SKEL/SRCH) for 3 CANInsertWithFailure-PT-100-ReachabilityCardinality-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-51.sara.
sara: place or transition ordering is non-deterministic
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: Created skeleton in 1.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Rule S: 0 transitions removed,0 places removed
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-100-ReachabilityCardinality-00: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 EF FNDP 5/720 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 1977994 t fired, 30808 attempts, .
51 EF STEQ 5/720 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 sara is running.
53 EF SRCH 5/720 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 408959 m, 81791 m/sec, 1343736 t fired, .
54 EF SRCH 5/960 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 998494 m, 199698 m/sec, 1621759 t fired, .
Time elapsed: 721 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-100-ReachabilityCardinality-00: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 EF FNDP 10/716 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 4338248 t fired, 60629 attempts, .
51 EF STEQ 10/716 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 sara is running.
53 EF SRCH 10/716 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 858549 m, 89918 m/sec, 3424394 t fired, .
54 EF SRCH 10/956 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 2009073 m, 202115 m/sec, 3268949 t fired, .
Time elapsed: 726 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-100-ReachabilityCardinality-00: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 EF FNDP 15/711 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 7237395 t fired, 93508 attempts, .
51 EF STEQ 15/711 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 sara is running.
53 EF SRCH 15/711 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 1354780 m, 99246 m/sec, 5286612 t fired, .
54 EF SRCH 15/951 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 2953276 m, 188840 m/sec, 4809204 t fired, .
Time elapsed: 731 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-100-ReachabilityCardinality-00: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 EF FNDP 20/706 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 9658488 t fired, 118853 attempts, .
51 EF STEQ 20/706 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 sara is running.
53 EF SRCH 20/706 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 1975898 m, 124223 m/sec, 7620689 t fired, .
54 EF SRCH 20/946 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 3702534 m, 149851 m/sec, 6121697 t fired, .
Time elapsed: 736 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-100-ReachabilityCardinality-00: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 EF FNDP 25/701 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 12273982 t fired, 144626 attempts, .
51 EF STEQ 25/701 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 sara is running.
53 EF SRCH 25/701 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 2439315 m, 92683 m/sec, 9960614 t fired, .
54 EF SRCH 25/941 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 4471745 m, 153842 m/sec, 7523376 t fired, .
Time elapsed: 741 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-100-ReachabilityCardinality-00: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 EF FNDP 30/696 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 14957971 t fired, 169425 attempts, .
51 EF STEQ 30/696 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 sara is running.
53 EF SRCH 30/696 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 2910593 m, 94255 m/sec, 12337557 t fired, .
54 EF SRCH 30/936 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 5198277 m, 145306 m/sec, 8851337 t fired, .
Time elapsed: 746 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-100-ReachabilityCardinality-00: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 EF FNDP 35/691 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 17418970 t fired, 191085 attempts, .
51 EF STEQ 35/691 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 sara is running.
53 EF SRCH 35/691 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 3449062 m, 107693 m/sec, 15060414 t fired, .
54 EF SRCH 35/931 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 5820881 m, 124520 m/sec, 9987966 t fired, .
Time elapsed: 751 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-100-ReachabilityCardinality-00: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 EF FNDP 40/686 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 19957309 t fired, 212667 attempts, .
51 EF STEQ 40/686 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 sara is running.
53 EF SRCH 40/686 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 3942488 m, 98685 m/sec, 17550358 t fired, .
54 EF SRCH 40/926 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 6625059 m, 160835 m/sec, 11462103 t fired, .
Time elapsed: 756 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-100-ReachabilityCardinality-00: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 EF FNDP 45/681 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 22850113 t fired, 236336 attempts, .
51 EF STEQ 45/681 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 sara is running.
53 EF SRCH 45/681 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 4437834 m, 99069 m/sec, 19832588 t fired, .
54 EF SRCH 45/921 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 7284600 m, 131908 m/sec, 12668848 t fired, .
Time elapsed: 761 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-100-ReachabilityCardinality-00: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 EF FNDP 50/676 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 26098122 t fired, 261837 attempts, .
51 EF STEQ 50/676 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 sara is running.
53 EF SRCH 50/676 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 4920460 m, 96525 m/sec, 22180752 t fired, .
54 EF SRCH 50/916 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 7905093 m, 124098 m/sec, 13803123 t fired, .
Time elapsed: 766 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-100-ReachabilityCardinality-00: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 EF FNDP 55/671 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 28547394 t fired, 281023 attempts, .
51 EF STEQ 55/671 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 sara is running.
53 EF SRCH 55/671 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 5428811 m, 101670 m/sec, 24199953 t fired, .
54 EF SRCH 55/911 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 8524894 m, 123960 m/sec, 14940292 t fired, .
Time elapsed: 771 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-100-ReachabilityCardinality-00: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 EF FNDP 60/666 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 30848672 t fired, 299035 attempts, .
51 EF STEQ 60/666 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 sara is running.
53 EF SRCH 60/666 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 5910476 m, 96333 m/sec, 26536346 t fired, .
54 EF SRCH 60/906 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 9214181 m, 137857 m/sec, 16198795 t fired, .
Time elapsed: 776 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-100-ReachabilityCardinality-00: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 EF FNDP 65/661 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 33767368 t fired, 321261 attempts, .
51 EF STEQ 65/661 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 sara is running.
53 EF SRCH 65/661 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 6387969 m, 95498 m/sec, 28360671 t fired, .
54 EF SRCH 65/901 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 9761897 m, 109543 m/sec, 17203939 t fired, .
Time elapsed: 781 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-100-ReachabilityCardinality-00: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 EF FNDP 70/656 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 36065994 t fired, 338889 attempts, .
51 EF STEQ 70/656 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 sara is running.
53 EF SRCH 70/656 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 7021884 m, 126783 m/sec, 30714033 t fired, .
54 EF SRCH 70/896 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 10456140 m, 138848 m/sec, 18477527 t fired, .
Time elapsed: 786 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-100-ReachabilityCardinality-00: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 EF FNDP 75/651 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 38077264 t fired, 354245 attempts, .
51 EF STEQ 75/651 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 sara is running.
53 EF SRCH 75/651 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 7612926 m, 118208 m/sec, 33507915 t fired, .
54 EF SRCH 75/891 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 11091066 m, 126985 m/sec, 19641627 t fired, .
Time elapsed: 791 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-100-ReachabilityCardinality-00: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 EF FNDP 80/646 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 40395875 t fired, 371728 attempts, .
51 EF STEQ 80/646 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 sara is running.
53 EF SRCH 80/646 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 8089098 m, 95234 m/sec, 35448630 t fired, .
54 EF SRCH 80/886 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 11841188 m, 150024 m/sec, 21018020 t fired, .
Time elapsed: 796 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
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: Created skeleton in 1.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: 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: 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
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-100-ReachabilityCardinality-00: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 EF FNDP 85/236 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 41760450 t fired, 382093 attempts, .
51 EF STEQ 85/236 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 sara is running.
53 EF SRCH 85/236 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 8514372 m, 85054 m/sec, 37272292 t fired, .
54 EF SRCH 85/276 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 12505617 m, 132885 m/sec, 22236094 t fired, .
Time elapsed: 801 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
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
sara: warning, failure of lp_solve (at job 14855)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-100-ReachabilityCardinality-00: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 EF FNDP 90/203 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 42514482 t fired, 387783 attempts, .
51 EF STEQ 90/203 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 sara is running.
53 EF SRCH 90/203 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 8686353 m, 34396 m/sec, 37908578 t fired, .
54 EF SRCH 90/203 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 12717863 m, 42449 m/sec, 22620620 t fired, .
Time elapsed: 806 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-100-ReachabilityCardinality-00: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 EF FNDP 95/198 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 43287345 t fired, 393575 attempts, .
51 EF STEQ 95/198 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 sara is running.
53 EF SRCH 95/198 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 8853656 m, 33460 m/sec, 38511212 t fired, .
54 EF SRCH 95/198 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 12920623 m, 40552 m/sec, 22993183 t fired, .
Time elapsed: 811 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-100-ReachabilityCardinality-00: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 EF FNDP 100/193 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 44094999 t fired, 399619 attempts, .
51 EF STEQ 100/193 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 sara is running.
53 EF SRCH 100/193 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 9046031 m, 38475 m/sec, 39142209 t fired, .
54 EF SRCH 100/193 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 13123368 m, 40549 m/sec, 23368032 t fired, .
Time elapsed: 816 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-100-ReachabilityCardinality-00: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 EF FNDP 105/188 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 44870042 t fired, 405442 attempts, .
51 EF STEQ 105/188 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 sara is running.
53 EF SRCH 105/188 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 9208272 m, 32448 m/sec, 39832227 t fired, .
54 EF SRCH 105/188 2/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 13327281 m, 40782 m/sec, 23737082 t fired, .
Time elapsed: 821 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
lola: Created skeleton in 24.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-100-ReachabilityCardinality-00: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 EF FNDP 110/132 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 45613434 t fired, 411002 attempts, .
51 EF STEQ 110/154 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 sara is running.
53 EF SRCH 110/154 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 9367989 m, 31943 m/sec, 40549523 t fired, .
54 EF SRCH 110/154 2/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 13536080 m, 41759 m/sec, 24121591 t fired, .
Time elapsed: 826 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 EF FNDP 115/130 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 46421247 t fired, 416987 attempts, .
51 EF STEQ 115/152 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 sara is running.
53 EF SRCH 115/152 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 9539833 m, 34368 m/sec, 41257243 t fired, .
54 EF SRCH 115/152 2/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 13736069 m, 39997 m/sec, 24490202 t fired, .
Time elapsed: 831 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 4 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
50 EF FNDP 120/125 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 47225364 t fired, 422928 attempts, .
51 EF STEQ 120/147 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 sara is running.
53 EF SRCH 120/147 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 9689642 m, 29961 m/sec, 41940710 t fired, .
54 EF SRCH 120/147 2/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 13935863 m, 39958 m/sec, 24857235 t fired, .
Time elapsed: 836 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
lola: Created skeleton in 14.000000 secs.
lola: CANCELED task # 50 (type FNDP) for CANInsertWithFailure-PT-100-ReachabilityCardinality-01 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-100-ReachabilityCardinality-00: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 3 0 0 1 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF STEQ 125/142 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 sara is running.
53 EF SRCH 125/142 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 9832610 m, 28593 m/sec, 42603104 t fired, .
54 EF SRCH 125/142 2/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 14139251 m, 40677 m/sec, 25226316 t fired, .
Time elapsed: 841 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 72 (type SKEL/FNDP) for 12 CANInsertWithFailure-PT-100-ReachabilityCardinality-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 50 (type SKEL/FNDP) for CANInsertWithFailure-PT-100-ReachabilityCardinality-01
lola: result : unknown
lola: fired transitions : 47981478
lola: tried executions : 428602
lola: time used : 125.000000
lola: memory pages used : 0
lola: FINISHED task # 72 (type SKEL/FNDP) for CANInsertWithFailure-PT-100-ReachabilityCardinality-04
lola: result : true
lola: fired transitions : 15
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 80 (type SKEL/FNDP) for 0 CANInsertWithFailure-PT-100-ReachabilityCardinality-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 80 (type SKEL/FNDP) for CANInsertWithFailure-PT-100-ReachabilityCardinality-00
lola: result : true
lola: fired transitions : 9
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 65 (type SKEL/FNDP) for 9 CANInsertWithFailure-PT-100-ReachabilityCardinality-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 65 (type SKEL/FNDP) for CANInsertWithFailure-PT-100-ReachabilityCardinality-03
lola: result : true
lola: fired transitions : 10
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 57 (type SKEL/FNDP) for 6 CANInsertWithFailure-PT-100-ReachabilityCardinality-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 57 (type SKEL/FNDP) for CANInsertWithFailure-PT-100-ReachabilityCardinality-02
lola: result : true
lola: fired transitions : 9
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 94 (type SKEL/FNDP) for 15 CANInsertWithFailure-PT-100-ReachabilityCardinality-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 94 (type SKEL/FNDP) for CANInsertWithFailure-PT-100-ReachabilityCardinality-05
lola: result : true
lola: fired transitions : 10
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 109 (type SKEL/FNDP) for 24 CANInsertWithFailure-PT-100-ReachabilityCardinality-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 109 (type SKEL/FNDP) for CANInsertWithFailure-PT-100-ReachabilityCardinality-08
lola: result : true
lola: fired transitions : 10
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 87 (type SKEL/FNDP) for 18 CANInsertWithFailure-PT-100-ReachabilityCardinality-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: Created skeleton in 5.000000 secs.
lola: Created skeleton in 1.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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 3 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF STEQ 130/592 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 sara is running.
53 EF SRCH 130/447 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 9973054 m, 28088 m/sec, 43255120 t fired, .
54 EF SRCH 130/447 2/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 14340081 m, 40166 m/sec, 25596405 t fired, .
87 EF FNDP 5/547 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 61529 t fired, 696 attempts, .
Time elapsed: 846 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
lola: Created skeleton in 3.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: Created skeleton in 2.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
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 3 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF STEQ 135/278 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 sara is running.
53 EF SRCH 135/278 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 10105114 m, 26412 m/sec, 43872665 t fired, .
54 EF SRCH 135/278 2/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 14519526 m, 35889 m/sec, 25927113 t fired, .
87 EF FNDP 10/335 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 119985 t fired, 1310 attempts, .
Time elapsed: 851 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
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: Created skeleton in 1.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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 3 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF STEQ 140/184 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 sara is running.
53 EF SRCH 140/152 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 10254949 m, 29967 m/sec, 44556858 t fired, .
54 EF SRCH 140/152 2/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 14719000 m, 39894 m/sec, 26294936 t fired, .
87 EF FNDP 15/264 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 182801 t fired, 1960 attempts, .
Time elapsed: 856 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 3 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF STEQ 145/180 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 sara is running.
53 EF SRCH 145/148 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 10398530 m, 28716 m/sec, 45226539 t fired, .
54 EF SRCH 145/148 2/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-01 14928647 m, 41929 m/sec, 26673819 t fired, .
87 EF FNDP 20/260 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 244076 t fired, 2592 attempts, .
Time elapsed: 861 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
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: CANCELED task # 51 (type EQUN) for CANInsertWithFailure-PT-100-ReachabilityCardinality-01 (local timeout)
lola: CANCELED task # 53 (type SRCH) for CANInsertWithFailure-PT-100-ReachabilityCardinality-01 (local timeout)
lola: CANCELED task # 54 (type SRCH) for CANInsertWithFailure-PT-100-ReachabilityCardinality-01 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 1 3 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 5 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 25/227 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 305257 t fired, 3195 attempts, .
Time elapsed: 866 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 117 (type SKEL/FNDP) for 33 CANInsertWithFailure-PT-100-ReachabilityCardinality-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 118 (type SKEL/EQUN) for 33 CANInsertWithFailure-PT-100-ReachabilityCardinality-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 120 (type SKEL/SRCH) for 33 CANInsertWithFailure-PT-100-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
lola: FINISHED task # 117 (type SKEL/FNDP) for CANInsertWithFailure-PT-100-ReachabilityCardinality-11
lola: result : true
lola: fired transitions : 9
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 118 (type EQUN) for CANInsertWithFailure-PT-100-ReachabilityCardinality-11 (obsolete)
lola: CANCELED task # 120 (type SRCH) for CANInsertWithFailure-PT-100-ReachabilityCardinality-11 (obsolete)
lola: LAUNCH task # 131 (type SKEL/FNDP) for 27 CANInsertWithFailure-PT-100-ReachabilityCardinality-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 132 (type SKEL/EQUN) for 27 CANInsertWithFailure-PT-100-ReachabilityCardinality-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 134 (type SKEL/SRCH) for 27 CANInsertWithFailure-PT-100-ReachabilityCardinality-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 51 (type SKEL/EQUN) for CANInsertWithFailure-PT-100-ReachabilityCardinality-01
lola: result : unknown
lola: FINISHED task # 134 (type SKEL/SRCH) for CANInsertWithFailure-PT-100-ReachabilityCardinality-09
lola: result : true
lola: markings : 12
lola: fired transitions : 11
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 131 (type FNDP) for CANInsertWithFailure-PT-100-ReachabilityCardinality-09 (obsolete)
lola: CANCELED task # 132 (type EQUN) for CANInsertWithFailure-PT-100-ReachabilityCardinality-09 (obsolete)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 124 (type SKEL/FNDP) for 45 CANInsertWithFailure-PT-100-ReachabilityCardinality-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 125 (type SKEL/EQUN) for 45 CANInsertWithFailure-PT-100-ReachabilityCardinality-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 127 (type SKEL/SRCH) for 45 CANInsertWithFailure-PT-100-ReachabilityCardinality-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 131 (type SKEL/FNDP) for CANInsertWithFailure-PT-100-ReachabilityCardinality-09
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:711
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-118.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 118 (type SKEL/EQUN) for CANInsertWithFailure-PT-100-ReachabilityCardinality-11
lola: result : true
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-132.sara.
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-125.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 127 (type SKEL/SRCH) for CANInsertWithFailure-PT-100-ReachabilityCardinality-15
lola: result : true
lola: markings : 12
lola: fired transitions : 11
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 124 (type FNDP) for CANInsertWithFailure-PT-100-ReachabilityCardinality-15 (obsolete)
lola: CANCELED task # 125 (type EQUN) for CANInsertWithFailure-PT-100-ReachabilityCardinality-15 (obsolete)
lola: LAUNCH task # 146 (type SKEL/FNDP) for 42 CANInsertWithFailure-PT-100-ReachabilityCardinality-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 147 (type SKEL/EQUN) for 42 CANInsertWithFailure-PT-100-ReachabilityCardinality-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 149 (type SKEL/SRCH) for 42 CANInsertWithFailure-PT-100-ReachabilityCardinality-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 125 (type SKEL/EQUN) for CANInsertWithFailure-PT-100-ReachabilityCardinality-15
lola: result : unknown
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 132 (type SKEL/EQUN) for CANInsertWithFailure-PT-100-ReachabilityCardinality-09
lola: result : true
lola: FINISHED task # 124 (type SKEL/FNDP) for CANInsertWithFailure-PT-100-ReachabilityCardinality-15
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-147.sara.
lola: FINISHED task # 146 (type SKEL/FNDP) for CANInsertWithFailure-PT-100-ReachabilityCardinality-14
lola: result : true
lola: fired transitions : 5147
lola: tried executions : 85
lola: time used : 1.000000
lola: memory pages used : 0
lola: CANCELED task # 147 (type EQUN) for CANInsertWithFailure-PT-100-ReachabilityCardinality-14 (obsolete)
lola: CANCELED task # 149 (type SRCH) for CANInsertWithFailure-PT-100-ReachabilityCardinality-14 (obsolete)
lola: LAUNCH task # 154 (type SKEL/FNDP) for 36 CANInsertWithFailure-PT-100-ReachabilityCardinality-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 155 (type SKEL/EQUN) for 36 CANInsertWithFailure-PT-100-ReachabilityCardinality-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 157 (type SKEL/SRCH) for 36 CANInsertWithFailure-PT-100-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 # 147 (type SKEL/EQUN) for CANInsertWithFailure-PT-100-ReachabilityCardinality-14
lola: result : unknown
lola: FINISHED task # 157 (type SKEL/SRCH) for CANInsertWithFailure-PT-100-ReachabilityCardinality-12
lola: result : true
lola: markings : 12
lola: fired transitions : 11
lola: time used : 1.000000
lola: memory pages used : 1
lola: CANCELED task # 154 (type FNDP) for CANInsertWithFailure-PT-100-ReachabilityCardinality-12 (obsolete)
lola: CANCELED task # 155 (type EQUN) for CANInsertWithFailure-PT-100-ReachabilityCardinality-12 (obsolete)
lola: LAUNCH task # 101 (type SKEL/FNDP) for 21 CANInsertWithFailure-PT-100-ReachabilityCardinality-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 102 (type SKEL/EQUN) for 21 CANInsertWithFailure-PT-100-ReachabilityCardinality-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 104 (type SKEL/SRCH) for 21 CANInsertWithFailure-PT-100-ReachabilityCardinality-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 154 (type SKEL/FNDP) for CANInsertWithFailure-PT-100-ReachabilityCardinality-12
lola: result : true
lola: fired transitions : 10
lola: tried executions : 1
lola: time used : 1.000000
lola: memory pages used : 0
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-102.sara.
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-155.sara.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 30/662 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 351243 t fired, 3613 attempts, .
101 EF FNDP 3/683 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 9863 t fired, 96 attempts, .
102 EF STEQ 3/683 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 3/683 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 2056 m, 411 m/sec, 6307 t fired, .
Time elapsed: 871 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 35/659 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 412815 t fired, 4159 attempts, .
101 EF FNDP 8/680 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 35998 t fired, 321 attempts, .
102 EF STEQ 8/680 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 8/680 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 6566 m, 902 m/sec, 34683 t fired, .
Time elapsed: 876 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 40/654 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 472056 t fired, 4703 attempts, .
101 EF FNDP 13/675 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 59867 t fired, 524 attempts, .
102 EF STEQ 13/675 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 13/675 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 10678 m, 822 m/sec, 63489 t fired, .
Time elapsed: 881 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 45/649 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 528851 t fired, 5197 attempts, .
101 EF FNDP 18/670 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 83181 t fired, 708 attempts, .
102 EF STEQ 18/670 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 18/670 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 14749 m, 814 m/sec, 93456 t fired, .
Time elapsed: 886 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 50/644 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 584574 t fired, 5671 attempts, .
101 EF FNDP 23/665 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 106342 t fired, 873 attempts, .
102 EF STEQ 23/665 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 23/665 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 18677 m, 785 m/sec, 123560 t fired, .
Time elapsed: 891 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 55/639 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 640017 t fired, 6147 attempts, .
101 EF FNDP 28/660 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 130247 t fired, 1079 attempts, .
102 EF STEQ 28/660 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 28/660 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 22810 m, 826 m/sec, 153833 t fired, .
Time elapsed: 896 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 60/634 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 696138 t fired, 6603 attempts, .
101 EF FNDP 33/655 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 153950 t fired, 1276 attempts, .
102 EF STEQ 33/655 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 33/655 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 26723 m, 782 m/sec, 185241 t fired, .
Time elapsed: 901 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 65/629 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 750631 t fired, 7019 attempts, .
101 EF FNDP 38/650 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 176881 t fired, 1447 attempts, .
102 EF STEQ 38/650 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 38/650 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 30507 m, 756 m/sec, 216531 t fired, .
Time elapsed: 906 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 70/624 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 804401 t fired, 7440 attempts, .
101 EF FNDP 43/645 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 200360 t fired, 1620 attempts, .
102 EF STEQ 43/645 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 43/645 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 34078 m, 714 m/sec, 248417 t fired, .
Time elapsed: 911 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 75/619 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 858242 t fired, 7834 attempts, .
101 EF FNDP 48/640 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 222772 t fired, 1770 attempts, .
102 EF STEQ 48/640 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 48/640 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 38138 m, 812 m/sec, 277198 t fired, .
Time elapsed: 916 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 80/614 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 910838 t fired, 8216 attempts, .
101 EF FNDP 53/635 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 247332 t fired, 1952 attempts, .
102 EF STEQ 53/635 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 53/635 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 41918 m, 756 m/sec, 308022 t fired, .
Time elapsed: 921 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 85/609 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 964668 t fired, 8596 attempts, .
101 EF FNDP 58/630 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 269701 t fired, 2107 attempts, .
102 EF STEQ 58/630 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 58/630 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 45793 m, 775 m/sec, 338560 t fired, .
Time elapsed: 926 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 90/604 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 1016657 t fired, 8956 attempts, .
101 EF FNDP 63/625 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 291895 t fired, 2268 attempts, .
102 EF STEQ 63/625 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 63/625 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 49308 m, 703 m/sec, 369387 t fired, .
Time elapsed: 931 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 95/599 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 1069302 t fired, 9291 attempts, .
101 EF FNDP 68/620 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 314000 t fired, 2410 attempts, .
102 EF STEQ 68/620 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 68/620 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 53147 m, 767 m/sec, 400859 t fired, .
Time elapsed: 936 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 100/594 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 1121685 t fired, 9619 attempts, .
101 EF FNDP 73/615 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 337113 t fired, 2570 attempts, .
102 EF STEQ 73/615 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 73/615 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 56691 m, 708 m/sec, 431457 t fired, .
Time elapsed: 941 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 105/589 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 1170434 t fired, 9935 attempts, .
101 EF FNDP 78/610 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 356811 t fired, 2705 attempts, .
102 EF STEQ 78/610 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 78/610 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 60300 m, 721 m/sec, 464150 t fired, .
Time elapsed: 946 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 110/584 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 1220301 t fired, 10232 attempts, .
101 EF FNDP 83/605 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 378282 t fired, 2854 attempts, .
102 EF STEQ 83/605 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 83/605 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 63713 m, 682 m/sec, 496006 t fired, .
Time elapsed: 951 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 115/579 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 1269365 t fired, 10517 attempts, .
101 EF FNDP 88/600 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 399560 t fired, 3007 attempts, .
102 EF STEQ 88/600 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 88/600 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 66997 m, 656 m/sec, 527890 t fired, .
Time elapsed: 956 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 120/574 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 1318116 t fired, 10811 attempts, .
101 EF FNDP 93/595 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 420037 t fired, 3134 attempts, .
102 EF STEQ 93/595 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 93/595 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 71127 m, 826 m/sec, 557313 t fired, .
Time elapsed: 961 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 125/569 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 1366342 t fired, 11097 attempts, .
101 EF FNDP 98/590 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 441180 t fired, 3262 attempts, .
102 EF STEQ 98/590 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 98/590 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 74898 m, 754 m/sec, 587824 t fired, .
Time elapsed: 966 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 130/564 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 1416146 t fired, 11391 attempts, .
101 EF FNDP 103/585 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 461128 t fired, 3372 attempts, .
102 EF STEQ 103/585 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 103/585 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 78720 m, 764 m/sec, 618638 t fired, .
Time elapsed: 971 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 135/559 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 1466039 t fired, 11684 attempts, .
101 EF FNDP 108/580 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 481098 t fired, 3482 attempts, .
102 EF STEQ 108/580 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 108/580 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 82325 m, 721 m/sec, 650358 t fired, .
Time elapsed: 976 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 140/554 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 1513431 t fired, 11952 attempts, .
101 EF FNDP 113/575 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 501986 t fired, 3595 attempts, .
102 EF STEQ 113/575 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 113/575 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 86207 m, 776 m/sec, 681811 t fired, .
Time elapsed: 981 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 145/549 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 1560903 t fired, 12213 attempts, .
101 EF FNDP 118/570 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 522396 t fired, 3711 attempts, .
102 EF STEQ 118/570 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 118/570 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 89797 m, 718 m/sec, 713095 t fired, .
Time elapsed: 986 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 150/544 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 1610488 t fired, 12483 attempts, .
101 EF FNDP 123/565 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 543899 t fired, 3863 attempts, .
102 EF STEQ 123/565 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 123/565 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 93351 m, 710 m/sec, 745072 t fired, .
Time elapsed: 991 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 155/539 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 1657184 t fired, 12742 attempts, .
101 EF FNDP 128/560 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 564036 t fired, 3973 attempts, .
102 EF STEQ 128/560 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 128/560 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 96776 m, 685 m/sec, 777462 t fired, .
Time elapsed: 996 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 160/534 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 1705047 t fired, 12970 attempts, .
101 EF FNDP 133/555 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 583886 t fired, 4077 attempts, .
102 EF STEQ 133/555 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 133/555 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 100218 m, 688 m/sec, 810221 t fired, .
Time elapsed: 1001 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 165/529 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 1752044 t fired, 13200 attempts, .
101 EF FNDP 138/550 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 605018 t fired, 4218 attempts, .
102 EF STEQ 138/550 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 138/550 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 103993 m, 755 m/sec, 841188 t fired, .
Time elapsed: 1006 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 170/524 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 1799597 t fired, 13434 attempts, .
101 EF FNDP 143/545 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 626213 t fired, 4336 attempts, .
102 EF STEQ 143/545 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 143/545 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 107457 m, 692 m/sec, 873296 t fired, .
Time elapsed: 1011 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 175/519 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 1845083 t fired, 13660 attempts, .
101 EF FNDP 148/540 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 645454 t fired, 4437 attempts, .
102 EF STEQ 148/540 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 148/540 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 111042 m, 717 m/sec, 904807 t fired, .
Time elapsed: 1016 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 180/514 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 1892232 t fired, 13884 attempts, .
101 EF FNDP 153/535 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 665992 t fired, 4548 attempts, .
102 EF STEQ 153/535 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 153/535 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 114462 m, 684 m/sec, 938013 t fired, .
Time elapsed: 1021 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 185/509 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 1938108 t fired, 14108 attempts, .
101 EF FNDP 158/530 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 686447 t fired, 4668 attempts, .
102 EF STEQ 158/530 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 158/530 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 117922 m, 692 m/sec, 970311 t fired, .
Time elapsed: 1026 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 190/504 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 1985613 t fired, 14336 attempts, .
101 EF FNDP 163/525 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 706380 t fired, 4769 attempts, .
102 EF STEQ 163/525 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 163/525 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 121364 m, 688 m/sec, 1002851 t fired, .
Time elapsed: 1031 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 195/499 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 2034100 t fired, 14556 attempts, .
101 EF FNDP 168/520 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 726017 t fired, 4871 attempts, .
102 EF STEQ 168/520 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 168/520 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 124627 m, 652 m/sec, 1035793 t fired, .
Time elapsed: 1036 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 200/494 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 2081083 t fired, 14774 attempts, .
101 EF FNDP 173/515 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 745826 t fired, 4968 attempts, .
102 EF STEQ 173/515 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 173/515 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 127915 m, 657 m/sec, 1069618 t fired, .
Time elapsed: 1041 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 205/489 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 2139975 t fired, 15054 attempts, .
101 EF FNDP 178/510 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 769871 t fired, 5088 attempts, .
102 EF STEQ 178/510 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 178/510 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 131777 m, 772 m/sec, 1111639 t fired, .
Time elapsed: 1046 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 210/484 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 2276503 t fired, 15656 attempts, .
101 EF FNDP 183/505 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 821289 t fired, 5335 attempts, .
102 EF STEQ 183/505 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 183/505 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 143098 m, 2264 m/sec, 1198124 t fired, .
Time elapsed: 1051 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 215/479 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 2393963 t fired, 16138 attempts, .
101 EF FNDP 188/500 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 864660 t fired, 5541 attempts, .
102 EF STEQ 188/500 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 188/500 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 153296 m, 2039 m/sec, 1284849 t fired, .
Time elapsed: 1056 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 222/474 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 2494116 t fired, 16545 attempts, .
101 EF FNDP 195/495 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 899011 t fired, 5703 attempts, .
102 EF STEQ 195/495 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 195/495 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 161921 m, 1725 m/sec, 1363436 t fired, .
Time elapsed: 1063 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 228/467 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 2558446 t fired, 16798 attempts, .
101 EF FNDP 201/488 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 929198 t fired, 5823 attempts, .
102 EF STEQ 201/488 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 201/488 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 168667 m, 1349 m/sec, 1423955 t fired, .
Time elapsed: 1069 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 233/461 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 2655381 t fired, 17188 attempts, .
101 EF FNDP 206/482 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 956255 t fired, 5937 attempts, .
102 EF STEQ 206/482 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 206/482 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 175493 m, 1365 m/sec, 1484309 t fired, .
Time elapsed: 1074 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 238/456 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 2756802 t fired, 17587 attempts, .
101 EF FNDP 211/477 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 988850 t fired, 6103 attempts, .
102 EF STEQ 211/477 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 211/477 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 182276 m, 1356 m/sec, 1549646 t fired, .
Time elapsed: 1079 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 243/451 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 2866845 t fired, 18052 attempts, .
101 EF FNDP 216/472 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 1015003 t fired, 6215 attempts, .
102 EF STEQ 216/472 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 216/472 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 191516 m, 1848 m/sec, 1639006 t fired, .
Time elapsed: 1084 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 248/446 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 2978553 t fired, 18480 attempts, .
101 EF FNDP 221/467 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 1059923 t fired, 6410 attempts, .
102 EF STEQ 221/467 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 221/467 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 199155 m, 1527 m/sec, 1716182 t fired, .
Time elapsed: 1089 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 253/441 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 3049071 t fired, 18748 attempts, .
101 EF FNDP 226/462 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 1089681 t fired, 6529 attempts, .
102 EF STEQ 226/462 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 226/462 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 209377 m, 2044 m/sec, 1806214 t fired, .
Time elapsed: 1094 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 258/436 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 3145101 t fired, 19135 attempts, .
101 EF FNDP 231/457 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 1128590 t fired, 6691 attempts, .
102 EF STEQ 231/457 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 231/457 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 218631 m, 1850 m/sec, 1894054 t fired, .
Time elapsed: 1099 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 263/431 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 3220723 t fired, 19436 attempts, .
101 EF FNDP 236/452 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 1160709 t fired, 6816 attempts, .
102 EF STEQ 236/452 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 236/452 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 220371 m, 348 m/sec, 1911067 t fired, .
Time elapsed: 1104 secs. Pages in use: 3
# 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-100-ReachabilityCardinality-00: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-01: AG 0 1 0 0 2 2 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-02: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-03: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-04: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-05: EF 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-06: EF 0 4 1 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-07: EF 0 2 3 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-08: AG 0 0 0 0 1 0 0 4
CANInsertWithFailure-PT-100-ReachabilityCardinality-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-100-ReachabilityCardinality-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-11: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-13: EF 0 5 0 0 0 0 0 0
CANInsertWithFailure-PT-100-ReachabilityCardinality-14: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-100-ReachabilityCardinality-15: EF 0 0 0 0 3 0 0 2
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
87 EF FNDP 268/426 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-06 3284711 t fired, 19675 attempts, .
101 EF FNDP 241/447 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 1167385 t fired, 6848 attempts, .
102 EF STEQ 241/447 0/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 sara is running.
104 EF SRCH 241/447 1/5 CANInsertWithFailure-PT-100-ReachabilityCardinality-07 220687 m, 63 m/sec, 1914179 t fired, .
Time elapsed: 1109 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
/home/mcc/BenchKit/bin//../lola/bin//../BenchKit_head.sh: line 63: 375 Killed lola --conf=$BIN_DIR/configfiles/reachabilitycardinalityconf --formula=$DIR/ReachabilityCardinality.xml --verdictfile=$DIR/GenericPropertiesVerdict.xml $DIR/model.pnml
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-100"
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-100, 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-167813691900782"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CANInsertWithFailure-PT-100.tgz
mv CANInsertWithFailure-PT-100 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 ;