About the Execution of LoLA for CANInsertWithFailure-PT-050
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16225.668 | 560561.00 | 4157729.00 | 22083.20 | FTTFTFT?TTFFFFTT | normal |
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-167813691900743.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-050, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r038-tajo-167813691900743
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 9.8K Feb 26 00:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 26 00:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 00:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 26 00:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 15:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 15:41 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 25 15:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:41 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 01:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 112K Feb 26 01:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 10K Feb 26 00:59 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 00:59 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 16M 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-050-ReachabilityFireability-00
FORMULA_NAME CANInsertWithFailure-PT-050-ReachabilityFireability-01
FORMULA_NAME CANInsertWithFailure-PT-050-ReachabilityFireability-02
FORMULA_NAME CANInsertWithFailure-PT-050-ReachabilityFireability-03
FORMULA_NAME CANInsertWithFailure-PT-050-ReachabilityFireability-04
FORMULA_NAME CANInsertWithFailure-PT-050-ReachabilityFireability-05
FORMULA_NAME CANInsertWithFailure-PT-050-ReachabilityFireability-06
FORMULA_NAME CANInsertWithFailure-PT-050-ReachabilityFireability-07
FORMULA_NAME CANInsertWithFailure-PT-050-ReachabilityFireability-08
FORMULA_NAME CANInsertWithFailure-PT-050-ReachabilityFireability-09
FORMULA_NAME CANInsertWithFailure-PT-050-ReachabilityFireability-10
FORMULA_NAME CANInsertWithFailure-PT-050-ReachabilityFireability-11
FORMULA_NAME CANInsertWithFailure-PT-050-ReachabilityFireability-12
FORMULA_NAME CANInsertWithFailure-PT-050-ReachabilityFireability-13
FORMULA_NAME CANInsertWithFailure-PT-050-ReachabilityFireability-14
FORMULA_NAME CANInsertWithFailure-PT-050-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1678449775673
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=ReachabilityFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CANInsertWithFailure-PT-050
Not applying reductions.
Model is PT
ReachabilityFireability PT
starting LoLA
BK_INPUT CANInsertWithFailure-PT-050
BK_EXAMINATION: ReachabilityFireability
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
ReachabilityFireability
FORMULA CANInsertWithFailure-PT-050-ReachabilityFireability-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CANInsertWithFailure-PT-050-ReachabilityFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CANInsertWithFailure-PT-050-ReachabilityFireability-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CANInsertWithFailure-PT-050-ReachabilityFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CANInsertWithFailure-PT-050-ReachabilityFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CANInsertWithFailure-PT-050-ReachabilityFireability-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CANInsertWithFailure-PT-050-ReachabilityFireability-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CANInsertWithFailure-PT-050-ReachabilityFireability-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CANInsertWithFailure-PT-050-ReachabilityFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CANInsertWithFailure-PT-050-ReachabilityFireability-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CANInsertWithFailure-PT-050-ReachabilityFireability-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CANInsertWithFailure-PT-050-ReachabilityFireability-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CANInsertWithFailure-PT-050-ReachabilityFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CANInsertWithFailure-PT-050-ReachabilityFireability-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CANInsertWithFailure-PT-050-ReachabilityFireability-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1678450336234
--------------------
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/ReachabilityFireability.xml
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Rule S: 0 transitions removed,0 places removed
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 49 (type SKEL/FNDP) for 6 CANInsertWithFailure-PT-050-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 50 (type SKEL/EQUN) for 6 CANInsertWithFailure-PT-050-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 52 (type SKEL/SRCH) for 6 CANInsertWithFailure-PT-050-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 53 (type SKEL/SRCH) for 6 CANInsertWithFailure-PT-050-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 52 (type SKEL/SRCH) for CANInsertWithFailure-PT-050-ReachabilityFireability-02
lola: result : true
lola: markings : 11
lola: fired transitions : 10
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 49 (type FNDP) for CANInsertWithFailure-PT-050-ReachabilityFireability-02 (obsolete)
lola: CANCELED task # 50 (type EQUN) for CANInsertWithFailure-PT-050-ReachabilityFireability-02 (obsolete)
lola: CANCELED task # 53 (type SRCH) for CANInsertWithFailure-PT-050-ReachabilityFireability-02 (obsolete)
lola: FINISHED task # 49 (type SKEL/FNDP) for CANInsertWithFailure-PT-050-ReachabilityFireability-02
lola: result : true
lola: fired transitions : 9
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-50.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 50 (type SKEL/EQUN) for CANInsertWithFailure-PT-050-ReachabilityFireability-02
lola: result : true
lola: Created skeleton in 1.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 57 (type SKEL/FNDP) for 39 CANInsertWithFailure-PT-050-ReachabilityFireability-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 58 (type SKEL/EQUN) for 39 CANInsertWithFailure-PT-050-ReachabilityFireability-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 60 (type SKEL/SRCH) for 39 CANInsertWithFailure-PT-050-ReachabilityFireability-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 61 (type SKEL/SRCH) for 39 CANInsertWithFailure-PT-050-ReachabilityFireability-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 57 (type SKEL/FNDP) for CANInsertWithFailure-PT-050-ReachabilityFireability-13
lola: result : true
lola: fired transitions : 9
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: FINISHED task # 60 (type SKEL/SRCH) for CANInsertWithFailure-PT-050-ReachabilityFireability-13
lola: result : true
lola: markings : 11
lola: fired transitions : 10
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 58 (type EQUN) for CANInsertWithFailure-PT-050-ReachabilityFireability-13 (obsolete)
lola: CANCELED task # 61 (type SRCH) for CANInsertWithFailure-PT-050-ReachabilityFireability-13 (obsolete)
lola: Created skeleton in 0.000000 secs.
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-58.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 58 (type SKEL/EQUN) for CANInsertWithFailure-PT-050-ReachabilityFireability-13
lola: result : true
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 64 (type SKEL/FNDP) for 18 CANInsertWithFailure-PT-050-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 65 (type SKEL/EQUN) for 18 CANInsertWithFailure-PT-050-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 67 (type SKEL/SRCH) for 18 CANInsertWithFailure-PT-050-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 68 (type SKEL/SRCH) for 18 CANInsertWithFailure-PT-050-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-65.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 64 (type SKEL/FNDP) for CANInsertWithFailure-PT-050-ReachabilityFireability-06
lola: result : true
lola: fired transitions : 10
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 65 (type EQUN) for CANInsertWithFailure-PT-050-ReachabilityFireability-06 (obsolete)
lola: CANCELED task # 67 (type SRCH) for CANInsertWithFailure-PT-050-ReachabilityFireability-06 (obsolete)
lola: CANCELED task # 68 (type SRCH) for CANInsertWithFailure-PT-050-ReachabilityFireability-06 (obsolete)
lola: FINISHED task # 68 (type SKEL/SRCH) for CANInsertWithFailure-PT-050-ReachabilityFireability-06
lola: result : true
lola: markings : 281
lola: fired transitions : 284
lola: time used : 0.000000
lola: memory pages used : 1
lola: FINISHED task # 67 (type SKEL/SRCH) for CANInsertWithFailure-PT-050-ReachabilityFireability-06
lola: result : true
lola: markings : 12
lola: fired transitions : 11
lola: time used : 0.000000
lola: memory pages used : 1
lola: FINISHED task # 65 (type SKEL/EQUN) for CANInsertWithFailure-PT-050-ReachabilityFireability-06
lola: result : true
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF 0 0 0 0 4 0 0 1
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 76 secs. Pages in use: 2
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF 0 0 0 0 4 0 0 1
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 81 secs. Pages in use: 2
# running tasks: 0 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-050-ReachabilityFireability-00: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF 0 0 0 0 4 0 0 1
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 86 secs. Pages in use: 2
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 2.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 71 (type SKEL/FNDP) for 27 CANInsertWithFailure-PT-050-ReachabilityFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 72 (type SKEL/EQUN) for 27 CANInsertWithFailure-PT-050-ReachabilityFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 74 (type SKEL/SRCH) for 27 CANInsertWithFailure-PT-050-ReachabilityFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 75 (type SKEL/SRCH) for 27 CANInsertWithFailure-PT-050-ReachabilityFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 74 (type SKEL/SRCH) for CANInsertWithFailure-PT-050-ReachabilityFireability-09
lola: result : true
lola: markings : 11
lola: fired transitions : 10
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 71 (type FNDP) for CANInsertWithFailure-PT-050-ReachabilityFireability-09 (obsolete)
lola: CANCELED task # 72 (type EQUN) for CANInsertWithFailure-PT-050-ReachabilityFireability-09 (obsolete)
lola: CANCELED task # 75 (type SRCH) for CANInsertWithFailure-PT-050-ReachabilityFireability-09 (obsolete)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 71 (type SKEL/FNDP) for CANInsertWithFailure-PT-050-ReachabilityFireability-09
lola: result : true
lola: fired transitions : 9
lola: tried executions : 1
lola: time used : 1.000000
lola: memory pages used : 0
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-72.sara.
sara: place or transition ordering is non-deterministic
lola: Created skeleton in 1.000000 secs.
lola: FINISHED task # 72 (type SKEL/EQUN) for CANInsertWithFailure-PT-050-ReachabilityFireability-09
lola: result : true
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 78 (type SKEL/FNDP) for 24 CANInsertWithFailure-PT-050-ReachabilityFireability-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 79 (type SKEL/EQUN) for 24 CANInsertWithFailure-PT-050-ReachabilityFireability-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 81 (type SKEL/SRCH) for 24 CANInsertWithFailure-PT-050-ReachabilityFireability-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 82 (type SKEL/SRCH) for 24 CANInsertWithFailure-PT-050-ReachabilityFireability-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 81 (type SKEL/SRCH) for CANInsertWithFailure-PT-050-ReachabilityFireability-08
lola: result : true
lola: markings : 11
lola: fired transitions : 10
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 78 (type FNDP) for CANInsertWithFailure-PT-050-ReachabilityFireability-08 (obsolete)
lola: CANCELED task # 79 (type EQUN) for CANInsertWithFailure-PT-050-ReachabilityFireability-08 (obsolete)
lola: CANCELED task # 82 (type SRCH) for CANInsertWithFailure-PT-050-ReachabilityFireability-08 (obsolete)
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-79.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 78 (type SKEL/FNDP) for CANInsertWithFailure-PT-050-ReachabilityFireability-08
lola: result : true
lola: fired transitions : 9
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: FINISHED task # 79 (type SKEL/EQUN) for CANInsertWithFailure-PT-050-ReachabilityFireability-08
lola: result : true
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF 0 0 0 0 4 0 0 1
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 91 secs. Pages in use: 2
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF 0 0 0 0 4 0 0 1
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 96 secs. Pages in use: 2
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF 0 0 0 0 4 0 0 1
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 101 secs. Pages in use: 2
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 14.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 86 (type SKEL/FNDP) for 36 CANInsertWithFailure-PT-050-ReachabilityFireability-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 87 (type SKEL/EQUN) for 36 CANInsertWithFailure-PT-050-ReachabilityFireability-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 89 (type SKEL/SRCH) for 36 CANInsertWithFailure-PT-050-ReachabilityFireability-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 90 (type SKEL/SRCH) for 36 CANInsertWithFailure-PT-050-ReachabilityFireability-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 86 (type SKEL/FNDP) for CANInsertWithFailure-PT-050-ReachabilityFireability-12
lola: result : true
lola: fired transitions : 8
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 87 (type EQUN) for CANInsertWithFailure-PT-050-ReachabilityFireability-12 (obsolete)
lola: CANCELED task # 89 (type SRCH) for CANInsertWithFailure-PT-050-ReachabilityFireability-12 (obsolete)
lola: CANCELED task # 90 (type SRCH) for CANInsertWithFailure-PT-050-ReachabilityFireability-12 (obsolete)
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-87.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 87 (type SKEL/EQUN) for CANInsertWithFailure-PT-050-ReachabilityFireability-12
lola: result : true
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF 0 0 0 0 4 0 0 1
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 0 0 0 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 107 secs. Pages in use: 2
# running tasks: 0 of 4 Visible: 16
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-050-ReachabilityFireability-00: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF 0 0 0 0 4 0 0 1
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 112 secs. Pages in use: 2
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF 0 0 0 0 4 0 0 1
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 117 secs. Pages in use: 2
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF 0 0 0 0 4 0 0 1
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 122 secs. Pages in use: 2
# running tasks: 0 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 96 (type EXCL) for 27 CANInsertWithFailure-PT-050-ReachabilityFireability-09
lola: time limit : 217 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 92 (type FNDP) for 27 CANInsertWithFailure-PT-050-ReachabilityFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 93 (type EQUN) for 27 CANInsertWithFailure-PT-050-ReachabilityFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 95 (type SRCH) for 27 CANInsertWithFailure-PT-050-ReachabilityFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-93.sara.
lola: FINISHED task # 95 (type SRCH) for CANInsertWithFailure-PT-050-ReachabilityFireability-09
lola: result : true
lola: markings : 5
lola: fired transitions : 4
lola: time used : 1.000000
lola: memory pages used : 1
lola: CANCELED task # 92 (type FNDP) for CANInsertWithFailure-PT-050-ReachabilityFireability-09 (obsolete)
lola: CANCELED task # 93 (type EQUN) for CANInsertWithFailure-PT-050-ReachabilityFireability-09 (obsolete)
lola: CANCELED task # 96 (type EXCL) for CANInsertWithFailure-PT-050-ReachabilityFireability-09 (obsolete)
lola: FINISHED task # 93 (type EQUN) for CANInsertWithFailure-PT-050-ReachabilityFireability-09
lola: result : unknown
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF 0 0 0 0 4 0 0 1
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 127 secs. Pages in use: 2
# running tasks: 0 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 103 (type EXCL) for 33 CANInsertWithFailure-PT-050-ReachabilityFireability-11
lola: time limit : 231 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 99 (type FNDP) for 33 CANInsertWithFailure-PT-050-ReachabilityFireability-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 100 (type EQUN) for 33 CANInsertWithFailure-PT-050-ReachabilityFireability-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 102 (type SRCH) for 33 CANInsertWithFailure-PT-050-ReachabilityFireability-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 92 (type FNDP) for CANInsertWithFailure-PT-050-ReachabilityFireability-09
lola: result : true
lola: fired transitions : 3
lola: tried executions : 1
lola: time used : 5.000000
lola: memory pages used : 0
lola: FINISHED task # 102 (type SRCH) for CANInsertWithFailure-PT-050-ReachabilityFireability-11
lola: result : true
lola: markings : 5
lola: fired transitions : 4
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 99 (type FNDP) for CANInsertWithFailure-PT-050-ReachabilityFireability-11 (obsolete)
lola: CANCELED task # 100 (type EQUN) for CANInsertWithFailure-PT-050-ReachabilityFireability-11 (obsolete)
lola: CANCELED task # 103 (type EXCL) for CANInsertWithFailure-PT-050-ReachabilityFireability-11 (obsolete)
lola: LAUNCH task # 109 (type EXCL) for 42 CANInsertWithFailure-PT-050-ReachabilityFireability-14
lola: time limit : 247 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 105 (type FNDP) for 42 CANInsertWithFailure-PT-050-ReachabilityFireability-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 106 (type EQUN) for 42 CANInsertWithFailure-PT-050-ReachabilityFireability-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 108 (type SRCH) for 42 CANInsertWithFailure-PT-050-ReachabilityFireability-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 100 (type EQUN) for CANInsertWithFailure-PT-050-ReachabilityFireability-11
lola: result : unknown
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 105 (type FNDP) for CANInsertWithFailure-PT-050-ReachabilityFireability-14
lola: result : true
lola: fired transitions : 1466
lola: tried executions : 39
lola: time used : 1.000000
lola: memory pages used : 0
lola: CANCELED task # 106 (type EQUN) for CANInsertWithFailure-PT-050-ReachabilityFireability-14 (obsolete)
lola: CANCELED task # 108 (type SRCH) for CANInsertWithFailure-PT-050-ReachabilityFireability-14 (obsolete)
lola: CANCELED task # 109 (type EXCL) for CANInsertWithFailure-PT-050-ReachabilityFireability-14 (obsolete)
lola: FINISHED task # 99 (type FNDP) for CANInsertWithFailure-PT-050-ReachabilityFireability-11
lola: result : true
lola: fired transitions : 3
lola: tried executions : 1
lola: time used : 2.000000
lola: memory pages used : 0
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF 0 0 0 0 4 0 0 1
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG 0 0 0 0 2 0 0 3
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 132 secs. Pages in use: 3
# running tasks: 0 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 116 (type EXCL) for 39 CANInsertWithFailure-PT-050-ReachabilityFireability-13
lola: time limit : 266 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 112 (type FNDP) for 39 CANInsertWithFailure-PT-050-ReachabilityFireability-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 113 (type EQUN) for 39 CANInsertWithFailure-PT-050-ReachabilityFireability-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 115 (type SRCH) for 39 CANInsertWithFailure-PT-050-ReachabilityFireability-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-113.sara.
lola: FINISHED task # 115 (type SRCH) for CANInsertWithFailure-PT-050-ReachabilityFireability-13
lola: result : true
lola: markings : 5
lola: fired transitions : 4
lola: time used : 2.000000
lola: memory pages used : 1
lola: CANCELED task # 112 (type FNDP) for CANInsertWithFailure-PT-050-ReachabilityFireability-13 (obsolete)
lola: CANCELED task # 113 (type EQUN) for CANInsertWithFailure-PT-050-ReachabilityFireability-13 (obsolete)
lola: CANCELED task # 116 (type EXCL) for CANInsertWithFailure-PT-050-ReachabilityFireability-13 (obsolete)
lola: LAUNCH task # 122 (type EXCL) for 45 CANInsertWithFailure-PT-050-ReachabilityFireability-15
lola: time limit : 288 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 118 (type FNDP) for 45 CANInsertWithFailure-PT-050-ReachabilityFireability-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 119 (type EQUN) for 45 CANInsertWithFailure-PT-050-ReachabilityFireability-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 121 (type SRCH) for 45 CANInsertWithFailure-PT-050-ReachabilityFireability-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 113 (type EQUN) for CANInsertWithFailure-PT-050-ReachabilityFireability-13
lola: result : unknown
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-119.sara.
lola: FINISHED task # 121 (type SRCH) for CANInsertWithFailure-PT-050-ReachabilityFireability-15
lola: result : true
lola: markings : 19
lola: fired transitions : 18
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 118 (type FNDP) for CANInsertWithFailure-PT-050-ReachabilityFireability-15 (obsolete)
lola: CANCELED task # 119 (type EQUN) for CANInsertWithFailure-PT-050-ReachabilityFireability-15 (obsolete)
lola: CANCELED task # 122 (type EXCL) for CANInsertWithFailure-PT-050-ReachabilityFireability-15 (obsolete)
lola: FINISHED task # 119 (type EQUN) for CANInsertWithFailure-PT-050-ReachabilityFireability-15
lola: result : unknown
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF 0 0 0 0 4 0 0 1
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG 0 0 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
Time elapsed: 137 secs. Pages in use: 3
# running tasks: 0 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 128 (type EXCL) for 21 CANInsertWithFailure-PT-050-ReachabilityFireability-07
lola: time limit : 346 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 124 (type FNDP) for 21 CANInsertWithFailure-PT-050-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 125 (type EQUN) for 21 CANInsertWithFailure-PT-050-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 127 (type SRCH) for 21 CANInsertWithFailure-PT-050-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-125.sara.
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 118 (type FNDP) for CANInsertWithFailure-PT-050-ReachabilityFireability-15
lola: result : true
lola: fired transitions : 17
lola: tried executions : 1
lola: time used : 5.000000
lola: memory pages used : 0
lola: FINISHED task # 112 (type FNDP) for CANInsertWithFailure-PT-050-ReachabilityFireability-13
lola: result : true
lola: fired transitions : 3
lola: tried executions : 1
lola: time used : 7.000000
lola: memory pages used : 0
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF 0 0 0 0 4 0 0 1
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 1 4 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF 0 0 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 3/344 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 8790 t fired, 148 attempts, .
125 EF STEQ 3/382 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
127 EF SRCH 3/382 1/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 7512 m, 1502 m/sec, 14134 t fired, .
128 EF EXCL 3/314 1/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 91 m, 18 m/sec, 95 t fired, .
Time elapsed: 142 secs. Pages in use: 3
# running tasks: 4 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF 0 5 0 0 4 0 0 1
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 1 4 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 8/241 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 60564 t fired, 1089 attempts, .
125 EF STEQ 8/260 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
127 EF SRCH 8/260 3/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 37760 m, 6049 m/sec, 76772 t fired, .
128 EF EXCL 8/314 1/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 2532 m, 488 m/sec, 4837 t fired, .
Time elapsed: 147 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF 0 5 0 0 4 0 0 1
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 1 4 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 13/221 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 118398 t fired, 1939 attempts, .
125 EF STEQ 13/221 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
127 EF SRCH 13/238 3/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 55335 m, 3515 m/sec, 144944 t fired, .
128 EF EXCL 13/314 1/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 6868 m, 867 m/sec, 14242 t fired, .
Time elapsed: 152 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-106.sara.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF 0 5 0 0 4 0 0 1
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 1 4 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 18/217 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 159394 t fired, 2518 attempts, .
125 EF STEQ 18/217 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
127 EF SRCH 18/234 5/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 96762 m, 8285 m/sec, 239918 t fired, .
128 EF EXCL 18/314 1/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 11182 m, 862 m/sec, 23609 t fired, .
Time elapsed: 157 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 127 (type SRCH) for CANInsertWithFailure-PT-050-ReachabilityFireability-07 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF 0 5 0 0 4 0 0 1
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 1 3 0 1 0 1 0
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF 0 5 0 0 3 0 0 2
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG 0 5 0 0 1 0 0 0
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG 0 5 0 0 2 0 0 3
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 23/212 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 194175 t fired, 2981 attempts, .
125 EF STEQ 23/212 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 23/314 1/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 21876 m, 2138 m/sec, 47193 t fired, .
Time elapsed: 162 secs. Pages in use: 6
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 164 (type FNDP) for 3 CANInsertWithFailure-PT-050-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 164 (type FNDP) for CANInsertWithFailure-PT-050-ReachabilityFireability-01
lola: result : true
lola: fired transitions : 6
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 182 (type FNDP) for 12 CANInsertWithFailure-PT-050-ReachabilityFireability-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 182 (type FNDP) for CANInsertWithFailure-PT-050-ReachabilityFireability-04
lola: result : true
lola: fired transitions : 3
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 189 (type FNDP) for 9 CANInsertWithFailure-PT-050-ReachabilityFireability-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 189 (type FNDP) for CANInsertWithFailure-PT-050-ReachabilityFireability-03
lola: result : true
lola: fired transitions : 31
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 137 (type FNDP) for 30 CANInsertWithFailure-PT-050-ReachabilityFireability-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 137 (type FNDP) for CANInsertWithFailure-PT-050-ReachabilityFireability-10
lola: result : true
lola: fired transitions : 3
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 131 (type FNDP) for 15 CANInsertWithFailure-PT-050-ReachabilityFireability-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 131 (type FNDP) for CANInsertWithFailure-PT-050-ReachabilityFireability-05
lola: result : true
lola: fired transitions : 2
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 152 (type FNDP) for 0 CANInsertWithFailure-PT-050-ReachabilityFireability-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 152 (type FNDP) for CANInsertWithFailure-PT-050-ReachabilityFireability-00
lola: result : true
lola: fired transitions : 3
lola: tried executions : 1
lola: time used : 1.000000
lola: memory pages used : 0
lola: LAUNCH task # 176 (type FNDP) for 18 CANInsertWithFailure-PT-050-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 176 (type FNDP) for CANInsertWithFailure-PT-050-ReachabilityFireability-06
lola: result : true
lola: fired transitions : 3
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 145 (type FNDP) for 36 CANInsertWithFailure-PT-050-ReachabilityFireability-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 145 (type FNDP) for CANInsertWithFailure-PT-050-ReachabilityFireability-12
lola: result : true
lola: fired transitions : 3
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 158 (type FNDP) for 6 CANInsertWithFailure-PT-050-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 158 (type FNDP) for CANInsertWithFailure-PT-050-ReachabilityFireability-02
lola: result : true
lola: fired transitions : 2
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 170 (type FNDP) for 24 CANInsertWithFailure-PT-050-ReachabilityFireability-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 170 (type FNDP) for CANInsertWithFailure-PT-050-ReachabilityFireability-08
lola: result : true
lola: fired transitions : 3
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 129 (type SRCH) for 21 CANInsertWithFailure-PT-050-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 129 (type SRCH) for CANInsertWithFailure-PT-050-ReachabilityFireability-07
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 28/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 252990 t fired, 3763 attempts, .
125 EF STEQ 28/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 28/3461 2/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 31538 m, 1932 m/sec, 69182 t fired, .
Time elapsed: 167 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 33/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 323644 t fired, 4617 attempts, .
125 EF STEQ 33/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 33/3461 2/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 41466 m, 1985 m/sec, 92057 t fired, .
Time elapsed: 172 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 38/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 393331 t fired, 5453 attempts, .
125 EF STEQ 38/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 38/3461 2/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 51735 m, 2053 m/sec, 115042 t fired, .
Time elapsed: 177 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 43/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 459197 t fired, 6223 attempts, .
125 EF STEQ 43/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 43/3461 3/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 61313 m, 1915 m/sec, 137193 t fired, .
Time elapsed: 182 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 48/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 525699 t fired, 7027 attempts, .
125 EF STEQ 48/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 48/3461 3/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 71095 m, 1956 m/sec, 158634 t fired, .
Time elapsed: 187 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 53/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 591680 t fired, 7736 attempts, .
125 EF STEQ 53/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 53/3461 3/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 80354 m, 1851 m/sec, 179415 t fired, .
Time elapsed: 192 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 58/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 654363 t fired, 8408 attempts, .
125 EF STEQ 58/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 58/3461 4/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 90315 m, 1992 m/sec, 201202 t fired, .
Time elapsed: 197 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 63/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 715571 t fired, 8995 attempts, .
125 EF STEQ 63/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 63/3461 4/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 100384 m, 2013 m/sec, 224032 t fired, .
Time elapsed: 202 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 68/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 773653 t fired, 9557 attempts, .
125 EF STEQ 68/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 68/3461 4/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 109452 m, 1813 m/sec, 244850 t fired, .
Time elapsed: 207 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
sara: place or transition ordering is non-deterministic
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 73/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 833160 t fired, 10165 attempts, .
125 EF STEQ 73/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 73/3461 5/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 119418 m, 1993 m/sec, 267845 t fired, .
Time elapsed: 212 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 78/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 893487 t fired, 10726 attempts, .
125 EF STEQ 78/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 78/3461 5/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 129560 m, 2028 m/sec, 291874 t fired, .
Time elapsed: 217 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 83/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 951392 t fired, 11220 attempts, .
125 EF STEQ 83/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 83/3461 5/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 139814 m, 2050 m/sec, 315970 t fired, .
Time elapsed: 222 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 88/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 1009038 t fired, 11726 attempts, .
125 EF STEQ 88/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 88/3461 6/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 149089 m, 1855 m/sec, 338367 t fired, .
Time elapsed: 227 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 93/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 1063638 t fired, 12198 attempts, .
125 EF STEQ 93/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 93/3461 6/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 158169 m, 1816 m/sec, 360441 t fired, .
Time elapsed: 232 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 98/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 1117421 t fired, 12646 attempts, .
125 EF STEQ 98/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 98/3461 6/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 168020 m, 1970 m/sec, 383098 t fired, .
Time elapsed: 237 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 103/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 1172005 t fired, 13091 attempts, .
125 EF STEQ 103/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 103/3461 6/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 177113 m, 1818 m/sec, 404226 t fired, .
Time elapsed: 242 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 108/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 1225688 t fired, 13507 attempts, .
125 EF STEQ 108/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 108/3461 7/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 186564 m, 1890 m/sec, 426255 t fired, .
Time elapsed: 247 secs. Pages in use: 7
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 113/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 1278269 t fired, 13919 attempts, .
125 EF STEQ 113/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 113/3461 7/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 196000 m, 1887 m/sec, 448817 t fired, .
Time elapsed: 252 secs. Pages in use: 7
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 118/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 1330280 t fired, 14345 attempts, .
125 EF STEQ 118/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 118/3461 7/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 204972 m, 1794 m/sec, 470805 t fired, .
Time elapsed: 257 secs. Pages in use: 7
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 123/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 1380781 t fired, 14727 attempts, .
125 EF STEQ 123/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 123/3461 8/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 213986 m, 1802 m/sec, 492128 t fired, .
Time elapsed: 262 secs. Pages in use: 8
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 128/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 1431738 t fired, 15093 attempts, .
125 EF STEQ 128/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 128/3461 8/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 223083 m, 1819 m/sec, 513370 t fired, .
Time elapsed: 267 secs. Pages in use: 8
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 133/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 1481516 t fired, 15410 attempts, .
125 EF STEQ 133/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 133/3461 8/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 232113 m, 1806 m/sec, 534535 t fired, .
Time elapsed: 272 secs. Pages in use: 8
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 138/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 1531496 t fired, 15760 attempts, .
125 EF STEQ 138/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 138/3461 8/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 240891 m, 1755 m/sec, 555371 t fired, .
Time elapsed: 277 secs. Pages in use: 8
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 143/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 1581131 t fired, 16093 attempts, .
125 EF STEQ 143/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 143/3461 9/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 249392 m, 1700 m/sec, 574805 t fired, .
Time elapsed: 282 secs. Pages in use: 9
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 148/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 1630764 t fired, 16442 attempts, .
125 EF STEQ 148/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 148/3461 9/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 258623 m, 1846 m/sec, 596750 t fired, .
Time elapsed: 287 secs. Pages in use: 9
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 153/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 1680141 t fired, 16771 attempts, .
125 EF STEQ 153/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 153/3461 9/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 267825 m, 1840 m/sec, 617899 t fired, .
Time elapsed: 292 secs. Pages in use: 9
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 158/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 1712792 t fired, 16994 attempts, .
125 EF STEQ 158/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 158/3461 10/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 276735 m, 1782 m/sec, 638343 t fired, .
Time elapsed: 297 secs. Pages in use: 10
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 163/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 1753378 t fired, 17254 attempts, .
125 EF STEQ 163/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 163/3461 10/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 285509 m, 1754 m/sec, 658158 t fired, .
Time elapsed: 302 secs. Pages in use: 10
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 168/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 1801857 t fired, 17569 attempts, .
125 EF STEQ 168/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 168/3461 10/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 295067 m, 1911 m/sec, 679700 t fired, .
Time elapsed: 307 secs. Pages in use: 10
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 173/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 1851456 t fired, 17866 attempts, .
125 EF STEQ 173/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 173/3461 10/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 305026 m, 1991 m/sec, 702451 t fired, .
Time elapsed: 312 secs. Pages in use: 10
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 178/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 1901984 t fired, 18190 attempts, .
125 EF STEQ 178/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 178/3461 11/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 314688 m, 1932 m/sec, 725062 t fired, .
Time elapsed: 317 secs. Pages in use: 11
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 183/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 1950535 t fired, 18494 attempts, .
125 EF STEQ 183/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 183/3461 11/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 324589 m, 1980 m/sec, 748617 t fired, .
Time elapsed: 322 secs. Pages in use: 11
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 188/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 1997097 t fired, 18745 attempts, .
125 EF STEQ 188/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 188/3461 11/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 333845 m, 1851 m/sec, 771411 t fired, .
Time elapsed: 327 secs. Pages in use: 11
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 193/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 2043001 t fired, 19019 attempts, .
125 EF STEQ 193/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 193/3461 12/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 342873 m, 1805 m/sec, 793157 t fired, .
Time elapsed: 332 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 198/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 2089559 t fired, 19273 attempts, .
125 EF STEQ 198/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 198/3461 12/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 352273 m, 1880 m/sec, 815175 t fired, .
Time elapsed: 337 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 203/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 2137318 t fired, 19565 attempts, .
125 EF STEQ 203/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 203/3461 12/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 361565 m, 1858 m/sec, 837156 t fired, .
Time elapsed: 342 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 208/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 2184870 t fired, 19882 attempts, .
125 EF STEQ 208/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 208/3461 12/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 370312 m, 1749 m/sec, 857873 t fired, .
Time elapsed: 347 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 213/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 2230936 t fired, 20135 attempts, .
125 EF STEQ 213/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 213/3461 13/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 378956 m, 1728 m/sec, 877950 t fired, .
Time elapsed: 352 secs. Pages in use: 13
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 218/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 2277689 t fired, 20399 attempts, .
125 EF STEQ 218/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 218/3461 13/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 388278 m, 1864 m/sec, 900341 t fired, .
Time elapsed: 357 secs. Pages in use: 13
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 223/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 2322722 t fired, 20677 attempts, .
125 EF STEQ 223/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 223/3461 13/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 397265 m, 1797 m/sec, 920378 t fired, .
Time elapsed: 362 secs. Pages in use: 13
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 228/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 2367352 t fired, 20920 attempts, .
125 EF STEQ 228/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 228/3461 14/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 406702 m, 1887 m/sec, 941729 t fired, .
Time elapsed: 367 secs. Pages in use: 14
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 233/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 2411651 t fired, 21172 attempts, .
125 EF STEQ 233/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 233/3461 14/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 415818 m, 1823 m/sec, 963065 t fired, .
Time elapsed: 372 secs. Pages in use: 14
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 238/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 2456349 t fired, 21415 attempts, .
125 EF STEQ 238/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 238/3461 14/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 424695 m, 1775 m/sec, 983835 t fired, .
Time elapsed: 377 secs. Pages in use: 14
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 243/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 2499811 t fired, 21656 attempts, .
125 EF STEQ 243/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 243/3461 14/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 433546 m, 1770 m/sec, 1005205 t fired, .
Time elapsed: 382 secs. Pages in use: 14
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 248/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 2543959 t fired, 21893 attempts, .
125 EF STEQ 248/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 248/3461 15/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 442299 m, 1750 m/sec, 1026141 t fired, .
Time elapsed: 387 secs. Pages in use: 15
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 253/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 2587280 t fired, 22138 attempts, .
125 EF STEQ 253/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 253/3461 15/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 450881 m, 1716 m/sec, 1046357 t fired, .
Time elapsed: 392 secs. Pages in use: 15
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 258/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 2630077 t fired, 22366 attempts, .
125 EF STEQ 258/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 258/3461 15/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 457886 m, 1401 m/sec, 1062299 t fired, .
Time elapsed: 397 secs. Pages in use: 15
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 263/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 2651923 t fired, 22499 attempts, .
125 EF STEQ 263/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 263/3461 15/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 461203 m, 663 m/sec, 1069589 t fired, .
Time elapsed: 402 secs. Pages in use: 15
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 268/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 2691928 t fired, 22707 attempts, .
125 EF STEQ 268/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 268/3461 16/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 468568 m, 1473 m/sec, 1085872 t fired, .
Time elapsed: 407 secs. Pages in use: 16
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 273/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 2726080 t fired, 22889 attempts, .
125 EF STEQ 273/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 273/3461 16/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 472230 m, 732 m/sec, 1094082 t fired, .
Time elapsed: 412 secs. Pages in use: 16
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 278/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 2766929 t fired, 23091 attempts, .
125 EF STEQ 278/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 278/3461 16/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 480758 m, 1705 m/sec, 1113154 t fired, .
Time elapsed: 417 secs. Pages in use: 16
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 283/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 2789107 t fired, 23194 attempts, .
125 EF STEQ 283/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 283/3461 16/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 486543 m, 1157 m/sec, 1126260 t fired, .
Time elapsed: 422 secs. Pages in use: 16
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 288/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 2818929 t fired, 23338 attempts, .
125 EF STEQ 288/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 288/3461 16/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 492676 m, 1226 m/sec, 1140176 t fired, .
Time elapsed: 427 secs. Pages in use: 16
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 293/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 2856746 t fired, 23525 attempts, .
125 EF STEQ 293/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 293/3461 17/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 501727 m, 1810 m/sec, 1160532 t fired, .
Time elapsed: 432 secs. Pages in use: 17
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 298/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 2892564 t fired, 23693 attempts, .
125 EF STEQ 298/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 298/3461 17/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 508739 m, 1402 m/sec, 1176053 t fired, .
Time elapsed: 437 secs. Pages in use: 17
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 303/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 2926556 t fired, 23862 attempts, .
125 EF STEQ 303/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 303/3461 17/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 512830 m, 818 m/sec, 1185715 t fired, .
Time elapsed: 442 secs. Pages in use: 17
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 308/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 2967485 t fired, 24069 attempts, .
125 EF STEQ 308/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 308/3461 17/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 517986 m, 1031 m/sec, 1197667 t fired, .
Time elapsed: 447 secs. Pages in use: 17
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 313/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 2993659 t fired, 24208 attempts, .
125 EF STEQ 313/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 313/3461 17/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 525808 m, 1564 m/sec, 1215280 t fired, .
Time elapsed: 452 secs. Pages in use: 17
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 318/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 3013830 t fired, 24309 attempts, .
125 EF STEQ 318/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 318/3461 18/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 531482 m, 1134 m/sec, 1227976 t fired, .
Time elapsed: 457 secs. Pages in use: 18
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 323/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 3034644 t fired, 24425 attempts, .
125 EF STEQ 323/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 323/3461 18/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 533397 m, 383 m/sec, 1232301 t fired, .
Time elapsed: 462 secs. Pages in use: 18
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 328/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 3076225 t fired, 24629 attempts, .
125 EF STEQ 328/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 328/3461 18/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 541515 m, 1623 m/sec, 1249531 t fired, .
Time elapsed: 467 secs. Pages in use: 18
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 333/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 3110357 t fired, 24797 attempts, .
125 EF STEQ 333/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 333/3461 18/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 547920 m, 1281 m/sec, 1264545 t fired, .
Time elapsed: 472 secs. Pages in use: 18
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 338/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 3132416 t fired, 24911 attempts, .
125 EF STEQ 338/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 338/3461 18/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 552911 m, 998 m/sec, 1276073 t fired, .
Time elapsed: 477 secs. Pages in use: 18
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 343/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 3166551 t fired, 25090 attempts, .
125 EF STEQ 343/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 343/3461 19/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 563080 m, 2033 m/sec, 1298717 t fired, .
Time elapsed: 482 secs. Pages in use: 19
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 348/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 3207946 t fired, 25308 attempts, .
125 EF STEQ 348/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 348/3461 19/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 572563 m, 1896 m/sec, 1320331 t fired, .
Time elapsed: 487 secs. Pages in use: 19
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 353/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 3248699 t fired, 25486 attempts, .
125 EF STEQ 353/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 353/3461 19/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 581515 m, 1790 m/sec, 1340872 t fired, .
Time elapsed: 492 secs. Pages in use: 19
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 358/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 3280777 t fired, 25625 attempts, .
125 EF STEQ 358/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 358/3461 20/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 589715 m, 1640 m/sec, 1359863 t fired, .
Time elapsed: 497 secs. Pages in use: 20
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 363/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 3304340 t fired, 25729 attempts, .
125 EF STEQ 363/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 363/3461 20/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 595077 m, 1072 m/sec, 1372805 t fired, .
Time elapsed: 502 secs. Pages in use: 20
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 368/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 3343835 t fired, 25917 attempts, .
125 EF STEQ 368/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 368/3461 20/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 605281 m, 2040 m/sec, 1396785 t fired, .
Time elapsed: 507 secs. Pages in use: 20
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 373/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 3377981 t fired, 26089 attempts, .
125 EF STEQ 373/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 373/3461 21/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 613139 m, 1571 m/sec, 1415636 t fired, .
Time elapsed: 512 secs. Pages in use: 21
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 378/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 3418844 t fired, 26271 attempts, .
125 EF STEQ 378/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 378/3461 21/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 620435 m, 1459 m/sec, 1433309 t fired, .
Time elapsed: 517 secs. Pages in use: 21
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 383/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 3458876 t fired, 26455 attempts, .
125 EF STEQ 383/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 383/3461 21/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 629999 m, 1912 m/sec, 1456178 t fired, .
Time elapsed: 522 secs. Pages in use: 21
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 388/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 3498676 t fired, 26645 attempts, .
125 EF STEQ 388/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 388/3461 21/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 639066 m, 1813 m/sec, 1476870 t fired, .
Time elapsed: 527 secs. Pages in use: 21
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 393/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 3539486 t fired, 26820 attempts, .
125 EF STEQ 393/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 393/3461 22/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 648515 m, 1889 m/sec, 1498921 t fired, .
Time elapsed: 532 secs. Pages in use: 22
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 398/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 3580039 t fired, 27004 attempts, .
125 EF STEQ 398/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 398/3461 22/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 657803 m, 1857 m/sec, 1520727 t fired, .
Time elapsed: 537 secs. Pages in use: 22
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 403/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 3617504 t fired, 27181 attempts, .
125 EF STEQ 403/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 403/3461 22/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 664004 m, 1240 m/sec, 1535881 t fired, .
Time elapsed: 542 secs. Pages in use: 22
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 408/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 3656036 t fired, 27350 attempts, .
125 EF STEQ 408/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 408/3461 23/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 671415 m, 1482 m/sec, 1553975 t fired, .
Time elapsed: 547 secs. Pages in use: 23
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CANInsertWithFailure-PT-050-ReachabilityFireability-00: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-01: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-02: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-03: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-04: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-05: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-06: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-08: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-09: EF true tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-10: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-11: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-12: AG false findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-13: AG false tandem / insertion
CANInsertWithFailure-PT-050-ReachabilityFireability-14: EF true findpath
CANInsertWithFailure-PT-050-ReachabilityFireability-15: EF true tandem / insertion
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CANInsertWithFailure-PT-050-ReachabilityFireability-07: EF 0 0 3 0 2 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
124 EF FNDP 413/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 3688929 t fired, 27503 attempts, .
125 EF STEQ 413/3461 0/5 CANInsertWithFailure-PT-050-ReachabilityFireability-07 sara is running.
128 EF EXCL 413/3461 23/32 CANInsertWithFailure-PT-050-ReachabilityFireability-07 677120 m, 1141 m/sec, 1567561 t fired, .
Time elapsed: 552 secs. Pages in use: 23
# running tasks: 3 of 4 Visible: 16
/home/mcc/BenchKit/bin//../lola/bin//../BenchKit_head.sh: line 63: 376 Killed lola --conf=$BIN_DIR/configfiles/reachabilityfireabilityconf --formula=$DIR/ReachabilityFireability.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-050"
export BK_EXAMINATION="ReachabilityFireability"
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-050, examination is ReachabilityFireability"
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-167813691900743"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CANInsertWithFailure-PT-050.tgz
mv CANInsertWithFailure-PT-050 execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "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 [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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 [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
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 ;