fond
Model Checking Contest 2021
11th edition, Paris, France, June 23, 2021
Execution of r289-tall-162124151900087
Last Updated
Jun 28, 2021

About the Execution of LoLA for CANConstruction-PT-100

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
16166.936 603980.00 1365484.00 812.80 [undef] Cannot compute

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2021-input.r289-tall-162124151900087.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool lola
Input is CANConstruction-PT-100, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r289-tall-162124151900087
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 46M
-rw-r--r-- 1 mcc users 27K May 15 08:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 143K May 15 08:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 18K May 15 08:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 96K May 15 08:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.7K May 12 07:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 12 07:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 12 07:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 12 07:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 08:13 NewModel
-rw-r--r-- 1 mcc users 4.2K May 11 18:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 11 18:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K May 11 15:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 11 15:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 12 04:40 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 12 04:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 08:13 equiv_col
-rw-r--r-- 1 mcc users 4 May 12 08:13 instance
-rw-r--r-- 1 mcc users 6 May 12 08:13 iscolored
-rw-r--r-- 1 mcc users 46M May 12 08:13 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 gen-ReachabilityFireability-00
FORMULA_NAME gen-ReachabilityFireability-01
FORMULA_NAME gen-ReachabilityFireability-02
FORMULA_NAME gen-ReachabilityFireability-03
FORMULA_NAME gen-ReachabilityFireability-04
FORMULA_NAME gen-ReachabilityFireability-05
FORMULA_NAME gen-ReachabilityFireability-06
FORMULA_NAME gen-ReachabilityFireability-07
FORMULA_NAME gen-ReachabilityFireability-08
FORMULA_NAME gen-ReachabilityFireability-09
FORMULA_NAME gen-ReachabilityFireability-10
FORMULA_NAME gen-ReachabilityFireability-11
FORMULA_NAME gen-ReachabilityFireability-12
FORMULA_NAME gen-ReachabilityFireability-13
FORMULA_NAME gen-ReachabilityFireability-14
FORMULA_NAME gen-ReachabilityFireability-15

=== Now, execution of the tool begins

BK_START 1621250683161

starting LoLA
BK_INPUT CANConstruction-PT-100
BK_EXAMINATION: ReachabilityFireability
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
ReachabilityFireability

BK_STOP 1621251287141

--------------------
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 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 50 (type SKEL/FNDP) for 0 gen-ReachabilityFireability-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 51 (type SKEL/EQUN) for 0 gen-ReachabilityFireability-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 53 (type SKEL/SRCH) for 0 gen-ReachabilityFireability-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 54 (type SKEL/SRCH) for 0 gen-ReachabilityFireability-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 50 (type SKEL/FNDP) for gen-ReachabilityFireability-00
lola: result : true
lola: fired transitions : 10
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 51 (type EQUN) for gen-ReachabilityFireability-00 (obsolete)
lola: CANCELED task # 53 (type SRCH) for gen-ReachabilityFireability-00 (obsolete)
lola: CANCELED task # 54 (type SRCH) for gen-ReachabilityFireability-00 (obsolete)
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-51.sara.
sara: place or transition ordering is non-deterministic

lola: FINISHED task # 51 (type SKEL/EQUN) for gen-ReachabilityFireability-00
lola: result : true
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 57 (type SKEL/FNDP) for 15 gen-ReachabilityFireability-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 58 (type SKEL/EQUN) for 15 gen-ReachabilityFireability-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 60 (type SKEL/SRCH) for 15 gen-ReachabilityFireability-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 61 (type SKEL/SRCH) for 15 gen-ReachabilityFireability-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: Rule S: 0 transitions removed,0 places removed
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-58.sara.
sara: place or transition ordering is non-deterministic

