About the Execution of LoLA for MultiCrashLeafsetExtension-PT-S24C04
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16244.560 | 708409.00 | 2383646.00 | 398.80 | ??TT??T??FTFFF?? | normal |
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-162124152800647.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 MultiCrashLeafsetExtension-PT-S24C04, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r289-tall-162124152800647
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 21M
-rw-r--r-- 1 mcc users 43K May 15 08:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 151K May 15 08:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 33K May 15 08:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 107K May 15 08:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.5K May 12 07:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 12 07:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.0K May 12 07:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 12 07:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 08:13 NewModel
-rw-r--r-- 1 mcc users 6.2K May 11 18:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 11 18:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.9K May 11 15:59 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 11 15:59 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K May 12 04:40 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 12 04:40 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 08:13 equiv_col
-rw-r--r-- 1 mcc users 7 May 12 08:13 instance
-rw-r--r-- 1 mcc users 6 May 12 08:13 iscolored
-rw-r--r-- 1 mcc users 20M 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 1621307214195
starting LoLA
BK_INPUT MultiCrashLeafsetExtension-PT-S24C04
BK_EXAMINATION: ReachabilityFireability
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
ReachabilityFireability
FORMULA gen-ReachabilityFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA gen-ReachabilityFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA gen-ReachabilityFireability-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA gen-ReachabilityFireability-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA gen-ReachabilityFireability-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA gen-ReachabilityFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA gen-ReachabilityFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA gen-ReachabilityFireability-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1621307922604
--------------------
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: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: Created skeleton in 3.000000 secs.
lola: Created skeleton in 2.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
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: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-04: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-05: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-06: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-07: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-08: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-09: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-10: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-11: INITIAL 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-12: INITIAL 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-13: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-14: AG 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: 76 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 3.000000 secs.
lola: Created skeleton in 2.000000 secs.
lola: Rule S: 0 transitions removed,0 places removed
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-03: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-04: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-05: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-08: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-09: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-10: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-11: INITIAL 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-12: INITIAL 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-13: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-14: AG 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: 81 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-03: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-04: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-05: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-08: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-09: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-10: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-11: INITIAL 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-12: INITIAL 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-13: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-14: AG 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: 86 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 3.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-03: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-04: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-08: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-09: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-10: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-11: INITIAL 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-12: INITIAL 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-13: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-14: AG 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: 91 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 2.000000 secs.
lola: Created skeleton in 3.000000 secs.
lola: Created skeleton in 2.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-03: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-04: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-10: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-11: INITIAL 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-12: INITIAL 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-13: AG 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-14: AG 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: 96 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 3.000000 secs.
lola: LAUNCH INITIAL
lola: LAUNCH task # 37 (type CNST) for 36 gen-ReachabilityFireability-12
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 37 (type CNST) for gen-ReachabilityFireability-12
lola: result : false
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-03: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-04: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-10: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-11: INITIAL 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-13: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 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: 101 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-03: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-04: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-10: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-11: INITIAL 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-13: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 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: 106 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 10.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-03: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-04: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-10: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-11: INITIAL 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-13: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 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: 111 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-03: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-04: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-10: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-11: INITIAL 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-13: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 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: 116 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 10.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-03: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-10: EF 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-11: INITIAL 0 0 0 0 0 0 0 0
gen-ReachabilityFireability-13: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 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: 121 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 5.000000 secs.
lola: LAUNCH INITIAL
lola: LAUNCH task # 34 (type CNST) for 33 gen-ReachabilityFireability-11
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 34 (type CNST) for gen-ReachabilityFireability-11
lola: result : false
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-03: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-10: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 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: 126 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: Created skeleton in 4.000000 secs.
lola: Created skeleton in 3.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-03: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-10: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 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: 131 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-03: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-10: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 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: 136 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-03: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-10: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 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: 141 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-03: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-10: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 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: 146 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-03: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-10: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 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: 151 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-03: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-10: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 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: 156 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-03: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-10: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 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: 161 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-03: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-10: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 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: 166 secs. Pages in use: 0
# running tasks: 0 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 52 (type EXCL) for 9 gen-ReachabilityFireability-03
lola: time limit : 244 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 48 (type FNDP) for 9 gen-ReachabilityFireability-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 49 (type EQUN) for 9 gen-ReachabilityFireability-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 51 (type SRCH) for 9 gen-ReachabilityFireability-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-03: EF 0 1 4 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-10: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-13: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 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
48 EF FNDP 0/1714 0/5 gen-ReachabilityFireability-03 --
49 EF STEQ 0/3429 0/5 gen-ReachabilityFireability-03 sara not yet started (preprocessing).
51 EF SRCH 0/3429 1/5 gen-ReachabilityFireability-03 --
52 EF EXCL 0/244 1/32 gen-ReachabilityFireability-03 --
Time elapsed: 171 secs. Pages in use: 2
# running tasks: 4 of 4 Visible: 16
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-49.sara.
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 # 48 (type FNDP) for gen-ReachabilityFireability-03
lola: result : true
lola: fired transitions : 157
lola: tried executions : 16
lola: time used : 3.000000
lola: memory pages used : 0
lola: CANCELED task # 49 (type EQUN) for gen-ReachabilityFireability-03 (obsolete)
lola: CANCELED task # 51 (type SRCH) for gen-ReachabilityFireability-03 (obsolete)
lola: CANCELED task # 52 (type EXCL) for gen-ReachabilityFireability-03 (obsolete)
lola: LAUNCH task # 58 (type EXCL) for 12 gen-ReachabilityFireability-04
lola: time limit : 263 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 54 (type FNDP) for 12 gen-ReachabilityFireability-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 55 (type EQUN) for 12 gen-ReachabilityFireability-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 57 (type SRCH) for 12 gen-ReachabilityFireability-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 49 (type EQUN) for gen-ReachabilityFireability-03
lola: result : unknown
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-55.sara.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 1 4 0 1 0 0 0
gen-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-13: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 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
54 EF FNDP 2/569 0/5 gen-ReachabilityFireability-04 --
55 EF STEQ 2/683 0/5 gen-ReachabilityFireability-04 sara is running.
57 EF SRCH 2/683 1/5 gen-ReachabilityFireability-04 --
58 EF EXCL 2/263 1/32 gen-ReachabilityFireability-04 --
Time elapsed: 176 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 1 4 0 1 0 0 0
gen-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-06: EF 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-09: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-13: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 5 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
54 EF FNDP 7/482 0/5 gen-ReachabilityFireability-04 --
55 EF STEQ 7/482 0/5 gen-ReachabilityFireability-04 sara is running.
57 EF SRCH 7/564 1/5 gen-ReachabilityFireability-04 --
58 EF EXCL 7/263 3/32 gen-ReachabilityFireability-04 22289 m, 4457 m/sec, 26370 t fired, .
Time elapsed: 181 secs. Pages in use: 4
# running tasks: 4 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 1 4 0 1 0 0 0
gen-ReachabilityFireability-05: AG 0 0 0 0 1 0 0 0
gen-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-13: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 5 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
54 EF FNDP 12/216 0/5 gen-ReachabilityFireability-04 15698 t fired, 599 attempts, .
55 EF STEQ 12/216 0/5 gen-ReachabilityFireability-04 sara is running.
57 EF SRCH 12/232 2/5 gen-ReachabilityFireability-04 12367 m, 2473 m/sec, 14129 t fired, .
58 EF EXCL 12/263 5/32 gen-ReachabilityFireability-04 51664 m, 5875 m/sec, 61292 t fired, .
Time elapsed: 186 secs. Pages in use: 7
# running tasks: 4 of 4 Visible: 16
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 1 4 0 1 0 0 0
gen-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-13: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 17/177 0/5 gen-ReachabilityFireability-04 41289 t fired, 1577 attempts, .
55 EF STEQ 17/188 0/5 gen-ReachabilityFireability-04 sara is running.
57 EF SRCH 17/188 4/5 gen-ReachabilityFireability-04 37901 m, 5106 m/sec, 43796 t fired, .
58 EF EXCL 17/263 12/32 gen-ReachabilityFireability-04 134089 m, 16485 m/sec, 159168 t fired, .
Time elapsed: 191 secs. Pages in use: 16
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 57 (type SRCH) for gen-ReachabilityFireability-04 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 1 3 0 1 0 1 0
gen-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-13: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 22/173 0/5 gen-ReachabilityFireability-04 68394 t fired, 2611 attempts, .
55 EF STEQ 22/184 0/5 gen-ReachabilityFireability-04 sara is running.
58 EF EXCL 22/263 20/32 gen-ReachabilityFireability-04 223145 m, 17811 m/sec, 265013 t fired, .
Time elapsed: 196 secs. Pages in use: 23
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 79 (type FNDP) for 42 gen-ReachabilityFireability-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 1 3 0 1 0 1 0
gen-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-13: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 27/179 0/5 gen-ReachabilityFireability-04 95543 t fired, 3646 attempts, .
55 EF STEQ 27/179 0/5 gen-ReachabilityFireability-04 sara is running.
58 EF EXCL 27/263 27/32 gen-ReachabilityFireability-04 312935 m, 17958 m/sec, 371712 t fired, .
79 EF FNDP 5/200 0/5 gen-ReachabilityFireability-14 25272 t fired, 1304 attempts, .
Time elapsed: 201 secs. Pages in use: 27
# running tasks: 4 of 4 Visible: 16
sara: place or transition ordering is non-deterministic
lola: CANCELED task # 58 (type EXCL) for gen-ReachabilityFireability-04 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 1 2 0 1 0 2 0
gen-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-06: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-09: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-13: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 32/174 0/5 gen-ReachabilityFireability-04 122692 t fired, 4682 attempts, .
55 EF STEQ 32/174 0/5 gen-ReachabilityFireability-04 sara is running.
79 EF FNDP 10/195 0/5 gen-ReachabilityFireability-14 51110 t fired, 2544 attempts, .
Time elapsed: 206 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 103 (type EXCL) for 18 gen-ReachabilityFireability-06
lola: time limit : 282 sec
lola: memory limit: 32 pages
lola: FINISHED task # 103 (type EXCL) for gen-ReachabilityFireability-06
lola: result : true
lola: markings : 17566
lola: fired transitions : 20770
lola: time used : 1.000000
lola: memory pages used : 2
lola: LAUNCH task # 90 (type EXCL) for 27 gen-ReachabilityFireability-09
lola: time limit : 308 sec
lola: memory limit: 32 pages
lola: FINISHED task # 90 (type EXCL) for gen-ReachabilityFireability-09
lola: result : true
lola: markings : 398
lola: fired transitions : 464
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 76 (type EXCL) for 30 gen-ReachabilityFireability-10
lola: time limit : 339 sec
lola: memory limit: 32 pages
lola: FINISHED task # 76 (type EXCL) for gen-ReachabilityFireability-10
lola: result : true
lola: markings : 62724
lola: fired transitions : 74457
lola: time used : 4.000000
lola: memory pages used : 6
lola: LAUNCH task # 64 (type EXCL) for 24 gen-ReachabilityFireability-08
lola: time limit : 376 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 1 2 0 1 0 2 0
gen-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-13: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 37/226 0/5 gen-ReachabilityFireability-04 149528 t fired, 5707 attempts, .
55 EF STEQ 37/226 0/5 gen-ReachabilityFireability-04 sara is running.
64 EF EXCL 0/376 1/32 gen-ReachabilityFireability-08 8298 m, 1659 m/sec, 9802 t fired, .
79 EF FNDP 15/246 0/5 gen-ReachabilityFireability-14 76886 t fired, 3736 attempts, .
Time elapsed: 211 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 1 2 0 1 0 2 0
gen-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-13: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 42/226 0/5 gen-ReachabilityFireability-04 176336 t fired, 6731 attempts, .
55 EF STEQ 42/226 0/5 gen-ReachabilityFireability-04 sara is running.
64 EF EXCL 5/376 9/32 gen-ReachabilityFireability-08 99597 m, 18259 m/sec, 118190 t fired, .
79 EF FNDP 20/246 0/5 gen-ReachabilityFireability-14 102789 t fired, 4943 attempts, .
Time elapsed: 216 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 1 2 0 1 0 2 0
gen-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-13: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 47/221 0/5 gen-ReachabilityFireability-04 203047 t fired, 7750 attempts, .
55 EF STEQ 47/221 0/5 gen-ReachabilityFireability-04 sara is running.
64 EF EXCL 10/376 17/32 gen-ReachabilityFireability-08 189916 m, 18063 m/sec, 225497 t fired, .
79 EF FNDP 25/241 0/5 gen-ReachabilityFireability-14 128732 t fired, 6102 attempts, .
Time elapsed: 221 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 1 2 0 1 0 2 0
gen-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-13: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 52/216 0/5 gen-ReachabilityFireability-04 229832 t fired, 8773 attempts, .
55 EF STEQ 52/216 0/5 gen-ReachabilityFireability-04 sara is running.
64 EF EXCL 15/376 24/32 gen-ReachabilityFireability-08 278625 m, 17741 m/sec, 330976 t fired, .
79 EF FNDP 30/236 0/5 gen-ReachabilityFireability-14 154737 t fired, 7267 attempts, .
Time elapsed: 226 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 1 2 0 1 0 2 0
gen-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-13: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 57/211 0/5 gen-ReachabilityFireability-04 256564 t fired, 9794 attempts, .
55 EF STEQ 57/211 0/5 gen-ReachabilityFireability-04 sara is running.
64 EF EXCL 20/376 31/32 gen-ReachabilityFireability-08 368694 m, 18013 m/sec, 438039 t fired, .
79 EF FNDP 35/231 0/5 gen-ReachabilityFireability-14 180831 t fired, 8437 attempts, .
Time elapsed: 231 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 64 (type EXCL) for gen-ReachabilityFireability-08 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 1 2 0 1 0 2 0
gen-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-13: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 62/206 0/5 gen-ReachabilityFireability-04 283217 t fired, 10811 attempts, .
55 EF STEQ 62/206 0/5 gen-ReachabilityFireability-04 sara is running.
79 EF FNDP 40/226 0/5 gen-ReachabilityFireability-14 206982 t fired, 9605 attempts, .
Time elapsed: 236 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 128 (type EXCL) for 45 gen-ReachabilityFireability-15
lola: time limit : 420 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 1 2 0 1 0 2 0
gen-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-13: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 67/201 0/5 gen-ReachabilityFireability-04 310319 t fired, 11845 attempts, .
55 EF STEQ 67/201 0/5 gen-ReachabilityFireability-04 sara is running.
79 EF FNDP 45/221 0/5 gen-ReachabilityFireability-14 233410 t fired, 10831 attempts, .
128 EF EXCL 5/420 9/32 gen-ReachabilityFireability-15 91646 m, 18329 m/sec, 108733 t fired, .
Time elapsed: 241 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 1 2 0 1 0 2 0
gen-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-13: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 72/196 0/5 gen-ReachabilityFireability-04 337314 t fired, 12876 attempts, .
55 EF STEQ 72/196 0/5 gen-ReachabilityFireability-04 sara is running.
79 EF FNDP 50/216 0/5 gen-ReachabilityFireability-14 259903 t fired, 12032 attempts, .
128 EF EXCL 10/420 16/32 gen-ReachabilityFireability-15 182445 m, 18159 m/sec, 216649 t fired, .
Time elapsed: 246 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 1 2 0 1 0 2 0
gen-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-13: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 77/191 0/5 gen-ReachabilityFireability-04 364337 t fired, 13906 attempts, .
55 EF STEQ 77/191 0/5 gen-ReachabilityFireability-04 sara is running.
79 EF FNDP 55/211 0/5 gen-ReachabilityFireability-14 286386 t fired, 13228 attempts, .
128 EF EXCL 15/420 23/32 gen-ReachabilityFireability-15 272132 m, 17937 m/sec, 323230 t fired, .
Time elapsed: 251 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 1 2 0 1 0 2 0
gen-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-13: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 82/186 0/5 gen-ReachabilityFireability-04 391350 t fired, 14936 attempts, .
55 EF STEQ 82/186 0/5 gen-ReachabilityFireability-04 sara is running.
79 EF FNDP 60/206 0/5 gen-ReachabilityFireability-14 312868 t fired, 14423 attempts, .
128 EF EXCL 20/420 31/32 gen-ReachabilityFireability-15 362839 m, 18141 m/sec, 431054 t fired, .
Time elapsed: 256 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 128 (type EXCL) for gen-ReachabilityFireability-15 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 1 2 0 1 0 2 0
gen-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-13: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 87/181 0/5 gen-ReachabilityFireability-04 418509 t fired, 15973 attempts, .
55 EF STEQ 87/181 0/5 gen-ReachabilityFireability-04 sara is running.
79 EF FNDP 65/201 0/5 gen-ReachabilityFireability-14 339364 t fired, 15611 attempts, .
Time elapsed: 261 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 116 (type EXCL) for 0 gen-ReachabilityFireability-00
lola: time limit : 477 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 1 2 0 1 0 2 0
gen-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-13: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 92/176 0/5 gen-ReachabilityFireability-04 445526 t fired, 17002 attempts, .
55 EF STEQ 92/176 0/5 gen-ReachabilityFireability-04 sara is running.
79 EF FNDP 70/196 0/5 gen-ReachabilityFireability-14 365848 t fired, 16804 attempts, .
116 EF EXCL 5/477 8/32 gen-ReachabilityFireability-00 90723 m, 18144 m/sec, 107638 t fired, .
Time elapsed: 266 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 1 2 0 1 0 2 0
gen-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-13: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 97/171 0/5 gen-ReachabilityFireability-04 472751 t fired, 18039 attempts, .
55 EF STEQ 97/171 0/5 gen-ReachabilityFireability-04 sara is running.
79 EF FNDP 75/191 0/5 gen-ReachabilityFireability-14 392311 t fired, 17983 attempts, .
116 EF EXCL 10/477 16/32 gen-ReachabilityFireability-00 180906 m, 18036 m/sec, 214818 t fired, .
Time elapsed: 271 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 1 2 0 1 0 2 0
gen-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-13: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 102/166 0/5 gen-ReachabilityFireability-04 499888 t fired, 19074 attempts, .
55 EF STEQ 102/166 0/5 gen-ReachabilityFireability-04 sara is running.
79 EF FNDP 80/186 0/5 gen-ReachabilityFireability-14 418797 t fired, 19182 attempts, .
116 EF EXCL 15/477 23/32 gen-ReachabilityFireability-00 269778 m, 17774 m/sec, 320424 t fired, .
Time elapsed: 276 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 1 2 0 1 0 2 0
gen-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-13: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 107/161 0/5 gen-ReachabilityFireability-04 526978 t fired, 20106 attempts, .
55 EF STEQ 107/161 0/5 gen-ReachabilityFireability-04 sara is running.
79 EF FNDP 85/181 0/5 gen-ReachabilityFireability-14 445366 t fired, 20379 attempts, .
116 EF EXCL 20/477 31/32 gen-ReachabilityFireability-00 359844 m, 18013 m/sec, 427491 t fired, .
Time elapsed: 281 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 116 (type EXCL) for gen-ReachabilityFireability-00 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 1 2 0 1 0 2 0
gen-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-13: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 112/156 0/5 gen-ReachabilityFireability-04 554074 t fired, 21139 attempts, .
55 EF STEQ 112/156 0/5 gen-ReachabilityFireability-04 sara is running.
79 EF FNDP 90/176 0/5 gen-ReachabilityFireability-14 471948 t fired, 21591 attempts, .
Time elapsed: 286 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 97 (type EXCL) for 39 gen-ReachabilityFireability-13
lola: time limit : 552 sec
lola: memory limit: 32 pages
lola: FINISHED task # 97 (type EXCL) for gen-ReachabilityFireability-13
lola: result : true
lola: markings : 1994
lola: fired transitions : 2348
lola: time used : 1.000000
lola: memory pages used : 1
lola: LAUNCH task # 70 (type EXCL) for 3 gen-ReachabilityFireability-01
lola: time limit : 662 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 1 2 0 1 0 2 0
gen-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 117/198 0/5 gen-ReachabilityFireability-04 581146 t fired, 22170 attempts, .
55 EF STEQ 117/172 0/5 gen-ReachabilityFireability-04 sara is running.
70 EF EXCL 4/662 8/32 gen-ReachabilityFireability-01 89141 m, 17828 m/sec, 105758 t fired, .
79 EF FNDP 95/192 0/5 gen-ReachabilityFireability-14 498367 t fired, 22773 attempts, .
Time elapsed: 291 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 1 2 0 1 0 2 0
gen-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 122/194 0/5 gen-ReachabilityFireability-04 608238 t fired, 23202 attempts, .
55 EF STEQ 122/168 0/5 gen-ReachabilityFireability-04 sara is running.
70 EF EXCL 9/662 16/32 gen-ReachabilityFireability-01 180322 m, 18236 m/sec, 214126 t fired, .
79 EF FNDP 100/188 0/5 gen-ReachabilityFireability-14 524833 t fired, 23958 attempts, .
Time elapsed: 296 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 1 2 0 1 0 2 0
gen-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 127/189 0/5 gen-ReachabilityFireability-04 635393 t fired, 24236 attempts, .
55 EF STEQ 127/163 0/5 gen-ReachabilityFireability-04 sara is running.
70 EF EXCL 14/662 23/32 gen-ReachabilityFireability-01 270333 m, 18002 m/sec, 321083 t fired, .
79 EF FNDP 105/183 0/5 gen-ReachabilityFireability-14 551419 t fired, 25151 attempts, .
Time elapsed: 301 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 1 2 0 1 0 2 0
gen-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 132/184 0/5 gen-ReachabilityFireability-04 662524 t fired, 25269 attempts, .
55 EF STEQ 132/158 0/5 gen-ReachabilityFireability-04 sara is running.
70 EF EXCL 19/662 31/32 gen-ReachabilityFireability-01 361537 m, 18240 m/sec, 429507 t fired, .
79 EF FNDP 110/178 0/5 gen-ReachabilityFireability-14 577917 t fired, 26337 attempts, .
Time elapsed: 306 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 70 (type EXCL) for gen-ReachabilityFireability-01 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 1 2 0 1 0 2 0
gen-ReachabilityFireability-05: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 137/179 0/5 gen-ReachabilityFireability-04 689537 t fired, 26299 attempts, .
55 EF STEQ 137/153 0/5 gen-ReachabilityFireability-04 sara is running.
79 EF FNDP 115/173 0/5 gen-ReachabilityFireability-14 604457 t fired, 27537 attempts, .
Time elapsed: 311 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 135 (type EXCL) for 15 gen-ReachabilityFireability-05
lola: time limit : 822 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 1 2 0 1 0 2 0
gen-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 142/174 0/5 gen-ReachabilityFireability-04 716601 t fired, 27328 attempts, .
55 EF STEQ 142/148 0/5 gen-ReachabilityFireability-04 sara is running.
79 EF FNDP 120/168 0/5 gen-ReachabilityFireability-14 630928 t fired, 28715 attempts, .
135 EF EXCL 5/822 9/32 gen-ReachabilityFireability-05 91000 m, 18200 m/sec, 107969 t fired, .
Time elapsed: 316 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 55 (type EQUN) for gen-ReachabilityFireability-04 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-02: EF 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-04: EF 0 1 1 0 1 1 2 0
gen-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 5 0 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 147/169 0/5 gen-ReachabilityFireability-04 743557 t fired, 28354 attempts, .
79 EF FNDP 125/163 0/5 gen-ReachabilityFireability-14 657434 t fired, 29929 attempts, .
135 EF EXCL 10/822 16/32 gen-ReachabilityFireability-05 181869 m, 18173 m/sec, 215961 t fired, .
Time elapsed: 321 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 118 (type FNDP) for 6 gen-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 55 (type EQUN) for gen-ReachabilityFireability-04
lola: result : unknown
lola: FINISHED task # 118 (type FNDP) for gen-ReachabilityFireability-02
lola: result : true
lola: fired transitions : 27
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 106 (type FNDP) for 21 gen-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-04: EF 0 1 1 0 2 0 2 0
gen-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 152/195 0/5 gen-ReachabilityFireability-04 770520 t fired, 29381 attempts, .
79 EF FNDP 130/215 0/5 gen-ReachabilityFireability-14 683887 t fired, 31124 attempts, .
106 EF FNDP 5/327 0/5 gen-ReachabilityFireability-07 26110 t fired, 1062 attempts, .
135 EF EXCL 15/1096 23/32 gen-ReachabilityFireability-05 271303 m, 17886 m/sec, 322237 t fired, .
Time elapsed: 326 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-04: EF 0 1 1 0 2 0 2 0
gen-ReachabilityFireability-05: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-07: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 157/190 0/5 gen-ReachabilityFireability-04 797531 t fired, 30410 attempts, .
79 EF FNDP 135/210 0/5 gen-ReachabilityFireability-14 710392 t fired, 32302 attempts, .
106 EF FNDP 10/322 0/5 gen-ReachabilityFireability-07 52880 t fired, 2107 attempts, .
135 EF EXCL 20/1096 31/32 gen-ReachabilityFireability-05 362180 m, 18175 m/sec, 430274 t fired, .
Time elapsed: 331 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 135 (type EXCL) for gen-ReachabilityFireability-05 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-04: EF 0 1 1 0 2 0 2 0
gen-ReachabilityFireability-05: AG 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 162/185 0/5 gen-ReachabilityFireability-04 824783 t fired, 31445 attempts, .
79 EF FNDP 140/205 0/5 gen-ReachabilityFireability-14 736947 t fired, 33493 attempts, .
106 EF FNDP 15/317 0/5 gen-ReachabilityFireability-07 79765 t fired, 3152 attempts, .
Time elapsed: 336 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 110 (type EXCL) for 21 gen-ReachabilityFireability-07
lola: time limit : 1632 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-04: EF 0 1 1 0 2 0 2 0
gen-ReachabilityFireability-05: AG 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 2 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 167/180 0/5 gen-ReachabilityFireability-04 851979 t fired, 32481 attempts, .
79 EF FNDP 145/200 0/5 gen-ReachabilityFireability-14 763529 t fired, 34668 attempts, .
106 EF FNDP 20/312 0/5 gen-ReachabilityFireability-07 107479 t fired, 4239 attempts, .
110 EF EXCL 5/1632 7/32 gen-ReachabilityFireability-07 78212 m, 15642 m/sec, 92790 t fired, .
Time elapsed: 341 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-04: EF 0 1 1 0 2 0 2 0
gen-ReachabilityFireability-05: AG 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 2 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
54 EF FNDP 172/175 0/5 gen-ReachabilityFireability-04 879029 t fired, 33510 attempts, .
79 EF FNDP 150/195 0/5 gen-ReachabilityFireability-14 790031 t fired, 35839 attempts, .
106 EF FNDP 25/307 0/5 gen-ReachabilityFireability-07 136022 t fired, 5360 attempts, .
110 EF EXCL 10/1632 14/32 gen-ReachabilityFireability-07 154877 m, 15333 m/sec, 183855 t fired, .
Time elapsed: 346 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 54 (type FNDP) for gen-ReachabilityFireability-04 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 2 1 2 0
gen-ReachabilityFireability-05: AG 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 2 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
79 EF FNDP 155/190 0/5 gen-ReachabilityFireability-14 816381 t fired, 37016 attempts, .
106 EF FNDP 30/302 0/5 gen-ReachabilityFireability-07 164427 t fired, 6473 attempts, .
110 EF EXCL 15/1632 20/32 gen-ReachabilityFireability-07 228496 m, 14723 m/sec, 271389 t fired, .
Time elapsed: 351 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 131 (type FNDP) for 15 gen-ReachabilityFireability-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 54 (type FNDP) for gen-ReachabilityFireability-04
lola: result : unknown
lola: fired transitions : 906017
lola: tried executions : 34538
lola: time used : 177.000000
lola: memory pages used : 0
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 2 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
79 EF FNDP 160/223 0/5 gen-ReachabilityFireability-14 842758 t fired, 38177 attempts, .
106 EF FNDP 35/297 0/5 gen-ReachabilityFireability-07 192683 t fired, 7605 attempts, .
110 EF EXCL 20/1632 26/32 gen-ReachabilityFireability-07 302608 m, 14822 m/sec, 359425 t fired, .
131 EF FNDP 5/324 0/5 gen-ReachabilityFireability-05 24680 t fired, 945 attempts, .
Time elapsed: 356 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 2 0 1 0 0 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
79 EF FNDP 165/218 0/5 gen-ReachabilityFireability-14 869153 t fired, 39349 attempts, .
106 EF FNDP 40/292 0/5 gen-ReachabilityFireability-07 219862 t fired, 8823 attempts, .
110 EF EXCL 25/1632 32/32 gen-ReachabilityFireability-07 376276 m, 14733 m/sec, 447071 t fired, .
131 EF FNDP 10/319 0/5 gen-ReachabilityFireability-05 49887 t fired, 1905 attempts, .
Time elapsed: 361 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 110 (type EXCL) for gen-ReachabilityFireability-07 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
79 EF FNDP 170/213 0/5 gen-ReachabilityFireability-14 895546 t fired, 40513 attempts, .
106 EF FNDP 45/287 0/5 gen-ReachabilityFireability-07 247714 t fired, 10001 attempts, .
131 EF FNDP 15/314 0/5 gen-ReachabilityFireability-05 75624 t fired, 2888 attempts, .
Time elapsed: 366 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 83 (type EXCL) for 42 gen-ReachabilityFireability-14
lola: time limit : 3234 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 2 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
79 EF FNDP 175/208 0/5 gen-ReachabilityFireability-14 922018 t fired, 41698 attempts, .
83 EF EXCL 5/3234 8/32 gen-ReachabilityFireability-14 81456 m, 16291 m/sec, 96637 t fired, .
106 EF FNDP 50/282 0/5 gen-ReachabilityFireability-07 275412 t fired, 11149 attempts, .
131 EF FNDP 20/309 0/5 gen-ReachabilityFireability-05 101507 t fired, 3875 attempts, .
Time elapsed: 371 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 2 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
79 EF FNDP 180/203 0/5 gen-ReachabilityFireability-14 948326 t fired, 42863 attempts, .
83 EF EXCL 10/3234 15/32 gen-ReachabilityFireability-14 162247 m, 16158 m/sec, 192625 t fired, .
106 EF FNDP 55/277 0/5 gen-ReachabilityFireability-07 303485 t fired, 12273 attempts, .
131 EF FNDP 25/304 0/5 gen-ReachabilityFireability-05 127321 t fired, 4859 attempts, .
Time elapsed: 376 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 2 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
79 EF FNDP 185/198 0/5 gen-ReachabilityFireability-14 974817 t fired, 44030 attempts, .
83 EF EXCL 15/3234 21/32 gen-ReachabilityFireability-14 243073 m, 16165 m/sec, 288665 t fired, .
106 EF FNDP 60/272 0/5 gen-ReachabilityFireability-07 331072 t fired, 13411 attempts, .
131 EF FNDP 30/299 0/5 gen-ReachabilityFireability-05 153363 t fired, 5853 attempts, .
Time elapsed: 381 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 2 0 1 0 0 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
79 EF FNDP 190/193 0/5 gen-ReachabilityFireability-14 1001442 t fired, 45197 attempts, .
83 EF EXCL 20/3234 28/32 gen-ReachabilityFireability-14 323178 m, 16021 m/sec, 383921 t fired, .
106 EF FNDP 65/267 0/5 gen-ReachabilityFireability-07 358717 t fired, 14558 attempts, .
131 EF FNDP 35/294 0/5 gen-ReachabilityFireability-05 179606 t fired, 6854 attempts, .
Time elapsed: 386 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 83 (type EXCL) for gen-ReachabilityFireability-14 (memory limit exceeded)
lola: CANCELED task # 79 (type FNDP) for gen-ReachabilityFireability-14 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 1 1 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
106 EF FNDP 70/262 0/5 gen-ReachabilityFireability-07 386616 t fired, 15680 attempts, .
131 EF FNDP 40/289 0/5 gen-ReachabilityFireability-05 205971 t fired, 7859 attempts, .
Time elapsed: 391 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 66 (type FNDP) for 3 gen-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 67 (type EQUN) for 3 gen-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 79 (type FNDP) for gen-ReachabilityFireability-14
lola: result : unknown
lola: fired transitions : 1028069
lola: tried executions : 46376
lola: time used : 195.000000
lola: memory pages used : 0
lola: FINISHED task # 67 (type EQUN) for gen-ReachabilityFireability-01
lola: result : unknown
lola: LAUNCH task # 112 (type FNDP) for 0 gen-ReachabilityFireability-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 5/457 0/5 gen-ReachabilityFireability-01 25130 t fired, 963 attempts, .
106 EF FNDP 75/475 0/5 gen-ReachabilityFireability-07 414890 t fired, 16786 attempts, .
112 EF FNDP 4/458 0/5 gen-ReachabilityFireability-00 24289 t fired, 1304 attempts, .
131 EF FNDP 45/423 0/5 gen-ReachabilityFireability-05 231969 t fired, 8850 attempts, .
Time elapsed: 396 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 10/453 0/5 gen-ReachabilityFireability-01 50638 t fired, 1938 attempts, .
106 EF FNDP 80/471 0/5 gen-ReachabilityFireability-07 442911 t fired, 17889 attempts, .
112 EF FNDP 9/454 0/5 gen-ReachabilityFireability-00 51236 t fired, 2653 attempts, .
131 EF FNDP 50/419 0/5 gen-ReachabilityFireability-05 257976 t fired, 9840 attempts, .
Time elapsed: 401 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 15/448 0/5 gen-ReachabilityFireability-01 76498 t fired, 2925 attempts, .
106 EF FNDP 85/466 0/5 gen-ReachabilityFireability-07 470873 t fired, 19013 attempts, .
112 EF FNDP 14/449 0/5 gen-ReachabilityFireability-00 78374 t fired, 3983 attempts, .
131 EF FNDP 55/414 0/5 gen-ReachabilityFireability-05 284122 t fired, 10836 attempts, .
Time elapsed: 406 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 20/443 0/5 gen-ReachabilityFireability-01 102517 t fired, 3918 attempts, .
106 EF FNDP 90/461 0/5 gen-ReachabilityFireability-07 498651 t fired, 20134 attempts, .
112 EF FNDP 19/444 0/5 gen-ReachabilityFireability-00 105795 t fired, 5252 attempts, .
131 EF FNDP 60/409 0/5 gen-ReachabilityFireability-05 310168 t fired, 11827 attempts, .
Time elapsed: 411 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 25/438 0/5 gen-ReachabilityFireability-01 128805 t fired, 4922 attempts, .
106 EF FNDP 95/456 0/5 gen-ReachabilityFireability-07 526473 t fired, 21271 attempts, .
112 EF FNDP 24/439 0/5 gen-ReachabilityFireability-00 133104 t fired, 6525 attempts, .
131 EF FNDP 65/404 0/5 gen-ReachabilityFireability-05 336404 t fired, 12825 attempts, .
Time elapsed: 416 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 30/433 0/5 gen-ReachabilityFireability-01 155113 t fired, 5926 attempts, .
106 EF FNDP 100/451 0/5 gen-ReachabilityFireability-07 554777 t fired, 22374 attempts, .
112 EF FNDP 29/434 0/5 gen-ReachabilityFireability-00 160693 t fired, 7779 attempts, .
131 EF FNDP 70/399 0/5 gen-ReachabilityFireability-05 362571 t fired, 13820 attempts, .
Time elapsed: 421 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 35/428 0/5 gen-ReachabilityFireability-01 181542 t fired, 6935 attempts, .
106 EF FNDP 105/446 0/5 gen-ReachabilityFireability-07 582796 t fired, 23491 attempts, .
112 EF FNDP 34/429 0/5 gen-ReachabilityFireability-00 188230 t fired, 9041 attempts, .
131 EF FNDP 75/394 0/5 gen-ReachabilityFireability-05 388733 t fired, 14815 attempts, .
Time elapsed: 426 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 40/423 0/5 gen-ReachabilityFireability-01 208053 t fired, 7947 attempts, .
106 EF FNDP 110/441 0/5 gen-ReachabilityFireability-07 610493 t fired, 24632 attempts, .
112 EF FNDP 39/424 0/5 gen-ReachabilityFireability-00 215782 t fired, 10295 attempts, .
131 EF FNDP 80/389 0/5 gen-ReachabilityFireability-05 414944 t fired, 15814 attempts, .
Time elapsed: 431 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 45/418 0/5 gen-ReachabilityFireability-01 234405 t fired, 8953 attempts, .
106 EF FNDP 115/436 0/5 gen-ReachabilityFireability-07 638121 t fired, 25750 attempts, .
112 EF FNDP 44/419 0/5 gen-ReachabilityFireability-00 243365 t fired, 11536 attempts, .
131 EF FNDP 85/384 0/5 gen-ReachabilityFireability-05 441009 t fired, 16806 attempts, .
Time elapsed: 436 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 50/413 0/5 gen-ReachabilityFireability-01 261033 t fired, 9970 attempts, .
106 EF FNDP 120/431 0/5 gen-ReachabilityFireability-07 665823 t fired, 26876 attempts, .
112 EF FNDP 49/414 0/5 gen-ReachabilityFireability-00 270906 t fired, 12784 attempts, .
131 EF FNDP 90/379 0/5 gen-ReachabilityFireability-05 467222 t fired, 17804 attempts, .
Time elapsed: 441 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 55/408 0/5 gen-ReachabilityFireability-01 287722 t fired, 10989 attempts, .
106 EF FNDP 125/426 0/5 gen-ReachabilityFireability-07 693591 t fired, 28009 attempts, .
112 EF FNDP 54/409 0/5 gen-ReachabilityFireability-00 298422 t fired, 14035 attempts, .
131 EF FNDP 95/374 0/5 gen-ReachabilityFireability-05 493267 t fired, 18793 attempts, .
Time elapsed: 446 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 60/403 0/5 gen-ReachabilityFireability-01 314118 t fired, 11995 attempts, .
106 EF FNDP 130/421 0/5 gen-ReachabilityFireability-07 721261 t fired, 29122 attempts, .
112 EF FNDP 59/404 0/5 gen-ReachabilityFireability-00 325677 t fired, 15289 attempts, .
131 EF FNDP 100/369 0/5 gen-ReachabilityFireability-05 519191 t fired, 19779 attempts, .
Time elapsed: 451 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 65/398 0/5 gen-ReachabilityFireability-01 340673 t fired, 13008 attempts, .
106 EF FNDP 135/416 0/5 gen-ReachabilityFireability-07 749419 t fired, 30215 attempts, .
112 EF FNDP 64/399 0/5 gen-ReachabilityFireability-00 353351 t fired, 16536 attempts, .
131 EF FNDP 105/364 0/5 gen-ReachabilityFireability-05 545296 t fired, 20771 attempts, .
Time elapsed: 456 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 70/393 0/5 gen-ReachabilityFireability-01 367306 t fired, 14024 attempts, .
106 EF FNDP 140/411 0/5 gen-ReachabilityFireability-07 776990 t fired, 31306 attempts, .
112 EF FNDP 69/394 0/5 gen-ReachabilityFireability-00 381039 t fired, 17795 attempts, .
131 EF FNDP 110/359 0/5 gen-ReachabilityFireability-05 571463 t fired, 21765 attempts, .
Time elapsed: 461 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 75/388 0/5 gen-ReachabilityFireability-01 394061 t fired, 15043 attempts, .
106 EF FNDP 145/406 0/5 gen-ReachabilityFireability-07 804734 t fired, 32425 attempts, .
112 EF FNDP 74/389 0/5 gen-ReachabilityFireability-00 409070 t fired, 19064 attempts, .
131 EF FNDP 115/354 0/5 gen-ReachabilityFireability-05 597773 t fired, 22765 attempts, .
Time elapsed: 466 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 80/383 0/5 gen-ReachabilityFireability-01 420735 t fired, 16060 attempts, .
106 EF FNDP 150/401 0/5 gen-ReachabilityFireability-07 832780 t fired, 33514 attempts, .
112 EF FNDP 79/384 0/5 gen-ReachabilityFireability-00 436864 t fired, 20318 attempts, .
131 EF FNDP 120/349 0/5 gen-ReachabilityFireability-05 623935 t fired, 23759 attempts, .
Time elapsed: 471 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 85/378 0/5 gen-ReachabilityFireability-01 447220 t fired, 17070 attempts, .
106 EF FNDP 155/396 0/5 gen-ReachabilityFireability-07 860745 t fired, 34607 attempts, .
112 EF FNDP 84/379 0/5 gen-ReachabilityFireability-00 464523 t fired, 21576 attempts, .
131 EF FNDP 125/344 0/5 gen-ReachabilityFireability-05 650130 t fired, 24754 attempts, .
Time elapsed: 476 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 90/373 0/5 gen-ReachabilityFireability-01 473721 t fired, 18081 attempts, .
106 EF FNDP 160/391 0/5 gen-ReachabilityFireability-07 888411 t fired, 35707 attempts, .
112 EF FNDP 89/374 0/5 gen-ReachabilityFireability-00 492336 t fired, 22819 attempts, .
131 EF FNDP 130/339 0/5 gen-ReachabilityFireability-05 676274 t fired, 25748 attempts, .
Time elapsed: 481 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 95/368 0/5 gen-ReachabilityFireability-01 500174 t fired, 19088 attempts, .
106 EF FNDP 165/386 0/5 gen-ReachabilityFireability-07 915911 t fired, 36813 attempts, .
112 EF FNDP 94/369 0/5 gen-ReachabilityFireability-00 520182 t fired, 24071 attempts, .
131 EF FNDP 135/334 0/5 gen-ReachabilityFireability-05 702354 t fired, 26739 attempts, .
Time elapsed: 486 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 100/363 0/5 gen-ReachabilityFireability-01 526758 t fired, 20100 attempts, .
106 EF FNDP 170/381 0/5 gen-ReachabilityFireability-07 943432 t fired, 37936 attempts, .
112 EF FNDP 99/364 0/5 gen-ReachabilityFireability-00 548047 t fired, 25327 attempts, .
131 EF FNDP 140/329 0/5 gen-ReachabilityFireability-05 728477 t fired, 27735 attempts, .
Time elapsed: 491 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 105/358 0/5 gen-ReachabilityFireability-01 553297 t fired, 21110 attempts, .
106 EF FNDP 175/376 0/5 gen-ReachabilityFireability-07 970816 t fired, 39041 attempts, .
112 EF FNDP 104/359 0/5 gen-ReachabilityFireability-00 575839 t fired, 26575 attempts, .
131 EF FNDP 145/324 0/5 gen-ReachabilityFireability-05 754632 t fired, 28731 attempts, .
Time elapsed: 496 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 110/353 0/5 gen-ReachabilityFireability-01 579816 t fired, 22121 attempts, .
106 EF FNDP 180/371 0/5 gen-ReachabilityFireability-07 998045 t fired, 40153 attempts, .
112 EF FNDP 109/354 0/5 gen-ReachabilityFireability-00 603686 t fired, 27819 attempts, .
131 EF FNDP 150/319 0/5 gen-ReachabilityFireability-05 780742 t fired, 29725 attempts, .
Time elapsed: 501 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 115/348 0/5 gen-ReachabilityFireability-01 606318 t fired, 23130 attempts, .
106 EF FNDP 185/366 0/5 gen-ReachabilityFireability-07 1025219 t fired, 41254 attempts, .
112 EF FNDP 114/349 0/5 gen-ReachabilityFireability-00 631713 t fired, 29054 attempts, .
131 EF FNDP 155/314 0/5 gen-ReachabilityFireability-05 806740 t fired, 30714 attempts, .
Time elapsed: 506 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 120/343 0/5 gen-ReachabilityFireability-01 632903 t fired, 24142 attempts, .
106 EF FNDP 190/361 0/5 gen-ReachabilityFireability-07 1052997 t fired, 42344 attempts, .
112 EF FNDP 119/344 0/5 gen-ReachabilityFireability-00 659695 t fired, 30304 attempts, .
131 EF FNDP 160/309 0/5 gen-ReachabilityFireability-05 832972 t fired, 31713 attempts, .
Time elapsed: 511 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 125/338 0/5 gen-ReachabilityFireability-01 659515 t fired, 25155 attempts, .
106 EF FNDP 195/356 0/5 gen-ReachabilityFireability-07 1080968 t fired, 43444 attempts, .
112 EF FNDP 124/339 0/5 gen-ReachabilityFireability-00 687743 t fired, 31558 attempts, .
131 EF FNDP 165/304 0/5 gen-ReachabilityFireability-05 859048 t fired, 32704 attempts, .
Time elapsed: 516 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 130/333 0/5 gen-ReachabilityFireability-01 686115 t fired, 26165 attempts, .
106 EF FNDP 200/351 0/5 gen-ReachabilityFireability-07 1108558 t fired, 44562 attempts, .
112 EF FNDP 129/334 0/5 gen-ReachabilityFireability-00 715765 t fired, 32809 attempts, .
131 EF FNDP 170/299 0/5 gen-ReachabilityFireability-05 885358 t fired, 33707 attempts, .
Time elapsed: 521 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 135/328 0/5 gen-ReachabilityFireability-01 712807 t fired, 27182 attempts, .
106 EF FNDP 205/346 0/5 gen-ReachabilityFireability-07 1136156 t fired, 45670 attempts, .
112 EF FNDP 134/329 0/5 gen-ReachabilityFireability-00 743934 t fired, 34063 attempts, .
131 EF FNDP 175/294 0/5 gen-ReachabilityFireability-05 911598 t fired, 34707 attempts, .
Time elapsed: 526 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 140/323 0/5 gen-ReachabilityFireability-01 739588 t fired, 28201 attempts, .
106 EF FNDP 210/341 0/5 gen-ReachabilityFireability-07 1163853 t fired, 46787 attempts, .
112 EF FNDP 139/324 0/5 gen-ReachabilityFireability-00 772047 t fired, 35312 attempts, .
131 EF FNDP 180/289 0/5 gen-ReachabilityFireability-05 937816 t fired, 35705 attempts, .
Time elapsed: 531 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 145/318 0/5 gen-ReachabilityFireability-01 766229 t fired, 29216 attempts, .
106 EF FNDP 215/336 0/5 gen-ReachabilityFireability-07 1191912 t fired, 47887 attempts, .
112 EF FNDP 144/319 0/5 gen-ReachabilityFireability-00 800270 t fired, 36567 attempts, .
131 EF FNDP 185/284 0/5 gen-ReachabilityFireability-05 964220 t fired, 36711 attempts, .
Time elapsed: 536 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 150/313 0/5 gen-ReachabilityFireability-01 792905 t fired, 30232 attempts, .
106 EF FNDP 220/331 0/5 gen-ReachabilityFireability-07 1219597 t fired, 49014 attempts, .
112 EF FNDP 149/314 0/5 gen-ReachabilityFireability-00 828507 t fired, 37827 attempts, .
131 EF FNDP 190/279 0/5 gen-ReachabilityFireability-05 990509 t fired, 37714 attempts, .
Time elapsed: 541 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 155/308 0/5 gen-ReachabilityFireability-01 819699 t fired, 31251 attempts, .
106 EF FNDP 225/326 0/5 gen-ReachabilityFireability-07 1247637 t fired, 50109 attempts, .
112 EF FNDP 154/309 0/5 gen-ReachabilityFireability-00 856886 t fired, 39074 attempts, .
131 EF FNDP 195/274 0/5 gen-ReachabilityFireability-05 1016938 t fired, 38719 attempts, .
Time elapsed: 546 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 160/303 0/5 gen-ReachabilityFireability-01 846423 t fired, 32268 attempts, .
106 EF FNDP 230/321 0/5 gen-ReachabilityFireability-07 1275644 t fired, 51212 attempts, .
112 EF FNDP 159/304 0/5 gen-ReachabilityFireability-00 885116 t fired, 40309 attempts, .
131 EF FNDP 200/269 0/5 gen-ReachabilityFireability-05 1043273 t fired, 39721 attempts, .
Time elapsed: 551 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 165/298 0/5 gen-ReachabilityFireability-01 873196 t fired, 33288 attempts, .
106 EF FNDP 235/316 0/5 gen-ReachabilityFireability-07 1303126 t fired, 52302 attempts, .
112 EF FNDP 164/299 0/5 gen-ReachabilityFireability-00 913206 t fired, 41567 attempts, .
131 EF FNDP 205/264 0/5 gen-ReachabilityFireability-05 1069588 t fired, 40724 attempts, .
Time elapsed: 556 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 170/293 0/5 gen-ReachabilityFireability-01 900057 t fired, 34311 attempts, .
106 EF FNDP 240/311 0/5 gen-ReachabilityFireability-07 1330662 t fired, 53415 attempts, .
112 EF FNDP 169/294 0/5 gen-ReachabilityFireability-00 941347 t fired, 42826 attempts, .
131 EF FNDP 210/259 0/5 gen-ReachabilityFireability-05 1095969 t fired, 41728 attempts, .
Time elapsed: 561 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 175/288 0/5 gen-ReachabilityFireability-01 926809 t fired, 35329 attempts, .
106 EF FNDP 245/306 0/5 gen-ReachabilityFireability-07 1358833 t fired, 54530 attempts, .
112 EF FNDP 174/289 0/5 gen-ReachabilityFireability-00 969523 t fired, 44082 attempts, .
131 EF FNDP 215/254 0/5 gen-ReachabilityFireability-05 1122274 t fired, 42730 attempts, .
Time elapsed: 566 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 180/283 0/5 gen-ReachabilityFireability-01 953632 t fired, 36349 attempts, .
106 EF FNDP 250/301 0/5 gen-ReachabilityFireability-07 1386776 t fired, 55630 attempts, .
112 EF FNDP 179/284 0/5 gen-ReachabilityFireability-00 998084 t fired, 45324 attempts, .
131 EF FNDP 220/249 0/5 gen-ReachabilityFireability-05 1148716 t fired, 43738 attempts, .
Time elapsed: 571 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 185/278 0/5 gen-ReachabilityFireability-01 980511 t fired, 37373 attempts, .
106 EF FNDP 255/296 0/5 gen-ReachabilityFireability-07 1414389 t fired, 56739 attempts, .
112 EF FNDP 184/279 0/5 gen-ReachabilityFireability-00 1026655 t fired, 46583 attempts, .
131 EF FNDP 225/244 0/5 gen-ReachabilityFireability-05 1175220 t fired, 44748 attempts, .
Time elapsed: 576 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 190/273 0/5 gen-ReachabilityFireability-01 1007522 t fired, 38401 attempts, .
106 EF FNDP 260/291 0/5 gen-ReachabilityFireability-07 1442978 t fired, 57841 attempts, .
112 EF FNDP 189/274 0/5 gen-ReachabilityFireability-00 1055216 t fired, 47845 attempts, .
131 EF FNDP 230/239 0/5 gen-ReachabilityFireability-05 1201801 t fired, 45759 attempts, .
Time elapsed: 581 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 131 (type FNDP) for gen-ReachabilityFireability-05 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 0 0 1 1 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 195/268 0/5 gen-ReachabilityFireability-01 1034353 t fired, 39422 attempts, .
106 EF FNDP 265/286 0/5 gen-ReachabilityFireability-07 1470816 t fired, 58958 attempts, .
112 EF FNDP 194/269 0/5 gen-ReachabilityFireability-00 1083761 t fired, 49109 attempts, .
Time elapsed: 586 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 124 (type FNDP) for 45 gen-ReachabilityFireability-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 131 (type FNDP) for gen-ReachabilityFireability-05
lola: result : unknown
lola: fired transitions : 1228304
lola: tried executions : 46770
lola: time used : 235.000000
lola: memory pages used : 0
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 200/339 0/5 gen-ReachabilityFireability-01 1061194 t fired, 40443 attempts, .
106 EF FNDP 270/281 0/5 gen-ReachabilityFireability-07 1498317 t fired, 60082 attempts, .
112 EF FNDP 199/264 0/5 gen-ReachabilityFireability-00 1112244 t fired, 50352 attempts, .
124 EF FNDP 5/430 0/5 gen-ReachabilityFireability-15 27015 t fired, 1001 attempts, .
Time elapsed: 591 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-07: AG 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 205/334 0/5 gen-ReachabilityFireability-01 1087835 t fired, 41458 attempts, .
106 EF FNDP 275/276 0/5 gen-ReachabilityFireability-07 1525894 t fired, 61200 attempts, .
112 EF FNDP 204/259 0/5 gen-ReachabilityFireability-00 1140537 t fired, 51593 attempts, .
124 EF FNDP 10/425 0/5 gen-ReachabilityFireability-15 53868 t fired, 1999 attempts, .
Time elapsed: 596 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 106 (type FNDP) for gen-ReachabilityFireability-07 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-07: AG 0 3 0 0 1 1 1 0
gen-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF FNDP 210/329 0/5 gen-ReachabilityFireability-01 1114517 t fired, 42473 attempts, .
112 EF FNDP 209/254 0/5 gen-ReachabilityFireability-00 1168863 t fired, 52835 attempts, .
124 EF FNDP 15/420 0/5 gen-ReachabilityFireability-15 80696 t fired, 2998 attempts, .
Time elapsed: 601 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 60 (type FNDP) for 24 gen-ReachabilityFireability-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 106 (type FNDP) for gen-ReachabilityFireability-07
lola: result : unknown
lola: fired transitions : 1553363
lola: tried executions : 62313
lola: time used : 280.000000
lola: memory pages used : 0
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-07: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-08: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
60 EF FNDP 5/428 0/5 gen-ReachabilityFireability-08 25011 t fired, 1015 attempts, .
66 EF FNDP 215/324 0/5 gen-ReachabilityFireability-01 1141414 t fired, 43498 attempts, .
112 EF FNDP 214/325 0/5 gen-ReachabilityFireability-00 1197270 t fired, 54080 attempts, .
124 EF FNDP 20/487 0/5 gen-ReachabilityFireability-15 107474 t fired, 3993 attempts, .
Time elapsed: 606 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-07: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-08: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
60 EF FNDP 10/423 0/5 gen-ReachabilityFireability-08 50364 t fired, 2073 attempts, .
66 EF FNDP 220/319 0/5 gen-ReachabilityFireability-01 1168344 t fired, 44524 attempts, .
112 EF FNDP 219/320 0/5 gen-ReachabilityFireability-00 1225694 t fired, 55332 attempts, .
124 EF FNDP 25/482 0/5 gen-ReachabilityFireability-15 134201 t fired, 4985 attempts, .
Time elapsed: 611 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-07: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-08: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
60 EF FNDP 15/418 0/5 gen-ReachabilityFireability-08 75877 t fired, 3128 attempts, .
66 EF FNDP 225/314 0/5 gen-ReachabilityFireability-01 1195064 t fired, 45542 attempts, .
112 EF FNDP 224/315 0/5 gen-ReachabilityFireability-00 1253970 t fired, 56588 attempts, .
124 EF FNDP 30/477 0/5 gen-ReachabilityFireability-15 160824 t fired, 5973 attempts, .
Time elapsed: 616 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-07: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-08: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
60 EF FNDP 20/413 0/5 gen-ReachabilityFireability-08 101750 t fired, 4197 attempts, .
66 EF FNDP 230/309 0/5 gen-ReachabilityFireability-01 1222105 t fired, 46574 attempts, .
112 EF FNDP 229/310 0/5 gen-ReachabilityFireability-00 1282525 t fired, 57830 attempts, .
124 EF FNDP 35/472 0/5 gen-ReachabilityFireability-15 187666 t fired, 6967 attempts, .
Time elapsed: 621 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-07: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-08: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
60 EF FNDP 25/408 0/5 gen-ReachabilityFireability-08 127747 t fired, 5274 attempts, .
66 EF FNDP 235/304 0/5 gen-ReachabilityFireability-01 1249006 t fired, 47598 attempts, .
112 EF FNDP 234/305 0/5 gen-ReachabilityFireability-00 1311248 t fired, 59079 attempts, .
124 EF FNDP 40/467 0/5 gen-ReachabilityFireability-15 214427 t fired, 7961 attempts, .
Time elapsed: 626 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-07: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-08: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
60 EF FNDP 30/403 0/5 gen-ReachabilityFireability-08 154022 t fired, 6360 attempts, .
66 EF FNDP 240/299 0/5 gen-ReachabilityFireability-01 1276025 t fired, 48628 attempts, .
112 EF FNDP 239/300 0/5 gen-ReachabilityFireability-00 1339844 t fired, 60328 attempts, .
124 EF FNDP 45/462 0/5 gen-ReachabilityFireability-15 241168 t fired, 8956 attempts, .
Time elapsed: 631 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-07: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-08: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
60 EF FNDP 35/398 0/5 gen-ReachabilityFireability-08 180246 t fired, 7430 attempts, .
66 EF FNDP 245/294 0/5 gen-ReachabilityFireability-01 1302917 t fired, 49652 attempts, .
112 EF FNDP 244/295 0/5 gen-ReachabilityFireability-00 1368486 t fired, 61590 attempts, .
124 EF FNDP 50/457 0/5 gen-ReachabilityFireability-15 267872 t fired, 9947 attempts, .
Time elapsed: 636 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-07: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-08: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
60 EF FNDP 40/393 0/5 gen-ReachabilityFireability-08 206522 t fired, 8516 attempts, .
66 EF FNDP 250/289 0/5 gen-ReachabilityFireability-01 1329999 t fired, 50684 attempts, .
112 EF FNDP 249/290 0/5 gen-ReachabilityFireability-00 1397283 t fired, 62840 attempts, .
124 EF FNDP 55/452 0/5 gen-ReachabilityFireability-15 294568 t fired, 10942 attempts, .
Time elapsed: 641 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-07: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-08: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
60 EF FNDP 45/388 0/5 gen-ReachabilityFireability-08 232950 t fired, 9597 attempts, .
66 EF FNDP 255/284 0/5 gen-ReachabilityFireability-01 1357151 t fired, 51718 attempts, .
112 EF FNDP 254/285 0/5 gen-ReachabilityFireability-00 1425939 t fired, 64097 attempts, .
124 EF FNDP 60/447 0/5 gen-ReachabilityFireability-15 321148 t fired, 11930 attempts, .
Time elapsed: 646 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-07: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-08: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
60 EF FNDP 50/383 0/5 gen-ReachabilityFireability-08 259277 t fired, 10682 attempts, .
66 EF FNDP 260/279 0/5 gen-ReachabilityFireability-01 1384180 t fired, 52747 attempts, .
112 EF FNDP 259/280 0/5 gen-ReachabilityFireability-00 1454711 t fired, 65340 attempts, .
124 EF FNDP 65/442 0/5 gen-ReachabilityFireability-15 347678 t fired, 12914 attempts, .
Time elapsed: 651 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 1 0 2 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-07: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-08: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
60 EF FNDP 55/378 0/5 gen-ReachabilityFireability-08 285629 t fired, 11772 attempts, .
66 EF FNDP 265/274 0/5 gen-ReachabilityFireability-01 1411241 t fired, 53779 attempts, .
112 EF FNDP 264/275 0/5 gen-ReachabilityFireability-00 1483278 t fired, 66608 attempts, .
124 EF FNDP 70/437 0/5 gen-ReachabilityFireability-15 374253 t fired, 13902 attempts, .
Time elapsed: 656 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 66 (type FNDP) for gen-ReachabilityFireability-01 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 0 0 2 1 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-07: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-08: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 3 0 0 2 0 1 0
gen-ReachabilityFireability-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
60 EF FNDP 60/373 0/5 gen-ReachabilityFireability-08 312052 t fired, 12859 attempts, .
112 EF FNDP 269/270 0/5 gen-ReachabilityFireability-00 1512005 t fired, 67853 attempts, .
124 EF FNDP 75/432 0/5 gen-ReachabilityFireability-15 400690 t fired, 14887 attempts, .
Time elapsed: 661 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 80 (type EQUN) for 42 gen-ReachabilityFireability-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 66 (type FNDP) for gen-ReachabilityFireability-01
lola: result : unknown
lola: fired transitions : 1438226
lola: tried executions : 54807
lola: time used : 270.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 80 (type EQUN) for gen-ReachabilityFireability-14
lola: result : unknown
lola: LAUNCH task # 107 (type EQUN) for 21 gen-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 107 (type EQUN) for gen-ReachabilityFireability-07
lola: result : unknown
lola: LAUNCH task # 132 (type EQUN) for 15 gen-ReachabilityFireability-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 132 (type EQUN) for gen-ReachabilityFireability-05
lola: result : unknown
lola: LAUNCH task # 82 (type SRCH) for 42 gen-ReachabilityFireability-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 0 0 3 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 2 0 0 3 0 1 0
gen-ReachabilityFireability-07: AG 0 2 0 0 3 0 1 0
gen-ReachabilityFireability-08: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 1 1 0 3 0 1 0
gen-ReachabilityFireability-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
60 EF FNDP 65/538 0/5 gen-ReachabilityFireability-08 338382 t fired, 13949 attempts, .
82 EF SRCH 4/489 3/5 gen-ReachabilityFireability-14 23114 m, 4622 m/sec, 26284 t fired, .
112 EF FNDP 274/371 0/5 gen-ReachabilityFireability-00 1540679 t fired, 69100 attempts, .
124 EF FNDP 80/526 0/5 gen-ReachabilityFireability-15 427168 t fired, 15872 attempts, .
Time elapsed: 666 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 0 0 3 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 2 0 0 3 0 1 0
gen-ReachabilityFireability-07: AG 0 2 0 0 3 0 1 0
gen-ReachabilityFireability-08: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 1 1 0 3 0 1 0
gen-ReachabilityFireability-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
60 EF FNDP 70/534 0/5 gen-ReachabilityFireability-08 364790 t fired, 15040 attempts, .
82 EF SRCH 9/485 5/5 gen-ReachabilityFireability-14 48875 m, 5152 m/sec, 56070 t fired, .
112 EF FNDP 279/367 0/5 gen-ReachabilityFireability-00 1569412 t fired, 70355 attempts, .
124 EF FNDP 85/522 0/5 gen-ReachabilityFireability-15 453778 t fired, 16862 attempts, .
Time elapsed: 671 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 82 (type SRCH) for gen-ReachabilityFireability-14 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 0 0 3 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 2 0 0 3 0 1 0
gen-ReachabilityFireability-07: AG 0 2 0 0 3 0 1 0
gen-ReachabilityFireability-08: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
60 EF FNDP 75/529 0/5 gen-ReachabilityFireability-08 391267 t fired, 16137 attempts, .
112 EF FNDP 284/362 0/5 gen-ReachabilityFireability-00 1598128 t fired, 71620 attempts, .
124 EF FNDP 90/517 0/5 gen-ReachabilityFireability-15 480427 t fired, 17855 attempts, .
Time elapsed: 676 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 109 (type SRCH) for 21 gen-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 0 0 3 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 2 0 0 3 0 1 0
gen-ReachabilityFireability-07: AG 0 1 1 0 3 0 1 0
gen-ReachabilityFireability-08: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
60 EF FNDP 80/524 0/5 gen-ReachabilityFireability-08 417795 t fired, 17228 attempts, .
109 EF SRCH 5/584 3/5 gen-ReachabilityFireability-07 27754 m, 5550 m/sec, 31769 t fired, .
112 EF FNDP 289/357 0/5 gen-ReachabilityFireability-00 1626914 t fired, 72871 attempts, .
124 EF FNDP 95/512 0/5 gen-ReachabilityFireability-15 506878 t fired, 18838 attempts, .
Time elapsed: 681 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 0 0 3 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 2 0 0 3 0 1 0
gen-ReachabilityFireability-07: AG 0 1 1 0 3 0 1 0
gen-ReachabilityFireability-08: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
60 EF FNDP 85/519 0/5 gen-ReachabilityFireability-08 444388 t fired, 18324 attempts, .
109 EF SRCH 10/579 5/5 gen-ReachabilityFireability-07 53641 m, 5177 m/sec, 61923 t fired, .
112 EF FNDP 294/352 0/5 gen-ReachabilityFireability-00 1655756 t fired, 74120 attempts, .
124 EF FNDP 100/507 0/5 gen-ReachabilityFireability-15 533427 t fired, 19827 attempts, .
Time elapsed: 686 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 109 (type SRCH) for gen-ReachabilityFireability-07 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 0 0 3 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 2 0 0 3 0 1 0
gen-ReachabilityFireability-07: AG 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-08: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
60 EF FNDP 90/514 0/5 gen-ReachabilityFireability-08 471093 t fired, 19422 attempts, .
112 EF FNDP 299/347 0/5 gen-ReachabilityFireability-00 1684473 t fired, 75365 attempts, .
124 EF FNDP 105/502 0/5 gen-ReachabilityFireability-15 560062 t fired, 20821 attempts, .
Time elapsed: 691 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 134 (type SRCH) for 15 gen-ReachabilityFireability-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 0 0 3 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 1 1 0 3 0 1 0
gen-ReachabilityFireability-07: AG 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-08: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
60 EF FNDP 95/509 0/5 gen-ReachabilityFireability-08 497834 t fired, 20526 attempts, .
112 EF FNDP 305/503 0/5 gen-ReachabilityFireability-00 1713132 t fired, 76613 attempts, .
124 EF FNDP 111/497 0/5 gen-ReachabilityFireability-15 586887 t fired, 21819 attempts, .
134 EF SRCH 6/581 3/5 gen-ReachabilityFireability-05 24745 m, 4949 m/sec, 28662 t fired, .
Time elapsed: 697 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 0 0 3 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 1 1 0 3 0 1 0
gen-ReachabilityFireability-07: AG 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-08: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
60 EF FNDP 101/503 0/5 gen-ReachabilityFireability-08 524356 t fired, 21648 attempts, .
112 EF FNDP 310/497 0/5 gen-ReachabilityFireability-00 1741746 t fired, 77859 attempts, .
124 EF FNDP 116/491 0/5 gen-ReachabilityFireability-15 613561 t fired, 22813 attempts, .
134 EF SRCH 11/575 5/5 gen-ReachabilityFireability-05 49251 m, 4901 m/sec, 57350 t fired, .
Time elapsed: 702 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 134 (type SRCH) for gen-ReachabilityFireability-05 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
gen-ReachabilityFireability-02: EF true findpath
gen-ReachabilityFireability-03: EF true findpath
gen-ReachabilityFireability-06: EF true tandem / relaxed
gen-ReachabilityFireability-09: AG false tandem / relaxed
gen-ReachabilityFireability-10: EF true tandem / relaxed
gen-ReachabilityFireability-11: INITIAL false preprocessing
gen-ReachabilityFireability-12: INITIAL false preprocessing
gen-ReachabilityFireability-13: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
gen-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-01: EF 0 2 0 0 3 0 1 0
gen-ReachabilityFireability-04: EF 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-05: AG 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-07: AG 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-08: EF 0 3 1 0 1 0 1 0
gen-ReachabilityFireability-14: AG 0 1 0 0 3 0 2 0
gen-ReachabilityFireability-15: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
60 EF FNDP 106/498 0/5 gen-ReachabilityFireability-08 550942 t fired, 22755 attempts, .
112 EF FNDP 315/492 0/5 gen-ReachabilityFireability-00 1770392 t fired, 79100 attempts, .
124 EF FNDP 121/486 0/5 gen-ReachabilityFireability-15 640204 t fired, 23806 attempts, .
Time elapsed: 707 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 69 (type SRCH) for 3 gen-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
/home/mcc/BenchKit/BenchKit_head.sh: line 62: 411 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="MultiCrashLeafsetExtension-PT-S24C04"
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 MultiCrashLeafsetExtension-PT-S24C04, 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-162124152800647"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C04.tgz
mv MultiCrashLeafsetExtension-PT-S24C04 execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;