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 |
| 16222.915 | 1031801.00 | 4446134.00 | 12029.90 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2023-input.r038-tajo-167813691900777.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 CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r038-tajo-167813691900777
=====================================================================
--------------------
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-CTLCardinality-00
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-01
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-02
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-03
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-04
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-05
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-06
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-07
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-08
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-09
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-10
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-11
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-12
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-13
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-14
FORMULA_NAME CANInsertWithFailure-PT-100-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1678452267084
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=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CANInsertWithFailure-PT-100
Not applying reductions.
Model is PT
CTLCardinality PT
starting LoLA
BK_INPUT CANInsertWithFailure-PT-100
BK_EXAMINATION: CTLCardinality
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
BK_STOP 1678453298885
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 10613380 kB
After kill :
MemTotal: 16393340 kB
MemFree: 10611456 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/CTLCardinality.xml
lola: rewrite Frontend/Parser/formula_rewrite.k:544
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:253
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:439
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:388
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:553
lola: rewrite Frontend/Parser/formula_rewrite.k:553
lola: rewrite Frontend/Parser/formula_rewrite.k:253
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:544
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:250
lola: rewrite Frontend/Parser/formula_rewrite.k:250
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:544
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:547
lola: rewrite Frontend/Parser/formula_rewrite.k:394
lola: rewrite Frontend/Parser/formula_rewrite.k:400
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:454
lola: rewrite Frontend/Parser/formula_rewrite.k:544
lola: rewrite Frontend/Parser/formula_rewrite.k:250
lola: rewrite Frontend/Parser/formula_rewrite.k:250
lola: rewrite Frontend/Parser/formula_rewrite.k:250
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:250
lola: rewrite Frontend/Parser/formula_rewrite.k:325
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:544
lola: rewrite Frontend/Parser/formula_rewrite.k:397
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:322
lola: rewrite Frontend/Parser/formula_rewrite.k:337
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:544
lola: rewrite Frontend/Parser/formula_rewrite.k:547
lola: RELEASE
lola: RELEASE
lola: RELEASE
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Rule S: 0 transitions removed,0 places removed
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-100-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 696 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-100-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 701 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-100-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 706 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-100-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 711 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-100-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 716 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-100-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 721 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-100-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 726 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-100-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 731 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-100-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 736 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 0.000000 secs.
lola: NOTDEADLOCKFREE
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: RELEASE
lola: RELEASE
lola: Created skeleton in 0.000000 secs.
lola: NOTDEADLOCKFREE
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: LAUNCH task # 70 (type SKEL/FNDP) for 36 CANInsertWithFailure-PT-100-CTLCardinality-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 71 (type SKEL/EQUN) for 36 CANInsertWithFailure-PT-100-CTLCardinality-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: LAUNCH task # 72 (type SKEL/SRCH) for 36 CANInsertWithFailure-PT-100-CTLCardinality-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 73 (type SKEL/SRCH) for 36 CANInsertWithFailure-PT-100-CTLCardinality-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
sara: try reading problem file /home/mcc/execution/CTLCardinality-71.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 73 (type SKEL/SRCH) for CANInsertWithFailure-PT-100-CTLCardinality-12
lola: result : unknown
lola: markings : 198099
lola: fired transitions : 771748
lola: time used : 2.000000
lola: memory pages used : 1
lola: Created skeleton in 2.000000 secs.
lola: NOTDEADLOCKFREE
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-100-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 3/2862 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 248447 t fired, 4975 attempts, .
71 EF STEQ 3/2862 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 3/2862 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 82770 m, 16554 m/sec, 213391 t fired, .
Time elapsed: 741 secs. Pages in use: 2
# running tasks: 3 of 4 Visible: 16
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: RELEASE
lola: Created skeleton in 3.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: LAUNCH task # 76 (type SKEL/FNDP) for 43 CANInsertWithFailure-PT-100-CTLCardinality-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 76 (type SKEL/FNDP) for CANInsertWithFailure-PT-100-CTLCardinality-13
lola: result : true
lola: fired transitions : 9
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-100-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 0 0 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 8/2862 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 917568 t fired, 16263 attempts, .
71 EF STEQ 8/2862 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 8/2862 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 302128 m, 43871 m/sec, 938346 t fired, .
Time elapsed: 746 secs. Pages in use: 2
# running tasks: 3 of 4 Visible: 16
lola: Created skeleton in 4.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:753
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: LAUNCH task # 81 (type SKEL/SRCH) for 43 CANInsertWithFailure-PT-100-CTLCardinality-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
sara: warning, failure of lp_solve (at job 3826)
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
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-100-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 4 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 13/1418 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 1221735 t fired, 20846 attempts, .
71 EF STEQ 13/1418 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 13/1418 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 394713 m, 18517 m/sec, 1233851 t fired, .
81 EXEF SRCH 2/1423 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 57337 m, 11467 m/sec, 153187 t fired, .
Time elapsed: 751 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
lola: Created skeleton in 2.000000 secs.
lola: Created skeleton in 3.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-100-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 4 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 18/1418 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 1826202 t fired, 29558 attempts, .
71 EF STEQ 18/1418 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 18/1418 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 533429 m, 27743 m/sec, 1836522 t fired, .
81 EXEF SRCH 7/1423 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 167312 m, 21995 m/sec, 498123 t fired, .
Time elapsed: 756 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
lola: Created skeleton in 1.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-100-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 4 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 23/1413 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 2431741 t fired, 37761 attempts, .
71 EF STEQ 23/1413 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 23/1413 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 682116 m, 29737 m/sec, 2385066 t fired, .
81 EXEF SRCH 12/1418 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 266873 m, 19912 m/sec, 795432 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 4 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 28/1408 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 3034521 t fired, 45680 attempts, .
71 EF STEQ 28/1408 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 28/1408 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 782349 m, 20046 m/sec, 3023182 t fired, .
81 EXEF SRCH 17/1413 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 367615 m, 20148 m/sec, 1108404 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 4 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 33/1403 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 3633780 t fired, 53252 attempts, .
71 EF STEQ 33/1403 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 33/1403 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 936552 m, 30840 m/sec, 3628736 t fired, .
81 EXEF SRCH 22/1408 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 444919 m, 15460 m/sec, 1356711 t fired, .
Time elapsed: 771 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
lola: Created skeleton in 14.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:753
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: RELEASE
lola: RELEASE
lola: RELEASE
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-100-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 38/920 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 4234857 t fired, 60634 attempts, .
71 EF STEQ 38/920 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 38/920 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 1099507 m, 32591 m/sec, 4212774 t fired, .
81 EXEF SRCH 27/689 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 536224 m, 18261 m/sec, 1661171 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 43/916 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 4566969 t fired, 64662 attempts, .
71 EF STEQ 43/916 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 43/916 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 1188089 m, 17716 m/sec, 4568703 t fired, .
81 EXEF SRCH 32/685 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 617269 m, 16209 m/sec, 1951209 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 48/911 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 4928077 t fired, 68929 attempts, .
71 EF STEQ 48/911 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 48/911 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 1253858 m, 13153 m/sec, 4917794 t fired, .
81 EXEF SRCH 37/680 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 672794 m, 11105 m/sec, 2273300 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 0 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 53/906 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 5468228 t fired, 75208 attempts, .
71 EF STEQ 53/906 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 53/906 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 1379245 m, 25077 m/sec, 5479932 t fired, .
81 EXEF SRCH 42/675 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 800438 m, 25528 m/sec, 2937150 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 58/898 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 5948072 t fired, 80676 attempts, .
71 EF STEQ 58/898 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 58/898 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 1528124 m, 29775 m/sec, 6135075 t fired, .
81 EXEF SRCH 47/667 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 975188 m, 34950 m/sec, 3471879 t fired, .
Time elapsed: 796 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 63/896 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 6562604 t fired, 87602 attempts, .
71 EF STEQ 63/896 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 63/896 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 1710046 m, 36384 m/sec, 6831899 t fired, .
81 EXEF SRCH 52/665 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 1153061 m, 35574 m/sec, 4051037 t fired, .
Time elapsed: 801 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 68/891 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 7173345 t fired, 94494 attempts, .
71 EF STEQ 68/891 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 68/891 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 1888082 m, 35607 m/sec, 7568845 t fired, .
81 EXEF SRCH 57/660 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 1299763 m, 29340 m/sec, 4665053 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 73/886 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 7784029 t fired, 101244 attempts, .
71 EF STEQ 73/886 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 73/886 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 2070603 m, 36504 m/sec, 8209818 t fired, .
81 EXEF SRCH 62/655 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 1440819 m, 28211 m/sec, 5271020 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 78/881 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 8385563 t fired, 107777 attempts, .
71 EF STEQ 78/881 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 78/881 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 2187082 m, 23295 m/sec, 8887685 t fired, .
81 EXEF SRCH 67/650 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 1578856 m, 27607 m/sec, 5865973 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 83/876 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 8933298 t fired, 113595 attempts, .
71 EF STEQ 83/876 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 83/876 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 2319158 m, 26415 m/sec, 9513494 t fired, .
81 EXEF SRCH 72/645 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 1790757 m, 42380 m/sec, 6474395 t fired, .
Time elapsed: 821 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 88/871 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 9461629 t fired, 119124 attempts, .
71 EF STEQ 88/871 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 88/871 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 2512357 m, 38639 m/sec, 10099548 t fired, .
81 EXEF SRCH 77/640 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 1993669 m, 40582 m/sec, 7164300 t fired, .
Time elapsed: 826 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 93/866 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 9987583 t fired, 124571 attempts, .
71 EF STEQ 93/866 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 93/866 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 2680239 m, 33576 m/sec, 10738721 t fired, .
81 EXEF SRCH 82/635 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 2144427 m, 30151 m/sec, 7876052 t fired, .
Time elapsed: 831 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 98/861 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 10519378 t fired, 129945 attempts, .
71 EF STEQ 98/861 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 98/861 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 2823080 m, 28568 m/sec, 11419655 t fired, .
81 EXEF SRCH 87/630 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 2323210 m, 35756 m/sec, 8492187 t fired, .
Time elapsed: 836 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 103/856 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 11060960 t fired, 135386 attempts, .
71 EF STEQ 103/856 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 103/856 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 2991447 m, 33673 m/sec, 12053526 t fired, .
81 EXEF SRCH 92/625 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 2531374 m, 41632 m/sec, 9132309 t fired, .
Time elapsed: 841 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 108/851 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 11596754 t fired, 140690 attempts, .
71 EF STEQ 108/851 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 108/851 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 3140515 m, 29813 m/sec, 12710273 t fired, .
81 EXEF SRCH 97/620 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 2712738 m, 36272 m/sec, 9791267 t fired, .
Time elapsed: 846 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 113/846 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 12131349 t fired, 145872 attempts, .
71 EF STEQ 113/846 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 113/846 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 3289222 m, 29741 m/sec, 13395782 t fired, .
81 EXEF SRCH 102/615 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 2887885 m, 35029 m/sec, 10424768 t fired, .
Time elapsed: 851 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 118/841 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 12683408 t fired, 151185 attempts, .
71 EF STEQ 118/841 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 118/841 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 3428551 m, 27865 m/sec, 14060120 t fired, .
81 EXEF SRCH 107/610 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 3054992 m, 33421 m/sec, 11114653 t fired, .
Time elapsed: 856 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 123/836 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 13269845 t fired, 156751 attempts, .
71 EF STEQ 123/836 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 123/836 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 3570230 m, 28335 m/sec, 14738820 t fired, .
81 EXEF SRCH 112/605 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 3220654 m, 33132 m/sec, 11797260 t fired, .
Time elapsed: 861 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 128/831 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 13865781 t fired, 162336 attempts, .
71 EF STEQ 128/831 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 128/831 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 3768287 m, 39611 m/sec, 15194971 t fired, .
81 EXEF SRCH 117/600 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 3382192 m, 32307 m/sec, 12433083 t fired, .
Time elapsed: 866 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 133/826 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 14458849 t fired, 167772 attempts, .
71 EF STEQ 133/826 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 133/826 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 3848327 m, 16008 m/sec, 15705857 t fired, .
81 EXEF SRCH 122/595 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 3513297 m, 26221 m/sec, 13123820 t fired, .
Time elapsed: 871 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 138/821 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 15051985 t fired, 173171 attempts, .
71 EF STEQ 138/821 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 138/821 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 3931414 m, 16617 m/sec, 16207721 t fired, .
81 EXEF SRCH 127/590 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 3644411 m, 26222 m/sec, 13811049 t fired, .
Time elapsed: 876 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 143/816 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 15646383 t fired, 178529 attempts, .
71 EF STEQ 143/816 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 143/816 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 4011161 m, 15949 m/sec, 16717099 t fired, .
81 EXEF SRCH 132/585 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 3773995 m, 25916 m/sec, 14491238 t fired, .
Time elapsed: 881 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 148/811 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 16235605 t fired, 183805 attempts, .
71 EF STEQ 148/811 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 148/811 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 4094585 m, 16684 m/sec, 17221918 t fired, .
81 EXEF SRCH 137/580 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 3908692 m, 26939 m/sec, 15200065 t fired, .
Time elapsed: 886 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 153/806 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 16828982 t fired, 189012 attempts, .
71 EF STEQ 153/806 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 153/806 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 4176487 m, 16380 m/sec, 17738666 t fired, .
81 EXEF SRCH 142/575 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 4045033 m, 27268 m/sec, 15919153 t fired, .
Time elapsed: 891 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 158/801 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 17423449 t fired, 194287 attempts, .
71 EF STEQ 158/801 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 158/801 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 4262159 m, 17134 m/sec, 18253911 t fired, .
81 EXEF SRCH 147/570 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 4212855 m, 33564 m/sec, 16597249 t fired, .
Time elapsed: 896 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 163/796 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 18020676 t fired, 199380 attempts, .
71 EF STEQ 163/796 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 163/796 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 4343379 m, 16244 m/sec, 18761151 t fired, .
81 EXEF SRCH 152/565 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 4377790 m, 32987 m/sec, 17249072 t fired, .
Time elapsed: 901 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 168/791 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 18618577 t fired, 204509 attempts, .
71 EF STEQ 168/791 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 168/791 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 4424507 m, 16225 m/sec, 19268977 t fired, .
81 EXEF SRCH 157/560 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 4543439 m, 33129 m/sec, 17867685 t fired, .
Time elapsed: 906 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 173/786 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 19213931 t fired, 209562 attempts, .
71 EF STEQ 173/786 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 173/786 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 4507652 m, 16629 m/sec, 19777238 t fired, .
81 EXEF SRCH 162/555 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 4694147 m, 30141 m/sec, 18410681 t fired, .
Time elapsed: 911 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 178/781 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 19810081 t fired, 214575 attempts, .
71 EF STEQ 178/781 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 178/781 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 4588035 m, 16076 m/sec, 20286485 t fired, .
81 EXEF SRCH 167/550 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 4879723 m, 37115 m/sec, 19006819 t fired, .
Time elapsed: 916 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 183/776 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 20413123 t fired, 219600 attempts, .
71 EF STEQ 183/776 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 183/776 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 4673015 m, 16996 m/sec, 20800662 t fired, .
81 EXEF SRCH 172/545 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 5048465 m, 33748 m/sec, 19636717 t fired, .
Time elapsed: 921 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 188/771 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 21011862 t fired, 224646 attempts, .
71 EF STEQ 188/771 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 188/771 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 4756946 m, 16786 m/sec, 21322866 t fired, .
81 EXEF SRCH 177/540 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 5222048 m, 34716 m/sec, 20290864 t fired, .
Time elapsed: 926 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 193/766 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 21618198 t fired, 229632 attempts, .
71 EF STEQ 193/766 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 193/766 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 4841986 m, 17008 m/sec, 21862300 t fired, .
81 EXEF SRCH 182/535 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 5345940 m, 24778 m/sec, 20990424 t fired, .
Time elapsed: 931 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 198/761 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 22225757 t fired, 234537 attempts, .
71 EF STEQ 198/761 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 198/761 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 4941404 m, 19883 m/sec, 22462269 t fired, .
81 EXEF SRCH 187/530 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 5483675 m, 27547 m/sec, 21677883 t fired, .
Time elapsed: 936 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 203/756 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 22833591 t fired, 239372 attempts, .
71 EF STEQ 203/756 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 203/756 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 5124341 m, 36587 m/sec, 23043287 t fired, .
81 EXEF SRCH 192/525 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 5702995 m, 43864 m/sec, 22311278 t fired, .
Time elapsed: 941 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 208/751 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 23436322 t fired, 244398 attempts, .
71 EF STEQ 208/751 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 208/751 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 5253512 m, 25834 m/sec, 23653092 t fired, .
81 EXEF SRCH 197/520 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 5886492 m, 36699 m/sec, 23008960 t fired, .
Time elapsed: 946 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 213/746 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 24042497 t fired, 249338 attempts, .
71 EF STEQ 213/746 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 213/746 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 5396103 m, 28518 m/sec, 24202048 t fired, .
81 EXEF SRCH 202/515 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 6066899 m, 36081 m/sec, 23614492 t fired, .
Time elapsed: 951 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 218/741 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 24645138 t fired, 254158 attempts, .
71 EF STEQ 218/741 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 218/741 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 5527585 m, 26296 m/sec, 24731152 t fired, .
81 EXEF SRCH 207/510 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 6284377 m, 43495 m/sec, 24281196 t fired, .
Time elapsed: 956 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 223/736 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 25255989 t fired, 259088 attempts, .
71 EF STEQ 223/736 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 223/736 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 5691811 m, 32845 m/sec, 25238171 t fired, .
81 EXEF SRCH 212/505 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 6480455 m, 39215 m/sec, 24947456 t fired, .
Time elapsed: 961 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 228/731 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 25863690 t fired, 263910 attempts, .
71 EF STEQ 228/731 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 228/731 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 5817906 m, 25219 m/sec, 25829831 t fired, .
81 EXEF SRCH 217/500 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 6656543 m, 35217 m/sec, 25645853 t fired, .
Time elapsed: 966 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 233/726 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 26475991 t fired, 268676 attempts, .
71 EF STEQ 233/726 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 233/726 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 5952397 m, 26898 m/sec, 26405228 t fired, .
81 EXEF SRCH 222/495 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 6827692 m, 34229 m/sec, 26335257 t fired, .
Time elapsed: 971 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 238/721 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 27082314 t fired, 273450 attempts, .
71 EF STEQ 238/721 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 238/721 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 6077795 m, 25079 m/sec, 26985153 t fired, .
81 EXEF SRCH 227/490 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 6984561 m, 31373 m/sec, 27038973 t fired, .
Time elapsed: 976 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 243/716 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 27750049 t fired, 278722 attempts, .
71 EF STEQ 243/716 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 243/716 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 6199386 m, 24318 m/sec, 27595817 t fired, .
81 EXEF SRCH 232/485 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 7145872 m, 32262 m/sec, 27703667 t fired, .
Time elapsed: 981 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 248/711 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 28750157 t fired, 286652 attempts, .
71 EF STEQ 248/711 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 248/711 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 6397227 m, 39568 m/sec, 28595458 t fired, .
81 EXEF SRCH 237/480 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 7351970 m, 41219 m/sec, 28660711 t fired, .
Time elapsed: 986 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 253/706 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 31185994 t fired, 305374 attempts, .
71 EF STEQ 253/706 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 253/706 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 6915267 m, 103608 m/sec, 31223977 t fired, .
81 EXEF SRCH 242/475 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 7925496 m, 114705 m/sec, 31304574 t fired, .
Time elapsed: 991 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 259/701 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 32755253 t fired, 317255 attempts, .
71 EF STEQ 259/701 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 259/701 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 7216349 m, 60216 m/sec, 32743043 t fired, .
81 EXEF SRCH 248/470 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 8318079 m, 78516 m/sec, 33127940 t fired, .
Time elapsed: 997 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 264/695 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 33009057 t fired, 319258 attempts, .
71 EF STEQ 264/695 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 264/695 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 7296368 m, 16003 m/sec, 33146616 t fired, .
81 EXEF SRCH 253/464 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 8347820 m, 5948 m/sec, 33261939 t fired, .
Time elapsed: 1002 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 269/690 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 33380895 t fired, 322074 attempts, .
71 EF STEQ 269/690 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 269/690 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 7339662 m, 8658 m/sec, 33357737 t fired, .
81 EXEF SRCH 258/459 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 8478018 m, 26039 m/sec, 33863460 t fired, .
Time elapsed: 1007 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 274/685 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 34151782 t fired, 328090 attempts, .
71 EF STEQ 274/685 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 274/685 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 7365449 m, 5157 m/sec, 33494893 t fired, .
81 EXEF SRCH 263/454 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 8548144 m, 14025 m/sec, 34122765 t fired, .
Time elapsed: 1012 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 279/680 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 35025746 t fired, 334618 attempts, .
71 EF STEQ 279/680 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 279/680 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 7509366 m, 28783 m/sec, 34209618 t fired, .
81 EXEF SRCH 268/449 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 8600614 m, 10494 m/sec, 34288481 t fired, .
Time elapsed: 1017 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 284/675 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 35585688 t fired, 338714 attempts, .
71 EF STEQ 284/675 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 284/675 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 7548661 m, 7859 m/sec, 34415590 t fired, .
81 EXEF SRCH 273/444 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 8674777 m, 14832 m/sec, 34583799 t fired, .
Time elapsed: 1022 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-CTLCardinality-00: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-01: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-02: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-03: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-04: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-05: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-06: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-07: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-08: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-09: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-10: CTL 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-11: EG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-12: CONJ 0 0 3 0 2 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-13: DISJ 0 5 1 0 1 0 0 3
CANInsertWithFailure-PT-100-CTLCardinality-14: CONJ 0 4 0 0 1 0 0 0
CANInsertWithFailure-PT-100-CTLCardinality-15: CTL 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
70 EF FNDP 289/670 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 36128271 t fired, 342810 attempts, .
71 EF STEQ 289/670 0/5 CANInsertWithFailure-PT-100-CTLCardinality-12 sara is running.
72 EF SRCH 289/670 1/5 CANInsertWithFailure-PT-100-CTLCardinality-12 7610862 m, 12440 m/sec, 34726934 t fired, .
81 EXEF SRCH 278/439 1/5 CANInsertWithFailure-PT-100-CTLCardinality-13 8889896 m, 43023 m/sec, 35449424 t fired, .
Time elapsed: 1027 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
/home/mcc/BenchKit/bin//../lola/bin//../BenchKit_head.sh: line 63: 379 Killed lola --conf=$BIN_DIR/configfiles/ctlcardinalityconf --formula=$DIR/CTLCardinality.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="CTLCardinality"
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 CTLCardinality"
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-167813691900777"
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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;