lola: FINISHED task # 60 (type SKEL/SRCH) for gen-ReachabilityFireability-05
lola: result : true
lola: markings : 11
lola: fired transitions : 10
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 57 (type FNDP) for gen-ReachabilityFireability-05 (obsolete)
lola: CANCELED task # 58 (type EQUN) for gen-ReachabilityFireability-05 (obsolete)
lola: CANCELED task # 61 (type SRCH) for gen-ReachabilityFireability-05 (obsolete)
lola: FINISHED task # 61 (type SKEL/SRCH) for gen-ReachabilityFireability-05
lola: result : true
lola: markings : 903
lola: fired transitions : 903
lola: time used : 0.000000
lola: memory pages used : 1
lola: FINISHED task # 57 (type SKEL/FNDP) for gen-ReachabilityFireability-05
lola: result : true
lola: fired transitions : 9
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: FINISHED task # 58 (type SKEL/EQUN) for gen-ReachabilityFireability-05
lola: result : true
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-03: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-07: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-10: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-13: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 0 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS

Time elapsed: 290 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
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-03: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-07: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-10: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-13: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 0 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS

Time elapsed: 295 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
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-03: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-07: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-10: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-13: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 0 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS

Time elapsed: 300 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
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-03: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-07: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-10: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-13: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 0 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS

Time elapsed: 305 secs. Pages in use: 2
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 64 (type SKEL/FNDP) for 6 gen-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 65 (type SKEL/EQUN) for 6 gen-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 67 (type SKEL/SRCH) for 6 gen-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 68 (type SKEL/SRCH) for 6 gen-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 67 (type SKEL/SRCH) for gen-ReachabilityFireability-02
lola: result : true
lola: markings : 10
lola: fired transitions : 9
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 64 (type FNDP) for gen-ReachabilityFireability-02 (obsolete)
lola: CANCELED task # 65 (type EQUN) for gen-ReachabilityFireability-02 (obsolete)
lola: CANCELED task # 68 (type SRCH) for gen-ReachabilityFireability-02 (obsolete)
lola: LAUNCH task # 71 (type SKEL/FNDP) for 18 gen-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 72 (type SKEL/EQUN) for 18 gen-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 74 (type SKEL/SRCH) for 18 gen-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 75 (type SKEL/SRCH) for 18 gen-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 71 (type SKEL/FNDP) for gen-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 # 72 (type EQUN) for gen-ReachabilityFireability-06 (obsolete)
lola: CANCELED task # 74 (type SRCH) for gen-ReachabilityFireability-06 (obsolete)
lola: CANCELED task # 75 (type SRCH) for gen-ReachabilityFireability-06 (obsolete)
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 gen-ReachabilityFireability-02
lola: result : true
lola: fired transitions : 8
lola: tried executions : 1
lola: time used : 0.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: FINISHED task # 65 (type SKEL/EQUN) for gen-ReachabilityFireability-02
lola: result : true
lola: FINISHED task # 72 (type SKEL/EQUN) for gen-ReachabilityFireability-06
lola: result : true
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 78 (type SKEL/FNDP) for 27 gen-ReachabilityFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 79 (type SKEL/EQUN) for 27 gen-ReachabilityFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 81 (type SKEL/SRCH) for 27 gen-ReachabilityFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 82 (type SKEL/SRCH) for 27 gen-ReachabilityFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 81 (type SKEL/SRCH) for gen-ReachabilityFireability-09
lola: result : true
lola: markings : 12
lola: fired transitions : 11
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 78 (type FNDP) for gen-ReachabilityFireability-09 (obsolete)
lola: CANCELED task # 79 (type EQUN) for gen-ReachabilityFireability-09 (obsolete)
lola: CANCELED task # 82 (type SRCH) for gen-ReachabilityFireability-09 (obsolete)
lola: FINISHED task # 78 (type SKEL/FNDP) for gen-ReachabilityFireability-09
lola: result : true
lola: fired transitions : 10
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: FINISHED task # 79 (type SKEL/EQUN) for gen-ReachabilityFireability-09
lola: result : unknown
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 0 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS

