About the Execution of LoLA for CryptoMiner-COL-D05N250
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2803.571 | 474695.00 | 1673342.00 | 160.90 | TFFTFF?T??TFFTFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r518-tall-167987244100119.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
....................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lola
Input is CryptoMiner-COL-D05N250, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r518-tall-167987244100119
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 516K
-rw-r--r-- 1 mcc users 9.8K Mar 23 15:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 104K Mar 23 15:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Mar 23 15:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Mar 23 15:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K Mar 23 07:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Mar 23 07:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 23 07:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 23 07:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 26 22:42 NewModel
-rw-r--r-- 1 mcc users 12K Mar 23 15:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 106K Mar 23 15:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Mar 23 15:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 99K Mar 23 15:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 23 07:06 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 23 07:06 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 26 22:42 equiv_pt
-rw-r--r-- 1 mcc users 8 Mar 26 22:42 instance
-rw-r--r-- 1 mcc users 5 Mar 26 22:42 iscolored
-rw-r--r-- 1 mcc users 18K Mar 26 22:42 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 CryptoMiner-COL-D05N250-ReachabilityFireability-00
FORMULA_NAME CryptoMiner-COL-D05N250-ReachabilityFireability-01
FORMULA_NAME CryptoMiner-COL-D05N250-ReachabilityFireability-02
FORMULA_NAME CryptoMiner-COL-D05N250-ReachabilityFireability-03
FORMULA_NAME CryptoMiner-COL-D05N250-ReachabilityFireability-04
FORMULA_NAME CryptoMiner-COL-D05N250-ReachabilityFireability-05
FORMULA_NAME CryptoMiner-COL-D05N250-ReachabilityFireability-06
FORMULA_NAME CryptoMiner-COL-D05N250-ReachabilityFireability-07
FORMULA_NAME CryptoMiner-COL-D05N250-ReachabilityFireability-08
FORMULA_NAME CryptoMiner-COL-D05N250-ReachabilityFireability-09
FORMULA_NAME CryptoMiner-COL-D05N250-ReachabilityFireability-10
FORMULA_NAME CryptoMiner-COL-D05N250-ReachabilityFireability-11
FORMULA_NAME CryptoMiner-COL-D05N250-ReachabilityFireability-12
FORMULA_NAME CryptoMiner-COL-D05N250-ReachabilityFireability-13
FORMULA_NAME CryptoMiner-COL-D05N250-ReachabilityFireability-14
FORMULA_NAME CryptoMiner-COL-D05N250-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1679899674747
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=lola
BK_EXAMINATION=ReachabilityFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CryptoMiner-COL-D05N250
Not applying reductions.
Model is COL
ReachabilityFireability COL
starting LoLA
BK_INPUT CryptoMiner-COL-D05N250
BK_EXAMINATION: ReachabilityFireability
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
ReachabilityFireability
FORMULA CryptoMiner-COL-D05N250-ReachabilityFireability-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-COL-D05N250-ReachabilityFireability-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-COL-D05N250-ReachabilityFireability-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-COL-D05N250-ReachabilityFireability-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-COL-D05N250-ReachabilityFireability-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-COL-D05N250-ReachabilityFireability-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-COL-D05N250-ReachabilityFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-COL-D05N250-ReachabilityFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-COL-D05N250-ReachabilityFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-COL-D05N250-ReachabilityFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-COL-D05N250-ReachabilityFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-COL-D05N250-ReachabilityFireability-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-COL-D05N250-ReachabilityFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1679900149442
--------------------
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 High-Level net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: Reading HL formula in XML format (--xmlformula)
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: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:159
lola: rewrite Frontend/Parser/formula_rewrite.k:150
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: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:159
lola: rewrite Frontend/Parser/formula_rewrite.k:150
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:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 49 (type SKEL/FNDP) for 39 CryptoMiner-COL-D05N250-ReachabilityFireability-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 50 (type SKEL/EQUN) for 39 CryptoMiner-COL-D05N250-ReachabilityFireability-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 52 (type SKEL/SRCH) for 39 CryptoMiner-COL-D05N250-ReachabilityFireability-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 53 (type SKEL/SRCH) for 39 CryptoMiner-COL-D05N250-ReachabilityFireability-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 52 (type SKEL/SRCH) for CryptoMiner-COL-D05N250-ReachabilityFireability-13
lola: result : true
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH INITIAL
lola: LAUNCH task # 5 (type SKEL/CNST) for 3 CryptoMiner-COL-D05N250-ReachabilityFireability-01
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 8 (type SKEL/CNST) for 6 CryptoMiner-COL-D05N250-ReachabilityFireability-02
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 11 (type SKEL/CNST) for 9 CryptoMiner-COL-D05N250-ReachabilityFireability-03
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 14 (type SKEL/CNST) for 12 CryptoMiner-COL-D05N250-ReachabilityFireability-04
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 17 (type SKEL/CNST) for 15 CryptoMiner-COL-D05N250-ReachabilityFireability-05
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 23 (type SKEL/CNST) for 21 CryptoMiner-COL-D05N250-ReachabilityFireability-07
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 35 (type SKEL/CNST) for 33 CryptoMiner-COL-D05N250-ReachabilityFireability-11
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: CANCELED task # 49 (type FNDP) for CryptoMiner-COL-D05N250-ReachabilityFireability-13 (obsolete)
lola: CANCELED task # 50 (type EQUN) for CryptoMiner-COL-D05N250-ReachabilityFireability-13 (obsolete)
lola: CANCELED task # 53 (type SRCH) for CryptoMiner-COL-D05N250-ReachabilityFireability-13 (obsolete)
lola: FINISHED task # 17 (type SKEL/CNST) for CryptoMiner-COL-D05N250-ReachabilityFireability-05
lola: result : false
lola: FINISHED task # 5 (type SKEL/CNST) for CryptoMiner-COL-D05N250-ReachabilityFireability-01
lola: result : false
lola: FINISHED task # 8 (type SKEL/CNST) for CryptoMiner-COL-D05N250-ReachabilityFireability-02
lola: result : false
lola: FINISHED task # 14 (type SKEL/CNST) for CryptoMiner-COL-D05N250-ReachabilityFireability-04
lola: result : false
lola: TR BINDINGS
lola: FINISHED task # 49 (type SKEL/FNDP) for CryptoMiner-COL-D05N250-ReachabilityFireability-13
lola: result : true
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: FINISHED task # 11 (type SKEL/CNST) for CryptoMiner-COL-D05N250-ReachabilityFireability-03
lola: result : true
lola: FINISHED task # 23 (type SKEL/CNST) for CryptoMiner-COL-D05N250-ReachabilityFireability-07
lola: result : true
lola: FINISHED task # 35 (type SKEL/CNST) for CryptoMiner-COL-D05N250-ReachabilityFireability-11
lola: result : false
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-50.sara.
lola: TR BINDINGS DONE
lola: Places: 18, Transitions: 18
lola: FINISHED task # 50 (type SKEL/EQUN) for CryptoMiner-COL-D05N250-ReachabilityFireability-13
lola: result : true
lola: @ trans Transfer
lola: @ trans ComputeFirst
lola: @ trans Go
lola: @ trans Exit
lola: @ trans Compute
lola: Rule S: 0 transitions removed,0 places removed
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 # 59 (type EXCL) for 24 CryptoMiner-COL-D05N250-ReachabilityFireability-08
lola: time limit : 399 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 55 (type FNDP) for 24 CryptoMiner-COL-D05N250-ReachabilityFireability-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 56 (type EQUN) for 24 CryptoMiner-COL-D05N250-ReachabilityFireability-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 58 (type SRCH) for 24 CryptoMiner-COL-D05N250-ReachabilityFireability-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k: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:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
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: CANCELED task # 58 (type SRCH) for CryptoMiner-COL-D05N250-ReachabilityFireability-08 (memory limit exceeded)
lola: FINISHED task # 56 (type EQUN) for CryptoMiner-COL-D05N250-ReachabilityFireability-08
lola: result : unknown
lola: LAUNCH task # 63 (type FNDP) for 27 CryptoMiner-COL-D05N250-ReachabilityFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 65 (type EQUN) for 27 CryptoMiner-COL-D05N250-ReachabilityFireability-09
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 # 65 (type EQUN) for CryptoMiner-COL-D05N250-ReachabilityFireability-09
lola: result : unknown
lola: LAUNCH task # 70 (type FNDP) for 0 CryptoMiner-COL-D05N250-ReachabilityFireability-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 2 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 3 1 0 2 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF 0 5 0 0 3 0 0 2
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 5/325 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 3473889 t fired, 340955 attempts, .
59 EF EXCL 5/399 11/32 CryptoMiner-COL-D05N250-ReachabilityFireability-08 2641627 m, 528325 m/sec, 3902293 t fired, .
63 EF FNDP 4/326 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 1175818 t fired, 94069 attempts, .
70 EF FNDP 3/327 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 1009874 t fired, 79687 attempts, .
Time elapsed: 6 secs. Pages in use: 11
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 2 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 3 1 0 2 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF 0 5 0 0 3 0 0 2
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 10/322 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 4711543 t fired, 464927 attempts, .
59 EF EXCL 10/399 22/32 CryptoMiner-COL-D05N250-ReachabilityFireability-08 5434438 m, 558562 m/sec, 8078123 t fired, .
63 EF FNDP 9/323 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 2663605 t fired, 212877 attempts, .
70 EF FNDP 8/324 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 3048893 t fired, 238241 attempts, .
Time elapsed: 11 secs. Pages in use: 22
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 2 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 3 1 0 2 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF 0 5 0 0 3 0 0 2
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 15/317 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 5912377 t fired, 585355 attempts, .
59 EF EXCL 15/399 32/32 CryptoMiner-COL-D05N250-ReachabilityFireability-08 8165682 m, 546248 m/sec, 12159075 t fired, .
63 EF FNDP 14/318 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 4195204 t fired, 334938 attempts, .
70 EF FNDP 13/319 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 5069013 t fired, 394964 attempts, .
Time elapsed: 16 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 59 (type EXCL) for CryptoMiner-COL-D05N250-ReachabilityFireability-08 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 3 1 0 2 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF 0 5 0 0 3 0 0 2
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 20/312 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 7590425 t fired, 753469 attempts, .
63 EF FNDP 19/313 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 5750306 t fired, 458606 attempts, .
70 EF FNDP 18/314 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 6695292 t fired, 520927 attempts, .
Time elapsed: 21 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 100 (type EXCL) for 45 CryptoMiner-COL-D05N250-ReachabilityFireability-15
lola: time limit : 447 sec
lola: memory limit: 32 pages
lola: FINISHED task # 100 (type EXCL) for CryptoMiner-COL-D05N250-ReachabilityFireability-15
lola: result : true
lola: markings : 2
lola: fired transitions : 1
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 112 (type EXCL) for 30 CryptoMiner-COL-D05N250-ReachabilityFireability-10
lola: time limit : 511 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 3 1 0 2 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF 0 5 0 0 3 0 0 2
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 25/379 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 8896926 t fired, 884639 attempts, .
63 EF FNDP 24/340 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 7227517 t fired, 576232 attempts, .
70 EF FNDP 23/341 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 8333473 t fired, 647622 attempts, .
112 EF EXCL 5/511 16/32 CryptoMiner-COL-D05N250-ReachabilityFireability-10 4128672 m, 825734 m/sec, 6055518 t fired, .
Time elapsed: 26 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 3 1 0 2 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF 0 5 0 0 3 0 0 2
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 30/374 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 10212353 t fired, 1016693 attempts, .
63 EF FNDP 29/335 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 8713559 t fired, 694445 attempts, .
70 EF FNDP 28/336 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 9964255 t fired, 773829 attempts, .
112 EF EXCL 10/511 32/32 CryptoMiner-COL-D05N250-ReachabilityFireability-10 8105775 m, 795420 m/sec, 12026908 t fired, .
Time elapsed: 31 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 112 (type EXCL) for CryptoMiner-COL-D05N250-ReachabilityFireability-10 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 3 1 0 2 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF 0 5 0 0 3 0 0 2
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 35/369 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 11582465 t fired, 1154611 attempts, .
63 EF FNDP 34/330 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 10292662 t fired, 820363 attempts, .
70 EF FNDP 33/331 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 11593600 t fired, 899884 attempts, .
Time elapsed: 36 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 106 (type EXCL) for 39 CryptoMiner-COL-D05N250-ReachabilityFireability-13
lola: time limit : 594 sec
lola: memory limit: 32 pages
lola: FINISHED task # 106 (type EXCL) for CryptoMiner-COL-D05N250-ReachabilityFireability-13
lola: result : true
lola: markings : 1
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 92 (type EXCL) for 18 CryptoMiner-COL-D05N250-ReachabilityFireability-06
lola: time limit : 712 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 4 1 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 3 1 0 2 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 40/414 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 12990513 t fired, 1296192 attempts, .
63 EF FNDP 39/415 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 11913741 t fired, 949355 attempts, .
70 EF FNDP 38/366 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 13137505 t fired, 1019228 attempts, .
92 EF EXCL 5/712 12/32 CryptoMiner-COL-D05N250-ReachabilityFireability-06 2933717 m, 586743 m/sec, 4342035 t fired, .
Time elapsed: 41 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 4 1 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 3 1 0 2 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 45/409 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 14325151 t fired, 1430293 attempts, .
63 EF FNDP 44/410 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 13435316 t fired, 1070389 attempts, .
70 EF FNDP 43/361 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 14745708 t fired, 1143591 attempts, .
92 EF EXCL 10/712 23/32 CryptoMiner-COL-D05N250-ReachabilityFireability-06 5794246 m, 572105 m/sec, 8619011 t fired, .
Time elapsed: 46 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 92 (type EXCL) for CryptoMiner-COL-D05N250-ReachabilityFireability-06 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 3 1 0 2 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 50/404 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 15678132 t fired, 1565980 attempts, .
63 EF FNDP 49/405 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 14935558 t fired, 1189778 attempts, .
70 EF FNDP 48/356 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 16345142 t fired, 1267246 attempts, .
Time elapsed: 51 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 86 (type EXCL) for 36 CryptoMiner-COL-D05N250-ReachabilityFireability-12
lola: time limit : 887 sec
lola: memory limit: 32 pages
lola: FINISHED task # 86 (type EXCL) for CryptoMiner-COL-D05N250-ReachabilityFireability-12
lola: result : true
lola: markings : 102140
lola: fired transitions : 102914
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 81 (type EXCL) for 42 CryptoMiner-COL-D05N250-ReachabilityFireability-14
lola: time limit : 1183 sec
lola: memory limit: 32 pages
lola: FINISHED task # 81 (type EXCL) for CryptoMiner-COL-D05N250-ReachabilityFireability-14
lola: result : true
lola: markings : 6
lola: fired transitions : 5
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 74 (type EXCL) for 0 CryptoMiner-COL-D05N250-ReachabilityFireability-00
lola: time limit : 1774 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 2 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 3 1 0 2 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 55/669 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 17040541 t fired, 1702762 attempts, .
63 EF FNDP 54/550 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 16453736 t fired, 1310633 attempts, .
70 EF FNDP 53/551 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 17911195 t fired, 1388261 attempts, .
74 EF EXCL 5/1774 12/32 CryptoMiner-COL-D05N250-ReachabilityFireability-00 2930259 m, 586051 m/sec, 5166086 t fired, .
Time elapsed: 56 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 2 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 3 1 0 2 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 60/664 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 18350559 t fired, 1834138 attempts, .
63 EF FNDP 59/545 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 17944002 t fired, 1429256 attempts, .
70 EF FNDP 58/546 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 19523787 t fired, 1512749 attempts, .
74 EF EXCL 10/1774 22/32 CryptoMiner-COL-D05N250-ReachabilityFireability-00 5531507 m, 520249 m/sec, 10626114 t fired, .
Time elapsed: 61 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 2 0 1 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 3 1 0 2 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 65/659 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 19650571 t fired, 1964813 attempts, .
63 EF FNDP 64/540 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 19448394 t fired, 1549014 attempts, .
70 EF FNDP 63/541 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 21146282 t fired, 1638064 attempts, .
74 EF EXCL 15/1774 31/32 CryptoMiner-COL-D05N250-ReachabilityFireability-00 8052543 m, 504207 m/sec, 15903911 t fired, .
Time elapsed: 66 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 74 (type EXCL) for CryptoMiner-COL-D05N250-ReachabilityFireability-00 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 3 1 0 2 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 70/654 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 20934134 t fired, 2093977 attempts, .
63 EF FNDP 69/535 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 20930041 t fired, 1667034 attempts, .
70 EF FNDP 68/536 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 22832218 t fired, 1768379 attempts, .
Time elapsed: 71 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 68 (type EXCL) for 27 CryptoMiner-COL-D05N250-ReachabilityFireability-09
lola: time limit : 3529 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 2 0 2 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 75/649 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 22220498 t fired, 2223257 attempts, .
63 EF FNDP 74/530 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 22427609 t fired, 1786096 attempts, .
68 EF EXCL 5/3529 13/32 CryptoMiner-COL-D05N250-ReachabilityFireability-09 3330200 m, 666040 m/sec, 4619118 t fired, .
70 EF FNDP 73/531 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 24468502 t fired, 1894729 attempts, .
Time elapsed: 76 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 2 0 2 0 0 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 80/644 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 23514177 t fired, 2353641 attempts, .
63 EF FNDP 79/525 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 23911277 t fired, 1904096 attempts, .
68 EF EXCL 10/3529 26/32 CryptoMiner-COL-D05N250-ReachabilityFireability-09 6558007 m, 645561 m/sec, 9134449 t fired, .
70 EF FNDP 78/526 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 26107919 t fired, 2021228 attempts, .
Time elapsed: 81 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 68 (type EXCL) for CryptoMiner-COL-D05N250-ReachabilityFireability-09 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 85/639 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 24820017 t fired, 2484625 attempts, .
63 EF FNDP 84/520 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 25363757 t fired, 2019616 attempts, .
70 EF FNDP 83/521 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 27786492 t fired, 2150836 attempts, .
Time elapsed: 86 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 88 (type FNDP) for 18 CryptoMiner-COL-D05N250-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 90/814 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 25784596 t fired, 2581474 attempts, .
63 EF FNDP 89/815 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 26385002 t fired, 2100818 attempts, .
70 EF FNDP 88/816 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 28814070 t fired, 2230096 attempts, .
88 EF FNDP 5/702 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 1060011 t fired, 107588 attempts, .
Time elapsed: 91 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 95/809 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 26740403 t fired, 2677611 attempts, .
63 EF FNDP 94/810 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 27413181 t fired, 2182717 attempts, .
70 EF FNDP 93/811 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 29843689 t fired, 2309465 attempts, .
88 EF FNDP 10/697 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 2126650 t fired, 215854 attempts, .
Time elapsed: 96 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 100/804 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 27685115 t fired, 2772444 attempts, .
63 EF FNDP 99/805 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 28458456 t fired, 2265739 attempts, .
70 EF FNDP 98/806 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 30870449 t fired, 2388944 attempts, .
88 EF FNDP 15/692 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 3183961 t fired, 323130 attempts, .
Time elapsed: 101 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 105/799 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 28640437 t fired, 2868469 attempts, .
63 EF FNDP 104/800 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 29514411 t fired, 2349959 attempts, .
70 EF FNDP 103/801 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 31875241 t fired, 2466567 attempts, .
88 EF FNDP 20/687 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 4225771 t fired, 428883 attempts, .
Time elapsed: 106 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 110/794 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 29591996 t fired, 2964274 attempts, .
63 EF FNDP 109/795 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 30573353 t fired, 2434250 attempts, .
70 EF FNDP 108/796 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 32879801 t fired, 2544338 attempts, .
88 EF FNDP 25/682 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 5272254 t fired, 534984 attempts, .
Time elapsed: 111 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 115/789 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 30536435 t fired, 3059284 attempts, .
63 EF FNDP 114/790 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 31642258 t fired, 2519173 attempts, .
70 EF FNDP 113/791 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 33893042 t fired, 2622580 attempts, .
88 EF FNDP 30/677 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 6328515 t fired, 642060 attempts, .
Time elapsed: 116 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 120/784 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 31502130 t fired, 3156438 attempts, .
63 EF FNDP 119/785 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 32673200 t fired, 2601359 attempts, .
70 EF FNDP 118/786 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 34919386 t fired, 2701654 attempts, .
88 EF FNDP 35/672 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 7388732 t fired, 749591 attempts, .
Time elapsed: 121 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 125/779 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 32462403 t fired, 3253162 attempts, .
63 EF FNDP 124/780 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 33728649 t fired, 2685214 attempts, .
70 EF FNDP 123/781 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 35921630 t fired, 2778862 attempts, .
88 EF FNDP 40/667 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 8424787 t fired, 854649 attempts, .
Time elapsed: 126 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 130/774 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 33421321 t fired, 3349428 attempts, .
63 EF FNDP 129/775 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 34781620 t fired, 2768915 attempts, .
70 EF FNDP 128/776 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 36914217 t fired, 2855527 attempts, .
88 EF FNDP 45/662 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 9463350 t fired, 960085 attempts, .
Time elapsed: 131 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 135/769 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 34378689 t fired, 3445623 attempts, .
63 EF FNDP 134/770 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 35846150 t fired, 2853719 attempts, .
70 EF FNDP 133/771 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 37911112 t fired, 2932495 attempts, .
88 EF FNDP 50/657 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 10502682 t fired, 1065446 attempts, .
Time elapsed: 136 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 140/764 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 35335328 t fired, 3541694 attempts, .
63 EF FNDP 139/765 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 36903111 t fired, 2937723 attempts, .
70 EF FNDP 138/766 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 38915167 t fired, 3010015 attempts, .
88 EF FNDP 55/652 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 11561123 t fired, 1172959 attempts, .
Time elapsed: 141 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 145/759 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 36279813 t fired, 3636586 attempts, .
63 EF FNDP 144/760 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 37975910 t fired, 3023059 attempts, .
70 EF FNDP 143/761 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 39925288 t fired, 3088041 attempts, .
88 EF FNDP 60/647 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 12606451 t fired, 1278878 attempts, .
Time elapsed: 146 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 150/754 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 37228133 t fired, 3731933 attempts, .
63 EF FNDP 149/755 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 39037358 t fired, 3107514 attempts, .
70 EF FNDP 148/756 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 40926904 t fired, 3165279 attempts, .
88 EF FNDP 65/642 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 13652091 t fired, 1385124 attempts, .
Time elapsed: 151 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 155/749 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 38176152 t fired, 3827536 attempts, .
63 EF FNDP 154/750 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 40103876 t fired, 3192231 attempts, .
70 EF FNDP 153/751 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 41934487 t fired, 3243069 attempts, .
88 EF FNDP 70/637 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 14692308 t fired, 1490556 attempts, .
Time elapsed: 156 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 160/744 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 39090487 t fired, 3919552 attempts, .
63 EF FNDP 159/745 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 41154539 t fired, 3275743 attempts, .
70 EF FNDP 158/746 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 42987637 t fired, 3324334 attempts, .
88 EF FNDP 75/632 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 15715050 t fired, 1594154 attempts, .
Time elapsed: 161 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 165/739 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 40025132 t fired, 4013277 attempts, .
63 EF FNDP 164/740 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 42174426 t fired, 3356740 attempts, .
70 EF FNDP 163/741 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 44057871 t fired, 3406982 attempts, .
88 EF FNDP 80/627 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 16740371 t fired, 1697997 attempts, .
Time elapsed: 166 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 170/734 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 40958397 t fired, 4107215 attempts, .
63 EF FNDP 169/735 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 43184873 t fired, 3436973 attempts, .
70 EF FNDP 168/736 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 45120288 t fired, 3489061 attempts, .
88 EF FNDP 85/622 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 17773784 t fired, 1802534 attempts, .
Time elapsed: 171 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 175/729 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 41893084 t fired, 4201372 attempts, .
63 EF FNDP 174/730 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 44201379 t fired, 3517774 attempts, .
70 EF FNDP 173/731 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 46191538 t fired, 3571431 attempts, .
88 EF FNDP 90/617 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 18802702 t fired, 1906803 attempts, .
Time elapsed: 176 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 180/724 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 42845114 t fired, 4296988 attempts, .
63 EF FNDP 179/725 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 45240373 t fired, 3600200 attempts, .
70 EF FNDP 178/726 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 47210033 t fired, 3650012 attempts, .
88 EF FNDP 95/612 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 19851235 t fired, 2013195 attempts, .
Time elapsed: 181 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 185/719 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 43817833 t fired, 4394749 attempts, .
63 EF FNDP 184/720 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 46268244 t fired, 3682070 attempts, .
70 EF FNDP 183/721 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 48216231 t fired, 3727583 attempts, .
88 EF FNDP 100/607 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 20894831 t fired, 2118899 attempts, .
Time elapsed: 186 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 190/714 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 44786780 t fired, 4492295 attempts, .
63 EF FNDP 189/715 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 47294663 t fired, 3763707 attempts, .
70 EF FNDP 188/716 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 49216370 t fired, 3804860 attempts, .
88 EF FNDP 105/602 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 21937165 t fired, 2224496 attempts, .
Time elapsed: 191 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 195/709 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 45747161 t fired, 4588857 attempts, .
63 EF FNDP 194/710 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 48310115 t fired, 3844427 attempts, .
70 EF FNDP 193/711 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 50246147 t fired, 3884202 attempts, .
88 EF FNDP 110/597 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 22980317 t fired, 2330278 attempts, .
Time elapsed: 196 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 200/704 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 46718827 t fired, 4686649 attempts, .
63 EF FNDP 199/705 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 49314082 t fired, 3924384 attempts, .
70 EF FNDP 198/706 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 51275605 t fired, 3963629 attempts, .
88 EF FNDP 115/592 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 24018804 t fired, 2435734 attempts, .
Time elapsed: 201 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 205/699 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 47691652 t fired, 4784291 attempts, .
63 EF FNDP 204/700 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 50306672 t fired, 4003332 attempts, .
70 EF FNDP 203/701 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 52308791 t fired, 4043263 attempts, .
88 EF FNDP 120/587 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 25063607 t fired, 2541594 attempts, .
Time elapsed: 206 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 210/694 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 48664146 t fired, 4881996 attempts, .
63 EF FNDP 209/695 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 51289278 t fired, 4081427 attempts, .
70 EF FNDP 208/696 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 53346238 t fired, 4123059 attempts, .
88 EF FNDP 125/582 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 26123879 t fired, 2649069 attempts, .
Time elapsed: 211 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 215/689 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 49649498 t fired, 4981029 attempts, .
63 EF FNDP 214/690 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 52269368 t fired, 4159307 attempts, .
70 EF FNDP 213/691 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 54380193 t fired, 4202967 attempts, .
88 EF FNDP 130/577 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 27177200 t fired, 2755663 attempts, .
Time elapsed: 216 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 220/684 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 50656551 t fired, 5082366 attempts, .
63 EF FNDP 219/685 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 53263294 t fired, 4238245 attempts, .
70 EF FNDP 218/686 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 55401198 t fired, 4281610 attempts, .
88 EF FNDP 135/572 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 28205003 t fired, 2859944 attempts, .
Time elapsed: 221 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 225/679 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 51630382 t fired, 5180504 attempts, .
63 EF FNDP 224/680 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 54237791 t fired, 4315716 attempts, .
70 EF FNDP 223/681 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 56405214 t fired, 4358935 attempts, .
88 EF FNDP 140/567 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 29307025 t fired, 2971810 attempts, .
Time elapsed: 226 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 230/674 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 52633846 t fired, 5281356 attempts, .
63 EF FNDP 229/675 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 55191150 t fired, 4391481 attempts, .
70 EF FNDP 228/676 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 57391416 t fired, 4434961 attempts, .
88 EF FNDP 145/562 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 30388658 t fired, 3081628 attempts, .
Time elapsed: 231 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 235/669 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 53632503 t fired, 5381911 attempts, .
63 EF FNDP 234/670 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 56171126 t fired, 4469363 attempts, .
70 EF FNDP 233/671 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 58404162 t fired, 4512992 attempts, .
88 EF FNDP 150/557 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 31442440 t fired, 3188281 attempts, .
Time elapsed: 236 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 240/664 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 54567395 t fired, 5475921 attempts, .
63 EF FNDP 239/665 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 57246879 t fired, 4554887 attempts, .
70 EF FNDP 238/666 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 59543818 t fired, 4600768 attempts, .
88 EF FNDP 155/552 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 32439747 t fired, 3289319 attempts, .
Time elapsed: 241 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 245/659 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 55600998 t fired, 5579899 attempts, .
63 EF FNDP 244/660 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 58257929 t fired, 4635304 attempts, .
70 EF FNDP 243/661 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 60570852 t fired, 4679944 attempts, .
88 EF FNDP 160/547 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 33440447 t fired, 3390679 attempts, .
Time elapsed: 246 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 250/654 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 56667576 t fired, 5687038 attempts, .
63 EF FNDP 249/655 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 59247859 t fired, 4714020 attempts, .
70 EF FNDP 248/656 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 61579361 t fired, 4757667 attempts, .
88 EF FNDP 165/542 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 34456559 t fired, 3493790 attempts, .
Time elapsed: 251 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 255/649 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 57689328 t fired, 5789670 attempts, .
63 EF FNDP 254/650 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 60245215 t fired, 4793272 attempts, .
70 EF FNDP 253/651 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 62554883 t fired, 4832707 attempts, .
88 EF FNDP 170/537 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 35527442 t fired, 3602433 attempts, .
Time elapsed: 256 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 260/644 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 58668353 t fired, 5888079 attempts, .
63 EF FNDP 259/645 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 61234721 t fired, 4871942 attempts, .
70 EF FNDP 258/646 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 63560079 t fired, 4910244 attempts, .
88 EF FNDP 175/532 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 36605928 t fired, 3711495 attempts, .
Time elapsed: 261 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 265/639 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 59652476 t fired, 5987036 attempts, .
63 EF FNDP 264/640 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 62217434 t fired, 4950076 attempts, .
70 EF FNDP 263/641 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 64552228 t fired, 4986731 attempts, .
88 EF FNDP 180/527 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 37691199 t fired, 3821521 attempts, .
Time elapsed: 266 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 270/634 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 60658715 t fired, 6088197 attempts, .
63 EF FNDP 269/635 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 63181080 t fired, 5026661 attempts, .
70 EF FNDP 268/636 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 65535556 t fired, 5062481 attempts, .
88 EF FNDP 185/522 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 38763513 t fired, 3930123 attempts, .
Time elapsed: 271 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 275/629 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 61683181 t fired, 6191057 attempts, .
63 EF FNDP 274/630 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 64145917 t fired, 5103427 attempts, .
70 EF FNDP 273/631 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 66507486 t fired, 5137251 attempts, .
88 EF FNDP 190/517 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 39832113 t fired, 4038373 attempts, .
Time elapsed: 276 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 280/624 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 62700894 t fired, 6293450 attempts, .
63 EF FNDP 279/625 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 65135539 t fired, 5182143 attempts, .
70 EF FNDP 278/626 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 67483756 t fired, 5212528 attempts, .
88 EF FNDP 195/512 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 40868147 t fired, 4143613 attempts, .
Time elapsed: 281 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 285/619 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 63717054 t fired, 6395467 attempts, .
63 EF FNDP 284/620 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 66118715 t fired, 5260314 attempts, .
70 EF FNDP 283/621 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 68490819 t fired, 5290255 attempts, .
88 EF FNDP 200/507 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 41891671 t fired, 4247112 attempts, .
Time elapsed: 286 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 290/614 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 64732918 t fired, 6497463 attempts, .
63 EF FNDP 289/615 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 67112177 t fired, 5339273 attempts, .
70 EF FNDP 288/616 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 69493035 t fired, 5367658 attempts, .
88 EF FNDP 205/502 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 42913377 t fired, 4350750 attempts, .
Time elapsed: 291 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 295/609 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 65749712 t fired, 6599708 attempts, .
63 EF FNDP 294/610 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 68074862 t fired, 5415821 attempts, .
70 EF FNDP 293/611 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 70524474 t fired, 5447080 attempts, .
88 EF FNDP 210/497 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 43961087 t fired, 4456968 attempts, .
Time elapsed: 296 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 300/604 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 66766993 t fired, 6702205 attempts, .
63 EF FNDP 299/605 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 69055943 t fired, 5493870 attempts, .
70 EF FNDP 298/606 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 71537329 t fired, 5525225 attempts, .
88 EF FNDP 215/492 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 44987040 t fired, 4560988 attempts, .
Time elapsed: 301 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 305/599 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 67783716 t fired, 6804313 attempts, .
63 EF FNDP 304/600 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 70032738 t fired, 5571616 attempts, .
70 EF FNDP 303/601 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 72550384 t fired, 5603215 attempts, .
88 EF FNDP 220/487 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 46013578 t fired, 4665150 attempts, .
Time elapsed: 306 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 310/594 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 68788629 t fired, 6904981 attempts, .
63 EF FNDP 309/595 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 71002703 t fired, 5648767 attempts, .
70 EF FNDP 308/596 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 73570250 t fired, 5681868 attempts, .
88 EF FNDP 225/482 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 47048588 t fired, 4769852 attempts, .
Time elapsed: 311 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 315/589 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 69805924 t fired, 7007380 attempts, .
63 EF FNDP 314/590 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 71969480 t fired, 5725721 attempts, .
70 EF FNDP 313/591 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 74591184 t fired, 5760546 attempts, .
88 EF FNDP 230/477 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 48081189 t fired, 4874437 attempts, .
Time elapsed: 316 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 320/584 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 70801389 t fired, 7107697 attempts, .
63 EF FNDP 319/585 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 72957085 t fired, 5804170 attempts, .
70 EF FNDP 318/586 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 75635501 t fired, 5840881 attempts, .
88 EF FNDP 235/472 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 49125406 t fired, 4980247 attempts, .
Time elapsed: 321 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 325/579 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 71790291 t fired, 7207197 attempts, .
63 EF FNDP 324/580 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 73954013 t fired, 5883464 attempts, .
70 EF FNDP 323/581 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 76669428 t fired, 5920502 attempts, .
88 EF FNDP 240/467 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 50172835 t fired, 5086428 attempts, .
Time elapsed: 326 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 330/574 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 72804522 t fired, 7309213 attempts, .
63 EF FNDP 329/575 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 74967964 t fired, 5964115 attempts, .
70 EF FNDP 328/576 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 77695603 t fired, 5999567 attempts, .
88 EF FNDP 245/462 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 51209442 t fired, 5191504 attempts, .
Time elapsed: 331 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 335/569 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 73810517 t fired, 7410318 attempts, .
63 EF FNDP 334/570 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 75948712 t fired, 6042117 attempts, .
70 EF FNDP 333/571 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 78711567 t fired, 6077962 attempts, .
88 EF FNDP 250/457 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 52255497 t fired, 5297420 attempts, .
Time elapsed: 336 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 340/564 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 74813553 t fired, 7511094 attempts, .
63 EF FNDP 339/565 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 76962508 t fired, 6122684 attempts, .
70 EF FNDP 338/566 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 79717631 t fired, 6155391 attempts, .
88 EF FNDP 255/452 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 53298209 t fired, 5403094 attempts, .
Time elapsed: 341 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 345/559 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 75841496 t fired, 7614726 attempts, .
63 EF FNDP 344/560 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 78009631 t fired, 6205738 attempts, .
70 EF FNDP 343/561 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 80703890 t fired, 6231441 attempts, .
88 EF FNDP 260/447 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 54320661 t fired, 5506693 attempts, .
Time elapsed: 346 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 350/554 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 76850102 t fired, 7716068 attempts, .
63 EF FNDP 349/555 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 79072922 t fired, 6290341 attempts, .
70 EF FNDP 348/556 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 81696971 t fired, 6308054 attempts, .
88 EF FNDP 265/442 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 55350833 t fired, 5611121 attempts, .
Time elapsed: 351 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 355/549 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 77858501 t fired, 7817404 attempts, .
63 EF FNDP 354/550 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 80134346 t fired, 6374641 attempts, .
70 EF FNDP 353/551 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 82686366 t fired, 6384405 attempts, .
88 EF FNDP 270/437 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 56402302 t fired, 5717691 attempts, .
Time elapsed: 356 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 360/544 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 78860361 t fired, 7918173 attempts, .
63 EF FNDP 359/545 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 81200852 t fired, 6459482 attempts, .
70 EF FNDP 358/546 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 83676399 t fired, 6460704 attempts, .
88 EF FNDP 275/432 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 57433901 t fired, 5822042 attempts, .
Time elapsed: 361 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 365/539 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 79869224 t fired, 8019655 attempts, .
63 EF FNDP 364/540 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 82265714 t fired, 6544111 attempts, .
70 EF FNDP 363/541 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 84667236 t fired, 6537143 attempts, .
88 EF FNDP 280/427 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 58460296 t fired, 5925963 attempts, .
Time elapsed: 366 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 370/534 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 80910785 t fired, 8124273 attempts, .
63 EF FNDP 369/535 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 83300887 t fired, 6626428 attempts, .
70 EF FNDP 368/536 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 85647408 t fired, 6612755 attempts, .
88 EF FNDP 285/422 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 59482114 t fired, 6029537 attempts, .
Time elapsed: 371 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 375/529 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 81951023 t fired, 8228855 attempts, .
63 EF FNDP 374/530 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 84335284 t fired, 6708777 attempts, .
70 EF FNDP 373/531 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 86636575 t fired, 6688993 attempts, .
88 EF FNDP 290/417 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 60505849 t fired, 6133191 attempts, .
Time elapsed: 376 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 380/524 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 82977181 t fired, 8332006 attempts, .
63 EF FNDP 379/525 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 85375488 t fired, 6791409 attempts, .
70 EF FNDP 378/526 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 87625762 t fired, 6765171 attempts, .
88 EF FNDP 295/412 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 61532583 t fired, 6237395 attempts, .
Time elapsed: 381 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 385/519 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 83984806 t fired, 8433459 attempts, .
63 EF FNDP 384/520 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 86350949 t fired, 6868819 attempts, .
70 EF FNDP 383/521 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 88653702 t fired, 6844498 attempts, .
88 EF FNDP 300/407 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 62572167 t fired, 6342614 attempts, .
Time elapsed: 386 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 390/514 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 84981352 t fired, 8533832 attempts, .
63 EF FNDP 389/515 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 87310865 t fired, 6945062 attempts, .
70 EF FNDP 388/516 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 89703143 t fired, 6925453 attempts, .
88 EF FNDP 305/402 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 63595759 t fired, 6446133 attempts, .
Time elapsed: 391 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 395/509 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 85939137 t fired, 8629971 attempts, .
63 EF FNDP 394/510 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 88295844 t fired, 7023220 attempts, .
70 EF FNDP 393/511 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 90772984 t fired, 7008026 attempts, .
88 EF FNDP 310/397 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 64631447 t fired, 6551048 attempts, .
Time elapsed: 396 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 400/504 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 86912485 t fired, 8727876 attempts, .
63 EF FNDP 399/505 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 89274120 t fired, 7100956 attempts, .
70 EF FNDP 398/506 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 91828262 t fired, 7089396 attempts, .
88 EF FNDP 315/392 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 65662947 t fired, 6655631 attempts, .
Time elapsed: 401 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 405/499 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 87923925 t fired, 8829401 attempts, .
63 EF FNDP 404/500 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 90244563 t fired, 7178093 attempts, .
70 EF FNDP 403/501 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 92854209 t fired, 7168372 attempts, .
88 EF FNDP 320/387 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 66689899 t fired, 6759903 attempts, .
Time elapsed: 406 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 410/494 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 88939709 t fired, 8931514 attempts, .
63 EF FNDP 409/495 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 91220576 t fired, 7255639 attempts, .
70 EF FNDP 408/496 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 93863591 t fired, 7246128 attempts, .
88 EF FNDP 325/382 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 67734069 t fired, 6865796 attempts, .
Time elapsed: 411 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 415/489 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 89955142 t fired, 9033815 attempts, .
63 EF FNDP 414/490 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 92213399 t fired, 7334545 attempts, .
70 EF FNDP 413/491 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 94874471 t fired, 7324115 attempts, .
88 EF FNDP 330/377 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 68780118 t fired, 6971840 attempts, .
Time elapsed: 416 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 420/484 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 90959567 t fired, 9134710 attempts, .
63 EF FNDP 419/485 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 93192903 t fired, 7412254 attempts, .
70 EF FNDP 418/486 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 95908492 t fired, 7403891 attempts, .
88 EF FNDP 335/372 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 69809247 t fired, 7076229 attempts, .
Time elapsed: 421 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 425/479 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 91958170 t fired, 9235325 attempts, .
63 EF FNDP 424/480 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 94194264 t fired, 7491736 attempts, .
70 EF FNDP 423/481 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 96929218 t fired, 7482641 attempts, .
88 EF FNDP 340/367 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 70863348 t fired, 7183149 attempts, .
Time elapsed: 426 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 430/474 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 92938167 t fired, 9333781 attempts, .
63 EF FNDP 429/475 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 95195092 t fired, 7571265 attempts, .
70 EF FNDP 428/476 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 97970554 t fired, 7562787 attempts, .
88 EF FNDP 345/362 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 71939189 t fired, 7292204 attempts, .
Time elapsed: 431 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 435/469 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 93905481 t fired, 9431061 attempts, .
63 EF FNDP 434/470 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 96238194 t fired, 7654284 attempts, .
70 EF FNDP 433/471 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 98983744 t fired, 7640825 attempts, .
88 EF FNDP 350/357 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 72982903 t fired, 7397966 attempts, .
Time elapsed: 436 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 88 (type FNDP) for CryptoMiner-COL-D05N250-ReachabilityFireability-06 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 0 0 1 1 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 440/464 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 94874222 t fired, 9528285 attempts, .
63 EF FNDP 439/465 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 97205969 t fired, 7731376 attempts, .
70 EF FNDP 438/466 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 100070873 t fired, 7724537 attempts, .
Time elapsed: 441 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 108 (type FNDP) for 30 CryptoMiner-COL-D05N250-ReachabilityFireability-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 88 (type FNDP) for CryptoMiner-COL-D05N250-ReachabilityFireability-06
lola: result : unknown
lola: fired transitions : 74028227
lola: tried executions : 7504003
lola: time used : 355.000000
lola: memory pages used : 0
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 0 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 445/459 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 95833624 t fired, 9624854 attempts, .
63 EF FNDP 444/460 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 98128048 t fired, 7804633 attempts, .
70 EF FNDP 443/461 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 101077656 t fired, 7802233 attempts, .
108 EF FNDP 5/789 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-10 1730516 t fired, 2 attempts, .
Time elapsed: 446 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 0 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 1 0 2 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 1 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
55 EF FNDP 450/454 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-08 96788344 t fired, 9720837 attempts, .
63 EF FNDP 449/455 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-09 99064924 t fired, 7879085 attempts, .
70 EF FNDP 448/456 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-00 102071190 t fired, 7878831 attempts, .
108 EF FNDP 10/784 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-10 3455932 t fired, 4 attempts, .
Time elapsed: 451 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 55 (type FNDP) for CryptoMiner-COL-D05N250-ReachabilityFireability-08 (local timeout)
lola: CANCELED task # 63 (type FNDP) for CryptoMiner-COL-D05N250-ReachabilityFireability-09 (local timeout)
lola: CANCELED task # 70 (type FNDP) for CryptoMiner-COL-D05N250-ReachabilityFireability-00 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF 0 3 0 0 1 1 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 3 0 0 2 0 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 1 0 0 2 1 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 2 0 0 2 1 1 0
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
108 EF FNDP 15/779 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-10 5165891 t fired, 6 attempts, .
Time elapsed: 456 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 55 (type FNDP) for CryptoMiner-COL-D05N250-ReachabilityFireability-08
lola: result : unknown
lola: fired transitions : 97808017
lola: tried executions : 9823267
lola: time used : 455.000000
lola: memory pages used : 0
lola: FINISHED task # 63 (type FNDP) for CryptoMiner-COL-D05N250-ReachabilityFireability-09
lola: result : unknown
lola: fired transitions : 100057211
lola: tried executions : 7958072
lola: time used : 454.000000
lola: memory pages used : 0
lola: FINISHED task # 70 (type FNDP) for CryptoMiner-COL-D05N250-ReachabilityFireability-00
lola: result : unknown
lola: fired transitions : 102980911
lola: tried executions : 7948860
lola: time used : 453.000000
lola: memory pages used : 0
lola: LAUNCH task # 71 (type EQUN) for 0 CryptoMiner-COL-D05N250-ReachabilityFireability-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 73 (type SRCH) for 0 CryptoMiner-COL-D05N250-ReachabilityFireability-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 75 (type SRCH) for 0 CryptoMiner-COL-D05N250-ReachabilityFireability-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 75 (type SRCH) for CryptoMiner-COL-D05N250-ReachabilityFireability-00
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 89 (type EQUN) for 18 CryptoMiner-COL-D05N250-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-71.sara.
lola: FINISHED task # 71 (type EQUN) for CryptoMiner-COL-D05N250-ReachabilityFireability-00
lola: result : true
lola: CANCELED task # 73 (type SRCH) for CryptoMiner-COL-D05N250-ReachabilityFireability-00 (obsolete)
lola: LAUNCH task # 67 (type SRCH) for 27 CryptoMiner-COL-D05N250-ReachabilityFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 69 (type SRCH) for 27 CryptoMiner-COL-D05N250-ReachabilityFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 69 (type SRCH) for CryptoMiner-COL-D05N250-ReachabilityFireability-09
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 60 (type SRCH) for 24 CryptoMiner-COL-D05N250-ReachabilityFireability-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 60 (type SRCH) for CryptoMiner-COL-D05N250-ReachabilityFireability-08
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 109 (type EQUN) for 30 CryptoMiner-COL-D05N250-ReachabilityFireability-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-109.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 109 (type EQUN) for CryptoMiner-COL-D05N250-ReachabilityFireability-10
lola: result : true
lola: CANCELED task # 108 (type FNDP) for CryptoMiner-COL-D05N250-ReachabilityFireability-10 (obsolete)
lola: LAUNCH task # 91 (type SRCH) for 18 CryptoMiner-COL-D05N250-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 93 (type SRCH) for 18 CryptoMiner-COL-D05N250-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 108 (type FNDP) for CryptoMiner-COL-D05N250-ReachabilityFireability-10
lola: result : unknown
lola: fired transitions : 9421796
lola: tried executions : 11
lola: time used : 15.000000
lola: memory pages used : 0
lola: FINISHED task # 93 (type SRCH) for CryptoMiner-COL-D05N250-ReachabilityFireability-06
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 91 (type SRCH) for CryptoMiner-COL-D05N250-ReachabilityFireability-06 (memory limit exceeded)
lola: CANCELED task # 67 (type SRCH) for CryptoMiner-COL-D05N250-ReachabilityFireability-09 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF true state equation
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF true state equation
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 0 1 0 3 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 0 0 0 4 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 0 0 0 4 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
89 EF STEQ 5/3144 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 sara not yet started (preprocessing).
Time elapsed: 461 secs. Pages in use: 32
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF true state equation
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF true state equation
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 0 1 0 3 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 0 0 0 4 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 0 0 0 4 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
89 EF STEQ 10/3144 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 sara not yet started (preprocessing).
Time elapsed: 466 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF true state equation
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF true state equation
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG 0 0 1 0 3 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF 0 0 0 0 4 0 2 0
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG 0 0 0 0 4 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
89 EF STEQ 15/3144 0/5 CryptoMiner-COL-D05N250-ReachabilityFireability-06 sara not yet started (preprocessing).
Time elapsed: 471 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: FINISHED task # 89 (type EQUN) for CryptoMiner-COL-D05N250-ReachabilityFireability-06
lola: result : unknown
lola: Portfolio finished: no open tasks 16
FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D05N250-ReachabilityFireability-00: EF true state equation
CryptoMiner-COL-D05N250-ReachabilityFireability-01: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-04: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-06: AG unknown AGGR
CryptoMiner-COL-D05N250-ReachabilityFireability-07: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-08: EF unknown AGGR
CryptoMiner-COL-D05N250-ReachabilityFireability-09: AG unknown AGGR
CryptoMiner-COL-D05N250-ReachabilityFireability-10: EF true state equation
CryptoMiner-COL-D05N250-ReachabilityFireability-11: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D05N250-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-13: EF true tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D05N250-ReachabilityFireability-15: AG false tandem / relaxed
Time elapsed: 475 secs. Pages in use: 32
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="CryptoMiner-COL-D05N250"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool lola"
echo " Input is CryptoMiner-COL-D05N250, 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 r518-tall-167987244100119"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CryptoMiner-COL-D05N250.tgz
mv CryptoMiner-COL-D05N250 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 ;