Time elapsed: 310 secs. Pages in use: 2
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 85 (type SKEL/FNDP) for 39 gen-ReachabilityFireability-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 86 (type SKEL/EQUN) for 39 gen-ReachabilityFireability-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 88 (type SKEL/SRCH) for 39 gen-ReachabilityFireability-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 89 (type SKEL/SRCH) for 39 gen-ReachabilityFireability-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-86.sara.
lola: Created skeleton in 0.000000 secs.
sara: place or transition ordering is non-deterministic
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
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 5/1644 0/5 gen-ReachabilityFireability-13 155310 t fired, 1104 attempts, .
86 EF STEQ 5/3289 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 5/3289 1/5 gen-ReachabilityFireability-13 40204 m, 8040 m/sec, 176949 t fired, .
89 EF SRCH 5/3289 1/5 gen-ReachabilityFireability-13 25457 m, 5091 m/sec, 44438 t fired, .

Time elapsed: 315 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 10/1640 0/5 gen-ReachabilityFireability-13 299530 t fired, 1957 attempts, .
86 EF STEQ 10/3285 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 10/3285 1/5 gen-ReachabilityFireability-13 71067 m, 6172 m/sec, 349311 t fired, .
89 EF SRCH 10/3285 1/5 gen-ReachabilityFireability-13 46524 m, 4213 m/sec, 81531 t fired, .

Time elapsed: 320 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 15/1635 0/5 gen-ReachabilityFireability-13 439941 t fired, 2766 attempts, .
86 EF STEQ 15/3280 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 15/3280 1/5 gen-ReachabilityFireability-13 101220 m, 6030 m/sec, 525290 t fired, .
89 EF SRCH 15/3280 1/5 gen-ReachabilityFireability-13 68134 m, 4322 m/sec, 119875 t fired, .

Time elapsed: 325 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 20/1630 0/5 gen-ReachabilityFireability-13 580225 t fired, 3517 attempts, .
86 EF STEQ 20/3275 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 20/3275 1/5 gen-ReachabilityFireability-13 132424 m, 6240 m/sec, 700154 t fired, .
89 EF SRCH 20/3275 1/5 gen-ReachabilityFireability-13 88861 m, 4145 m/sec, 156371 t fired, .

Time elapsed: 330 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 25/1625 0/5 gen-ReachabilityFireability-13 722085 t fired, 4284 attempts, .
86 EF STEQ 25/3270 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 25/3270 1/5 gen-ReachabilityFireability-13 163711 m, 6257 m/sec, 874303 t fired, .
89 EF SRCH 25/3270 1/5 gen-ReachabilityFireability-13 109325 m, 4092 m/sec, 192010 t fired, .

Time elapsed: 335 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 30/1620 0/5 gen-ReachabilityFireability-13 862508 t fired, 5004 attempts, .
86 EF STEQ 30/3265 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 30/3265 1/5 gen-ReachabilityFireability-13 202535 m, 7764 m/sec, 1044770 t fired, .
89 EF SRCH 30/3265 1/5 gen-ReachabilityFireability-13 130641 m, 4263 m/sec, 229790 t fired, .

Time elapsed: 340 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 35/1615 0/5 gen-ReachabilityFireability-13 1000147 t fired, 5728 attempts, .
86 EF STEQ 35/3260 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 35/3260 1/5 gen-ReachabilityFireability-13 228481 m, 5189 m/sec, 1216568 t fired, .
89 EF SRCH 35/3260 1/5 gen-ReachabilityFireability-13 151495 m, 4170 m/sec, 266806 t fired, .

Time elapsed: 345 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 40/1610 0/5 gen-ReachabilityFireability-13 1136555 t fired, 6458 attempts, .
86 EF STEQ 40/3255 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 40/3255 1/5 gen-ReachabilityFireability-13 259533 m, 6210 m/sec, 1389416 t fired, .
89 EF SRCH 40/3255 1/5 gen-ReachabilityFireability-13 171796 m, 4060 m/sec, 302808 t fired, .

Time elapsed: 350 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 45/1605 0/5 gen-ReachabilityFireability-13 1271775 t fired, 7168 attempts, .
86 EF STEQ 45/3250 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 45/3250 1/5 gen-ReachabilityFireability-13 289614 m, 6016 m/sec, 1566075 t fired, .
89 EF SRCH 45/3250 1/5 gen-ReachabilityFireability-13 192305 m, 4101 m/sec, 338859 t fired, .

Time elapsed: 355 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 50/1600 0/5 gen-ReachabilityFireability-13 1409367 t fired, 7853 attempts, .
86 EF STEQ 50/3245 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 50/3245 1/5 gen-ReachabilityFireability-13 322022 m, 6481 m/sec, 1736443 t fired, .
89 EF SRCH 50/3245 1/5 gen-ReachabilityFireability-13 212294 m, 3997 m/sec, 373952 t fired, .

Time elapsed: 360 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 55/1595 0/5 gen-ReachabilityFireability-13 1546814 t fired, 8500 attempts, .
86 EF STEQ 55/3240 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 55/3240 1/5 gen-ReachabilityFireability-13 360641 m, 7723 m/sec, 1892619 t fired, .
89 EF SRCH 55/3240 1/5 gen-ReachabilityFireability-13 231640 m, 3869 m/sec, 407768 t fired, .

Time elapsed: 365 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 60/1590 0/5 gen-ReachabilityFireability-13 1684211 t fired, 9153 attempts, .
86 EF STEQ 60/3235 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 60/3235 1/5 gen-ReachabilityFireability-13 396381 m, 7148 m/sec, 2053610 t fired, .
89 EF SRCH 60/3235 1/5 gen-ReachabilityFireability-13 251316 m, 3935 m/sec, 442182 t fired, .

Time elapsed: 370 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 65/1585 0/5 gen-ReachabilityFireability-13 1817128 t fired, 9802 attempts, .
86 EF STEQ 65/3230 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 65/3230 1/5 gen-ReachabilityFireability-13 430238 m, 6771 m/sec, 2211317 t fired, .
89 EF SRCH 65/3230 1/5 gen-ReachabilityFireability-13 271755 m, 4087 m/sec, 478005 t fired, .

Time elapsed: 375 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 70/1580 0/5 gen-ReachabilityFireability-13 1945949 t fired, 10452 attempts, .
86 EF STEQ 70/3225 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 70/3225 1/5 gen-ReachabilityFireability-13 463754 m, 6703 m/sec, 2366776 t fired, .
89 EF SRCH 70/3225 1/5 gen-ReachabilityFireability-13 291523 m, 3953 m/sec, 512383 t fired, .

Time elapsed: 380 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 75/1575 0/5 gen-ReachabilityFireability-13 2081001 t fired, 11087 attempts, .
86 EF STEQ 75/3220 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 75/3220 1/5 gen-ReachabilityFireability-13 494159 m, 6081 m/sec, 2516953 t fired, .
89 EF SRCH 75/3220 1/5 gen-ReachabilityFireability-13 312083 m, 4112 m/sec, 548595 t fired, .

Time elapsed: 385 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 80/1570 0/5 gen-ReachabilityFireability-13 2215882 t fired, 11717 attempts, .
86 EF STEQ 80/3215 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 80/3215 1/5 gen-ReachabilityFireability-13 526030 m, 6374 m/sec, 2670317 t fired, .
89 EF SRCH 80/3215 1/5 gen-ReachabilityFireability-13 331873 m, 3958 m/sec, 583198 t fired, .

Time elapsed: 390 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 85/1565 0/5 gen-ReachabilityFireability-13 2350210 t fired, 12341 attempts, .
86 EF STEQ 85/3210 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 85/3210 1/5 gen-ReachabilityFireability-13 557026 m, 6199 m/sec, 2824532 t fired, .
89 EF SRCH 85/3210 1/5 gen-ReachabilityFireability-13 351120 m, 3849 m/sec, 616573 t fired, .

Time elapsed: 395 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 90/1560 0/5 gen-ReachabilityFireability-13 2484011 t fired, 12950 attempts, .
86 EF STEQ 90/3205 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 90/3205 1/5 gen-ReachabilityFireability-13 587922 m, 6179 m/sec, 2981752 t fired, .
89 EF SRCH 90/3205 1/5 gen-ReachabilityFireability-13 371241 m, 4024 m/sec, 651677 t fired, .

Time elapsed: 400 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 95/1555 0/5 gen-ReachabilityFireability-13 2618907 t fired, 13566 attempts, .
86 EF STEQ 95/3200 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 95/3200 1/5 gen-ReachabilityFireability-13 618976 m, 6210 m/sec, 3136337 t fired, .
89 EF SRCH 95/3200 1/5 gen-ReachabilityFireability-13 391417 m, 4035 m/sec, 686947 t fired, .

Time elapsed: 405 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 100/1550 0/5 gen-ReachabilityFireability-13 2747883 t fired, 14149 attempts, .
86 EF STEQ 100/3195 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 100/3195 1/5 gen-ReachabilityFireability-13 642860 m, 4776 m/sec, 3265323 t fired, .
89 EF SRCH 100/3195 1/5 gen-ReachabilityFireability-13 410979 m, 3912 m/sec, 720879 t fired, .

Time elapsed: 410 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 105/1545 0/5 gen-ReachabilityFireability-13 2880494 t fired, 14760 attempts, .
86 EF STEQ 105/3190 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 105/3190 1/5 gen-ReachabilityFireability-13 671909 m, 5809 m/sec, 3413426 t fired, .
89 EF SRCH 105/3190 1/5 gen-ReachabilityFireability-13 430771 m, 3958 m/sec, 755217 t fired, .

Time elapsed: 415 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 110/1540 0/5 gen-ReachabilityFireability-13 3008594 t fired, 15328 attempts, .
86 EF STEQ 110/3185 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 110/3185 1/5 gen-ReachabilityFireability-13 700246 m, 5667 m/sec, 3556417 t fired, .
89 EF SRCH 110/3185 1/5 gen-ReachabilityFireability-13 451303 m, 4106 m/sec, 791221 t fired, .

Time elapsed: 420 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 115/1535 0/5 gen-ReachabilityFireability-13 3142336 t fired, 15932 attempts, .
86 EF STEQ 115/3180 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 115/3180 1/5 gen-ReachabilityFireability-13 728929 m, 5736 m/sec, 3709422 t fired, .
89 EF SRCH 115/3180 1/5 gen-ReachabilityFireability-13 470826 m, 3904 m/sec, 825329 t fired, .

Time elapsed: 425 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 120/1530 0/5 gen-ReachabilityFireability-13 3276720 t fired, 16538 attempts, .
86 EF STEQ 120/3175 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 120/3175 1/5 gen-ReachabilityFireability-13 757906 m, 5795 m/sec, 3859720 t fired, .
89 EF SRCH 120/3175 1/5 gen-ReachabilityFireability-13 490378 m, 3910 m/sec, 859385 t fired, .

Time elapsed: 430 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 125/1525 0/5 gen-ReachabilityFireability-13 3414261 t fired, 17137 attempts, .
86 EF STEQ 125/3170 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 125/3170 1/5 gen-ReachabilityFireability-13 787596 m, 5938 m/sec, 4012148 t fired, .
89 EF SRCH 125/3170 1/5 gen-ReachabilityFireability-13 510498 m, 4024 m/sec, 894303 t fired, .

Time elapsed: 435 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 130/1520 0/5 gen-ReachabilityFireability-13 3548194 t fired, 17736 attempts, .
86 EF STEQ 130/3165 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 130/3165 1/5 gen-ReachabilityFireability-13 815996 m, 5680 m/sec, 4165903 t fired, .
89 EF SRCH 130/3165 1/5 gen-ReachabilityFireability-13 528916 m, 3683 m/sec, 926087 t fired, .

Time elapsed: 440 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 135/1515 0/5 gen-ReachabilityFireability-13 3681710 t fired, 18335 attempts, .
86 EF STEQ 135/3160 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 135/3160 1/5 gen-ReachabilityFireability-13 844894 m, 5779 m/sec, 4317615 t fired, .
89 EF SRCH 135/3160 1/5 gen-ReachabilityFireability-13 548024 m, 3821 m/sec, 959403 t fired, .

Time elapsed: 445 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 140/1510 0/5 gen-ReachabilityFireability-13 3817542 t fired, 18925 attempts, .
86 EF STEQ 140/3155 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 140/3155 1/5 gen-ReachabilityFireability-13 873877 m, 5796 m/sec, 4468837 t fired, .
89 EF SRCH 140/3155 1/5 gen-ReachabilityFireability-13 567970 m, 3989 m/sec, 994255 t fired, .

Time elapsed: 450 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 145/1505 0/5 gen-ReachabilityFireability-13 3950890 t fired, 19512 attempts, .
86 EF STEQ 145/3150 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 145/3150 1/5 gen-ReachabilityFireability-13 903060 m, 5836 m/sec, 4622129 t fired, .
89 EF SRCH 145/3150 1/5 gen-ReachabilityFireability-13 590539 m, 4513 m/sec, 1034220 t fired, .

Time elapsed: 455 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 150/1500 0/5 gen-ReachabilityFireability-13 4084023 t fired, 20091 attempts, .
86 EF STEQ 150/3145 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 150/3145 1/5 gen-ReachabilityFireability-13 931385 m, 5665 m/sec, 4778238 t fired, .
89 EF SRCH 150/3145 1/5 gen-ReachabilityFireability-13 612041 m, 4300 m/sec, 1072086 t fired, .

Time elapsed: 460 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 155/1495 0/5 gen-ReachabilityFireability-13 4218035 t fired, 20670 attempts, .
86 EF STEQ 155/3140 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 155/3140 1/5 gen-ReachabilityFireability-13 958246 m, 5372 m/sec, 4944413 t fired, .
89 EF SRCH 155/3140 1/5 gen-ReachabilityFireability-13 632794 m, 4150 m/sec, 1108397 t fired, .

Time elapsed: 465 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 160/1490 0/5 gen-ReachabilityFireability-13 4351030 t fired, 21241 attempts, .
86 EF STEQ 160/3135 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 160/3135 1/5 gen-ReachabilityFireability-13 984256 m, 5202 m/sec, 5109582 t fired, .
89 EF SRCH 160/3135 1/5 gen-ReachabilityFireability-13 653352 m, 4111 m/sec, 1144040 t fired, .

Time elapsed: 470 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 165/1485 0/5 gen-ReachabilityFireability-13 4484979 t fired, 21824 attempts, .
86 EF STEQ 165/3130 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 165/3130 1/5 gen-ReachabilityFireability-13 1009144 m, 4977 m/sec, 5282683 t fired, .
89 EF SRCH 165/3130 1/5 gen-ReachabilityFireability-13 673044 m, 3938 m/sec, 1177964 t fired, .

Time elapsed: 475 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 170/1480 0/5 gen-ReachabilityFireability-13 4618833 t fired, 22397 attempts, .
86 EF STEQ 170/3125 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 170/3125 1/5 gen-ReachabilityFireability-13 1033690 m, 4909 m/sec, 5463374 t fired, .
89 EF SRCH 170/3125 1/5 gen-ReachabilityFireability-13 693640 m, 4119 m/sec, 1214601 t fired, .

Time elapsed: 480 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 175/1475 0/5 gen-ReachabilityFireability-13 4752513 t fired, 22989 attempts, .
86 EF STEQ 175/3120 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 175/3120 1/5 gen-ReachabilityFireability-13 1057589 m, 4779 m/sec, 5644237 t fired, .
89 EF SRCH 175/3120 1/5 gen-ReachabilityFireability-13 713367 m, 3945 m/sec, 1249328 t fired, .

Time elapsed: 485 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 180/1470 0/5 gen-ReachabilityFireability-13 4886752 t fired, 23565 attempts, .
86 EF STEQ 180/3115 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 180/3115 1/5 gen-ReachabilityFireability-13 1079743 m, 4430 m/sec, 5825862 t fired, .
89 EF SRCH 180/3115 1/5 gen-ReachabilityFireability-13 732708 m, 3868 m/sec, 1283062 t fired, .

Time elapsed: 490 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 185/1465 0/5 gen-ReachabilityFireability-13 5019335 t fired, 24126 attempts, .
86 EF STEQ 185/3110 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 185/3110 1/5 gen-ReachabilityFireability-13 1106791 m, 5409 m/sec, 6001878 t fired, .
89 EF SRCH 185/3110 1/5 gen-ReachabilityFireability-13 754431 m, 4344 m/sec, 1321649 t fired, .

Time elapsed: 495 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 190/1460 0/5 gen-ReachabilityFireability-13 5153941 t fired, 24696 attempts, .
86 EF STEQ 190/3105 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 190/3105 1/5 gen-ReachabilityFireability-13 1128251 m, 4292 m/sec, 6175850 t fired, .
89 EF SRCH 190/3105 1/5 gen-ReachabilityFireability-13 775238 m, 4161 m/sec, 1358428 t fired, .

Time elapsed: 500 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 195/1455 0/5 gen-ReachabilityFireability-13 5290245 t fired, 25269 attempts, .
86 EF STEQ 195/3100 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 195/3100 1/5 gen-ReachabilityFireability-13 1141450 m, 2639 m/sec, 6357931 t fired, .
89 EF SRCH 195/3100 1/5 gen-ReachabilityFireability-13 795202 m, 3992 m/sec, 1393763 t fired, .

Time elapsed: 505 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 200/1450 0/5 gen-ReachabilityFireability-13 5422749 t fired, 25840 attempts, .
86 EF STEQ 200/3095 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 200/3095 1/5 gen-ReachabilityFireability-13 1159896 m, 3689 m/sec, 6540529 t fired, .
89 EF SRCH 200/3095 1/5 gen-ReachabilityFireability-13 815027 m, 3965 m/sec, 1428615 t fired, .

Time elapsed: 510 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 205/1445 0/5 gen-ReachabilityFireability-13 5558664 t fired, 26415 attempts, .
86 EF STEQ 205/3090 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 205/3090 1/5 gen-ReachabilityFireability-13 1186706 m, 5362 m/sec, 6718436 t fired, .
89 EF SRCH 205/3090 1/5 gen-ReachabilityFireability-13 835369 m, 4068 m/sec, 1464207 t fired, .

Time elapsed: 515 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 210/1440 0/5 gen-ReachabilityFireability-13 5693835 t fired, 26977 attempts, .
86 EF STEQ 210/3085 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 210/3085 1/5 gen-ReachabilityFireability-13 1213496 m, 5358 m/sec, 6896191 t fired, .
89 EF SRCH 210/3085 1/5 gen-ReachabilityFireability-13 855258 m, 3977 m/sec, 1499034 t fired, .

Time elapsed: 520 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 215/1435 0/5 gen-ReachabilityFireability-13 5828906 t fired, 27551 attempts, .
86 EF STEQ 215/3080 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 215/3080 1/5 gen-ReachabilityFireability-13 1226063 m, 2513 m/sec, 7080692 t fired, .
89 EF SRCH 215/3080 1/5 gen-ReachabilityFireability-13 874946 m, 3937 m/sec, 1533441 t fired, .

Time elapsed: 525 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 220/1430 0/5 gen-ReachabilityFireability-13 5961119 t fired, 28109 attempts, .
86 EF STEQ 220/3075 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 220/3075 1/5 gen-ReachabilityFireability-13 1226332 m, 53 m/sec, 7251848 t fired, .
89 EF SRCH 220/3075 1/5 gen-ReachabilityFireability-13 894092 m, 3829 m/sec, 1566803 t fired, .

Time elapsed: 530 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 225/1425 0/5 gen-ReachabilityFireability-13 6093859 t fired, 28679 attempts, .
86 EF STEQ 225/3070 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 225/3070 1/5 gen-ReachabilityFireability-13 1226545 m, 42 m/sec, 7419345 t fired, .
89 EF SRCH 225/3070 1/5 gen-ReachabilityFireability-13 913030 m, 3787 m/sec, 1599776 t fired, .

Time elapsed: 535 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 230/1420 0/5 gen-ReachabilityFireability-13 6225561 t fired, 29236 attempts, .
86 EF STEQ 230/3065 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 230/3065 1/5 gen-ReachabilityFireability-13 1226743 m, 39 m/sec, 7592194 t fired, .
89 EF SRCH 230/3065 1/5 gen-ReachabilityFireability-13 932771 m, 3948 m/sec, 1634281 t fired, .

Time elapsed: 540 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 1 4 0 0 0 0 0
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
85 EF FNDP 235/1415 0/5 gen-ReachabilityFireability-13 6358380 t fired, 29798 attempts, .
86 EF STEQ 235/3060 0/5 gen-ReachabilityFireability-13 sara is running.
88 EF SRCH 235/3060 1/5 gen-ReachabilityFireability-13 1226956 m, 42 m/sec, 7767759 t fired, .
89 EF SRCH 235/3060 1/5 gen-ReachabilityFireability-13 952906 m, 4027 m/sec, 1669641 t fired, .

Time elapsed: 545 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 85 (type SKEL/FNDP) for gen-ReachabilityFireability-13
lola: result : true
lola: fired transitions : 6419601
lola: tried executions : 30053
lola: time used : 237.000000
lola: memory pages used : 0
lola: CANCELED task # 86 (type EQUN) for gen-ReachabilityFireability-13 (obsolete)
lola: CANCELED task # 88 (type SRCH) for gen-ReachabilityFireability-13 (obsolete)
lola: CANCELED task # 89 (type SRCH) for gen-ReachabilityFireability-13 (obsolete)
lola: FINISHED task # 86 (type SKEL/EQUN) for gen-ReachabilityFireability-13
lola: result : unknown
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS

Time elapsed: 550 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
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS

Time elapsed: 555 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
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS

Time elapsed: 560 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
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS

Time elapsed: 565 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
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS

Time elapsed: 570 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
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS

Time elapsed: 575 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
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS

Time elapsed: 580 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
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS

Time elapsed: 585 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
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS

Time elapsed: 590 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
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS

Time elapsed: 595 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
gen-ReachabilityFireability-00: AG 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-03: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: EF 0 0 0 0 4 0 0 1
gen-ReachabilityFireability-06: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-07: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: EF 0 0 0 0 3 0 0 2
gen-ReachabilityFireability-10: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-11: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-12: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: EF 0 0 0 0 2 0 0 3
gen-ReachabilityFireability-14: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 0 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS

Time elapsed: 600 secs. Pages in use: 2
# running tasks: 0 of 4 Visible: 16
/home/mcc/BenchKit/BenchKit_head.sh: line 62: 413 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="CANConstruction-PT-100"
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-4028"
echo " Executing tool lola"
echo " Input is CANConstruction-PT-100, 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 r289-tall-162124151900087"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CANConstruction-PT-100.tgz
mv CANConstruction-PT-100 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 '' ReachabilityFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;