fond
Model Checking Contest 2024
14th edition, Geneva, Switzerland, June 25, 2024
Execution of r109-tall-171624208000195
Last Updated
July 7, 2024

About the Execution of 2023-gold for CryptoMiner-COL-D03N100

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
3156.812 322450.00 1181350.00 491.20 FFFFFFFFTTFFFTTF normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2024-input.r109-tall-171624208000195.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool gold2023
Input is CryptoMiner-COL-D03N100, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r109-tall-171624208000195
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 488K
-rw-r--r-- 1 mcc users 6.9K Apr 12 12:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Apr 12 12:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Apr 12 12:33 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Apr 12 12:33 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Apr 22 14:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Apr 22 14:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 22 14:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 22 14:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Apr 12 12:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 144K Apr 12 12:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 10K Apr 12 12:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K Apr 12 12:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Apr 22 14:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 22 14:35 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 18 16:42 equiv_pt
-rw-r--r-- 1 mcc users 8 May 18 16:42 instance
-rw-r--r-- 1 mcc users 5 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 13K May 18 16: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-D03N100-ReachabilityFireability-2024-00
FORMULA_NAME CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01
FORMULA_NAME CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02
FORMULA_NAME CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03
FORMULA_NAME CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04
FORMULA_NAME CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05
FORMULA_NAME CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06
FORMULA_NAME CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07
FORMULA_NAME CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08
FORMULA_NAME CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09
FORMULA_NAME CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10
FORMULA_NAME CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11
FORMULA_NAME CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12
FORMULA_NAME CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13
FORMULA_NAME CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14
FORMULA_NAME CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15

=== Now, execution of the tool begins

BK_START 1716309329926

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=gold2023
BK_EXAMINATION=ReachabilityFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CryptoMiner-COL-D03N100
Applying reductions before tool lola
Invoking reducer
Running Version 202304061127
[2024-05-21 16:35:31] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -timeout, 360, -rebuildPNML]
[2024-05-21 16:35:31] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-21 16:35:31] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2024-05-21 16:35:31] [WARNING] Using fallBack plugin, rng conformance not checked
[2024-05-21 16:35:31] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 410 ms
[2024-05-21 16:35:32] [INFO ] Imported 3 HL places and 5 HL transitions for a total of 12 PT places and 20.0 transition bindings in 132 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 30 ms.
Working with output stream class java.io.PrintStream
FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2024-05-21 16:35:32] [INFO ] Built PT skeleton of HLPN with 3 places and 5 transitions 14 arcs in 4 ms.
[2024-05-21 16:35:32] [INFO ] Skeletonized 12 HLPN properties in 0 ms.
Remains 1 properties that can be checked using skeleton over-approximation.
Computed a total of 3 stabilizing places and 3 stable transitions
Finished random walk after 101 steps, including 0 resets, run visited all 1 properties in 5 ms. (steps per millisecond=20 )
[2024-05-21 16:35:32] [INFO ] Flatten gal took : 13 ms
[2024-05-21 16:35:32] [INFO ] Flatten gal took : 1 ms
Arc [0:1*[(MOD (ADD $x 1) 4)]] contains successor/predecessor on variables of sort CD
[2024-05-21 16:35:32] [INFO ] Unfolded HLPN to a Petri net with 12 places and 12 transitions 34 arcs in 6 ms.
[2024-05-21 16:35:32] [INFO ] Unfolded 12 HLPN properties in 0 ms.
Incomplete random walk after 10013 steps, including 2 resets, run finished after 49 ms. (steps per millisecond=204 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=62 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10000 steps, including 24 resets, run finished after 92 ms. (steps per millisecond=108 ) properties (out of 12) seen :4
FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15 FALSE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05 FALSE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 51 ms. (steps per millisecond=196 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 52 ms. (steps per millisecond=192 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 29 ms. (steps per millisecond=344 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 65 ms. (steps per millisecond=153 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 3 resets, run finished after 19 ms. (steps per millisecond=526 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=416 ) properties (out of 8) seen :0
Running SMT prover for 8 properties.
// Phase 1: matrix 12 rows 12 cols
[2024-05-21 16:35:32] [INFO ] Computed 1 invariants in 3 ms
[2024-05-21 16:35:32] [INFO ] [Real]Absence check using 1 positive place invariants in 13 ms returned sat
[2024-05-21 16:35:32] [INFO ] After 177ms SMT Verify possible using all constraints in real domain returned unsat :6 sat :0 real:2
[2024-05-21 16:35:32] [INFO ] [Nat]Absence check using 1 positive place invariants in 4 ms returned sat
[2024-05-21 16:35:32] [INFO ] After 59ms SMT Verify possible using all constraints in natural domain returned unsat :8 sat :0
FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 8 Parikh solutions to 0 different solutions.
Parikh walk visited 0 properties in 1 ms.
All properties solved without resorting to model-checking.
Total runtime 1637 ms.
starting LoLA
BK_INPUT CryptoMiner-COL-D03N100
BK_EXAMINATION: ReachabilityFireability
bin directory: /home/mcc/BenchKit/bin//../reducer/bin//../../lola/bin/
current directory: /home/mcc/execution
ReachabilityFireability

FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

BK_STOP 1716309652376

--------------------
content from stderr:

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202304061127.jar
+ VERSION=202304061127
+ echo 'Running Version 202304061127'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination ReachabilityFireability -timeout 360 -rebuildPNML
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:98
lola: rewrite Frontend/Parser/formula_rewrite.k:159
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: LAUNCH INITIAL
lola: LAUNCH task # 29 (type SKEL/CNST) for 27 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: TR BINDINGS
lola: LAUNCH INITIAL
lola: LAUNCH task # 8 (type SKEL/CNST) for 6 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 8 (type SKEL/CNST) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02
lola: result : false
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 30 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 50 (type SKEL/EQUN) for 30 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 52 (type SKEL/SRCH) for 30 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 29 (type SKEL/CNST) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09
lola: result : true
lola: FINISHED task # 49 (type SKEL/FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10
lola: result : true
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: FINISHED task # 52 (type SKEL/SRCH) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10
lola: result : true
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 50 (type EQUN) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10 (obsolete)
lola: TR BINDINGS DONE
lola: Places: 12, Transitions: 12
lola: FINISHED task # 50 (type SKEL/EQUN) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10
lola: result : unknown
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 42 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14
lola: time limit : 257 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 55 (type FNDP) for 42 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 56 (type EQUN) for 42 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 58 (type SRCH) for 42 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k: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: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-56.sara.
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: place or transition ordering is non-deterministic
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: FINISHED task # 56 (type EQUN) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14
lola: result : true
lola: CANCELED task # 55 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14 (obsolete)
lola: CANCELED task # 58 (type SRCH) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14 (obsolete)
lola: CANCELED task # 59 (type EXCL) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14 (obsolete)
lola: LAUNCH task # 140 (type EXCL) for 30 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10
lola: time limit : 276 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 61 (type FNDP) for 0 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 62 (type EQUN) for 0 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 64 (type SRCH) for 0 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 55 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14
lola: result : unknown
lola: fired transitions : 94375
lola: tried executions : 2
lola: time used : 0.000000
lola: memory pages used : 0
lola: FINISHED task # 140 (type EXCL) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10
lola: result : false
lola: markings : 604
lola: fired transitions : 903
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 121 (type EXCL) for 15 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05
lola: time limit : 299 sec
lola: memory limit: 32 pages
lola: FINISHED task # 62 (type EQUN) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00
lola: result : unknown
lola: LAUNCH task # 92 (type FNDP) for 36 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: CANCELED task # 64 (type SRCH) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 2 1 0 2 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 5/224 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00 2489232 t fired, 364618 attempts, .
92 EF FNDP 5/239 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12 3208264 t fired, 472261 attempts, .
121 EF EXCL 5/299 12/32 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05 3080488 m, 616097 m/sec, 6186502 t fired, .

Time elapsed: 6 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 99 (type FNDP) for 18 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 2 1 0 2 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 10/234 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00 4118132 t fired, 603115 attempts, .
92 EF FNDP 10/234 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12 4873606 t fired, 717213 attempts, .
99 EF FNDP 5/224 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06 1432873 t fired, 183073 attempts, .
121 EF EXCL 10/299 23/32 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05 5904922 m, 564886 m/sec, 12036200 t fired, .

Time elapsed: 11 secs. Pages in use: 23
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 121 (type EXCL) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 2 1 0 2 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 5 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 15/229 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00 5737905 t fired, 840635 attempts, .
92 EF FNDP 15/229 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12 6511560 t fired, 958088 attempts, .
99 EF FNDP 10/219 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06 2851850 t fired, 363737 attempts, .

Time elapsed: 16 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 87 (type EXCL) for 45 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15
lola: time limit : 325 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 2 1 0 2 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 20/224 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00 7149702 t fired, 1047536 attempts, .
87 EF EXCL 5/325 12/32 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15 2981445 m, 596289 m/sec, 5976860 t fired, .
92 EF FNDP 20/224 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12 8469397 t fired, 1245397 attempts, .
99 EF FNDP 15/214 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06 4365273 t fired, 556315 attempts, .

Time elapsed: 21 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 2 1 0 2 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 25/219 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00 8458217 t fired, 1239236 attempts, .
87 EF EXCL 10/325 21/32 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15 5392870 m, 482285 m/sec, 10994976 t fired, .
92 EF FNDP 25/219 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12 10373338 t fired, 1524967 attempts, .
99 EF FNDP 20/209 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06 5963116 t fired, 759600 attempts, .

Time elapsed: 26 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 2 1 0 2 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 30/214 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00 9629319 t fired, 1411002 attempts, .
87 EF EXCL 15/325 31/32 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15 8052962 m, 532018 m/sec, 16531295 t fired, .
92 EF FNDP 30/214 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12 11938301 t fired, 1755058 attempts, .
99 EF FNDP 25/204 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06 7987246 t fired, 1017137 attempts, .

Time elapsed: 31 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 87 (type EXCL) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 2 1 0 2 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 35/209 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00 10969868 t fired, 1607781 attempts, .
92 EF FNDP 35/209 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12 13856139 t fired, 2036508 attempts, .
99 EF FNDP 30/199 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06 9628693 t fired, 1225944 attempts, .

Time elapsed: 36 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 77 (type EXCL) for 39 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13
lola: time limit : 356 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 2 1 0 2 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 40/204 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00 12139568 t fired, 1779383 attempts, .
77 EF EXCL 5/356 13/32 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13 3347106 m, 669421 m/sec, 6765826 t fired, .
92 EF FNDP 40/204 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12 15422450 t fired, 2266655 attempts, .
99 EF FNDP 35/194 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06 11602933 t fired, 1477305 attempts, .

Time elapsed: 41 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 2 1 0 2 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 45/199 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00 13280870 t fired, 1946728 attempts, .
77 EF EXCL 10/356 25/32 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13 6467806 m, 624140 m/sec, 13122805 t fired, .
92 EF FNDP 45/199 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12 17056780 t fired, 2506445 attempts, .
99 EF FNDP 40/189 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06 13578967 t fired, 1728378 attempts, .

Time elapsed: 46 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 77 (type EXCL) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 2 1 0 2 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 50/194 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00 14761007 t fired, 2163585 attempts, .
92 EF FNDP 50/194 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12 20007567 t fired, 2939787 attempts, .
99 EF FNDP 45/184 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06 15536769 t fired, 1977150 attempts, .

Time elapsed: 51 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 134 (type EXCL) for 24 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08
lola: time limit : 394 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 2 1 0 2 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 55/189 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00 16308503 t fired, 2390676 attempts, .
92 EF FNDP 55/189 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12 21563996 t fired, 3168077 attempts, .
99 EF FNDP 50/179 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06 17296003 t fired, 2200905 attempts, .
134 EF EXCL 5/394 10/32 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08 2497822 m, 499564 m/sec, 4331998 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-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 2 1 0 2 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 60/184 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00 17886633 t fired, 2622293 attempts, .
92 EF FNDP 60/184 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12 23353416 t fired, 3430643 attempts, .
99 EF FNDP 55/174 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06 18698137 t fired, 2379474 attempts, .
134 EF EXCL 10/394 21/32 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08 5484235 m, 597282 m/sec, 9497568 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-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 2 1 0 2 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 65/179 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00 19480850 t fired, 2856421 attempts, .
92 EF FNDP 65/179 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12 25263650 t fired, 3711032 attempts, .
99 EF FNDP 60/169 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06 20002148 t fired, 2545991 attempts, .
134 EF EXCL 15/394 31/32 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08 8000199 m, 503192 m/sec, 13981611 t fired, .

Time elapsed: 66 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 134 (type EXCL) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 2 1 0 2 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 70/174 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00 20898780 t fired, 3063918 attempts, .
92 EF FNDP 70/174 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12 27163840 t fired, 3990209 attempts, .
99 EF FNDP 65/164 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06 21560627 t fired, 2744186 attempts, .

Time elapsed: 71 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 97 (type EXCL) for 12 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04
lola: time limit : 441 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 2 1 0 2 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 75/169 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00 22376302 t fired, 3280514 attempts, .
92 EF FNDP 75/169 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12 28990398 t fired, 4258454 attempts, .
97 EF EXCL 5/441 12/32 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04 3095325 m, 619065 m/sec, 5154977 t fired, .
99 EF FNDP 70/159 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06 23157485 t fired, 2947268 attempts, .

Time elapsed: 76 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 2 1 0 2 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 80/164 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00 23915738 t fired, 3505658 attempts, .
92 EF FNDP 80/164 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12 30819322 t fired, 4526923 attempts, .
97 EF EXCL 10/441 25/32 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04 6387172 m, 658369 m/sec, 10953457 t fired, .
99 EF FNDP 75/154 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06 24647114 t fired, 3136601 attempts, .

Time elapsed: 81 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 97 (type EXCL) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 2 1 0 2 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 85/159 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00 25419649 t fired, 3726245 attempts, .
92 EF FNDP 85/159 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12 32660356 t fired, 4797423 attempts, .
99 EF FNDP 80/149 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06 26157187 t fired, 3328728 attempts, .

Time elapsed: 86 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 90 (type EXCL) for 21 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07
lola: time limit : 502 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 2 1 0 2 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 90/154 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00 26818056 t fired, 3931103 attempts, .
90 EF EXCL 5/502 17/32 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07 4444614 m, 888922 m/sec, 5259769 t fired, .
92 EF FNDP 90/154 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12 34616061 t fired, 5084582 attempts, .
99 EF FNDP 85/144 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06 27721372 t fired, 3527994 attempts, .

Time elapsed: 91 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 90 (type EXCL) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 2 1 0 2 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 95/149 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00 28140204 t fired, 4124748 attempts, .
92 EF FNDP 95/149 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12 36417818 t fired, 5349067 attempts, .
99 EF FNDP 90/139 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06 29399285 t fired, 3741117 attempts, .

Time elapsed: 96 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 72 (type EXCL) for 9 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03
lola: time limit : 584 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 2 1 0 2 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 100/144 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00 29372290 t fired, 4305693 attempts, .
72 EF EXCL 5/584 14/32 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 3618000 m, 723600 m/sec, 6138001 t fired, .
92 EF FNDP 100/144 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12 38084652 t fired, 5593720 attempts, .
99 EF FNDP 95/134 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06 31170862 t fired, 3966642 attempts, .

Time elapsed: 101 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 2 1 0 2 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 105/139 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00 30604703 t fired, 4486123 attempts, .
72 EF EXCL 10/584 27/32 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 6937371 m, 663874 m/sec, 12023164 t fired, .
92 EF FNDP 105/139 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12 39741189 t fired, 5836896 attempts, .
99 EF FNDP 100/129 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06 32943450 t fired, 4192274 attempts, .

Time elapsed: 106 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 72 (type EXCL) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 2 1 0 2 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 110/134 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00 31875273 t fired, 4672437 attempts, .
92 EF FNDP 110/134 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12 41445755 t fired, 6086974 attempts, .
99 EF FNDP 105/124 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06 34662544 t fired, 4411013 attempts, .

Time elapsed: 111 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 127 (type EXCL) for 3 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01
lola: time limit : 697 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 2 1 0 2 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 115/129 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00 33087273 t fired, 4850290 attempts, .
92 EF FNDP 115/129 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12 43759866 t fired, 6426869 attempts, .
99 EF FNDP 110/119 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06 35899908 t fired, 4568376 attempts, .
127 EF EXCL 5/697 13/32 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 3293915 m, 658783 m/sec, 5716606 t fired, .

Time elapsed: 116 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 99 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 2 1 0 2 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 4 0 0 1 1 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 5 0 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
61 EF FNDP 120/124 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00 34324886 t fired, 5032134 attempts, .
92 EF FNDP 120/124 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12 45416014 t fired, 6669879 attempts, .
127 EF EXCL 10/697 26/32 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 6567727 m, 654762 m/sec, 11627660 t fired, .

Time elapsed: 121 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 110 (type FNDP) for 33 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 99 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06
lola: result : unknown
lola: fired transitions : 37702418
lola: tried executions : 4798068
lola: time used : 115.000000
lola: memory pages used : 0
lola: CANCELED task # 127 (type EXCL) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 (memory limit exceeded)
lola: CANCELED task # 61 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00 (local timeout)
lola: CANCELED task # 92 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 2 0 0 2 1 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 4 0 0 2 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 4 1 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF 0 4 0 0 1 1 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
110 EF FNDP 5/231 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 1937772 t fired, 441918 attempts, .

Time elapsed: 126 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 61 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00
lola: result : unknown
lola: fired transitions : 35515607
lola: tried executions : 5206779
lola: time used : 125.000000
lola: memory pages used : 0
lola: FINISHED task # 92 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12
lola: result : unknown
lola: fired transitions : 47036974
lola: tried executions : 6908007
lola: time used : 125.000000
lola: memory pages used : 0
lola: LAUNCH task # 114 (type EXCL) for 33 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11
lola: time limit : 868 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 100 (type EQUN) for 36 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 102 (type EQUN) for 18 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-100.sara.
lola: FINISHED task # 102 (type EQUN) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06
lola: result : unknown
lola: LAUNCH task # 123 (type FNDP) for 3 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages

lola: FINISHED task # 100 (type EQUN) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12
lola: result : false
lola: LAUNCH task # 68 (type FNDP) for 9 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 2 0 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 3 0 0 3 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 3 2 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 5/267 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 1485902 t fired, 211316 attempts, .
110 EF FNDP 10/262 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 3507232 t fired, 802431 attempts, .
114 EF EXCL 5/1158 13/32 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 3184186 m, 636837 m/sec, 5509930 t fired, .
123 EF FNDP 5/267 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 1993769 t fired, 282359 attempts, .

Time elapsed: 131 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 2 0 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 3 0 0 3 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 3 2 0 1 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 10/262 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 3023259 t fired, 428479 attempts, .
110 EF FNDP 15/257 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 4746771 t fired, 1087538 attempts, .
114 EF EXCL 10/1158 24/32 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 6098376 m, 582838 m/sec, 10828794 t fired, .
123 EF FNDP 10/262 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 4071957 t fired, 575622 attempts, .

Time elapsed: 136 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 114 (type EXCL) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 2 0 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 3 0 0 3 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 15/257 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 4549324 t fired, 643997 attempts, .
110 EF FNDP 20/252 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 6017959 t fired, 1379553 attempts, .
123 EF FNDP 15/257 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 6129380 t fired, 866215 attempts, .

Time elapsed: 141 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 107 (type EXCL) for 18 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06
lola: time limit : 1729 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 2 0 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 2 1 0 3 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 20/252 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 5998192 t fired, 848852 attempts, .
107 EF EXCL 5/1729 12/32 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06 2974136 m, 594827 m/sec, 5407561 t fired, .
110 EF FNDP 25/247 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 7454034 t fired, 1709142 attempts, .
123 EF FNDP 20/252 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 8151247 t fired, 1151280 attempts, .

Time elapsed: 146 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 2 0 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 2 1 0 3 0 0 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 25/247 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 7439601 t fired, 1052257 attempts, .
107 EF EXCL 10/1729 23/32 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06 5779354 m, 561043 m/sec, 10685636 t fired, .
110 EF FNDP 30/242 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 8880899 t fired, 2036771 attempts, .
123 EF FNDP 25/247 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 10177963 t fired, 1437142 attempts, .

Time elapsed: 151 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 107 (type EXCL) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 2 0 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 2 0 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 30/242 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 8877534 t fired, 1254943 attempts, .
110 EF FNDP 35/237 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 10286684 t fired, 2359950 attempts, .
123 EF FNDP 30/242 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 12207581 t fired, 1723441 attempts, .

Time elapsed: 156 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 65 (type EXCL) for 0 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00
lola: time limit : 3444 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 1 1 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 2 0 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
65 EF EXCL 5/3444 11/32 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00 2836028 m, 567205 m/sec, 4756621 t fired, .
68 EF FNDP 35/237 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 10317825 t fired, 1458365 attempts, .
110 EF FNDP 40/232 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 11694932 t fired, 2683788 attempts, .
123 EF FNDP 35/237 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 14226278 t fired, 2008318 attempts, .

Time elapsed: 161 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 1 1 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 2 0 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
65 EF EXCL 10/3444 22/32 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00 5510710 m, 534936 m/sec, 9446105 t fired, .
68 EF FNDP 40/232 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 11757478 t fired, 1661638 attempts, .
110 EF FNDP 45/227 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 13108838 t fired, 3009812 attempts, .
123 EF FNDP 40/232 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 16242911 t fired, 2292794 attempts, .

Time elapsed: 166 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 1 1 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 2 0 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
65 EF EXCL 15/3444 31/32 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00 8105302 m, 518918 m/sec, 14067702 t fired, .
68 EF FNDP 45/227 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 13190977 t fired, 1864128 attempts, .
110 EF FNDP 50/222 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 14525891 t fired, 3335505 attempts, .
123 EF FNDP 45/227 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 18266213 t fired, 2577808 attempts, .

Time elapsed: 171 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 65 (type EXCL) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 1 0 0 3 0 2 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 2 0 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 50/222 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 15150533 t fired, 2141096 attempts, .
110 EF FNDP 55/217 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 15922930 t fired, 3656175 attempts, .
123 EF FNDP 50/222 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 19830211 t fired, 2798260 attempts, .

Time elapsed: 176 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 79 (type FNDP) for 21 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 1 0 0 3 0 2 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 2 0 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 55/297 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 16123127 t fired, 2278297 attempts, .
79 EF FNDP 5/342 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07 986841 t fired, 216698 attempts, .
110 EF FNDP 60/331 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 16934340 t fired, 3888056 attempts, .
123 EF FNDP 55/297 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 20879081 t fired, 2945946 attempts, .

Time elapsed: 181 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 1 0 0 3 0 2 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 2 0 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 60/292 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 17093572 t fired, 2415215 attempts, .
79 EF FNDP 10/337 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07 1962178 t fired, 433769 attempts, .
110 EF FNDP 65/326 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 17946270 t fired, 4120685 attempts, .
123 EF FNDP 60/292 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 21926460 t fired, 3093856 attempts, .

Time elapsed: 186 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 1 0 0 3 0 2 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 2 0 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 65/287 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 18067931 t fired, 2552490 attempts, .
79 EF FNDP 15/332 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07 2938872 t fired, 651607 attempts, .
110 EF FNDP 70/321 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 18944602 t fired, 4349661 attempts, .
123 EF FNDP 65/287 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 22991269 t fired, 3243724 attempts, .

Time elapsed: 191 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 1 0 0 3 0 2 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 2 0 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 70/282 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 19044353 t fired, 2690399 attempts, .
79 EF FNDP 20/327 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07 3910733 t fired, 868142 attempts, .
110 EF FNDP 75/316 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 19936125 t fired, 4577852 attempts, .
123 EF FNDP 70/282 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 24052149 t fired, 3393180 attempts, .

Time elapsed: 196 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 1 0 0 3 0 2 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 2 0 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 75/277 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 20017273 t fired, 2827867 attempts, .
79 EF FNDP 25/322 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07 4883859 t fired, 1085352 attempts, .
110 EF FNDP 80/311 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 20934183 t fired, 4807830 attempts, .
123 EF FNDP 75/277 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 25103751 t fired, 3541370 attempts, .

Time elapsed: 201 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 1 0 0 3 0 2 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 2 0 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 80/272 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 20985243 t fired, 2964559 attempts, .
79 EF FNDP 30/317 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07 5847525 t fired, 1300305 attempts, .
110 EF FNDP 85/306 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 21935763 t fired, 5037903 attempts, .
123 EF FNDP 80/272 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 26179258 t fired, 3693025 attempts, .

Time elapsed: 206 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 1 0 0 3 0 2 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 2 0 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 85/267 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 21942744 t fired, 3099537 attempts, .
79 EF FNDP 35/312 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07 6807366 t fired, 1514176 attempts, .
110 EF FNDP 90/301 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 22948998 t fired, 5271039 attempts, .
123 EF FNDP 85/267 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 27237785 t fired, 3841766 attempts, .

Time elapsed: 211 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 1 0 0 3 0 2 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 2 0 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 90/262 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 22902243 t fired, 3234725 attempts, .
79 EF FNDP 40/307 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07 7769547 t fired, 1728292 attempts, .
110 EF FNDP 95/296 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 23937959 t fired, 5498213 attempts, .
123 EF FNDP 90/262 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 28318789 t fired, 3993939 attempts, .

Time elapsed: 216 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 1 0 0 3 0 2 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 2 0 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 95/257 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 23869565 t fired, 3371571 attempts, .
79 EF FNDP 45/302 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07 8740323 t fired, 1944690 attempts, .
110 EF FNDP 100/291 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 24943404 t fired, 5729367 attempts, .
123 EF FNDP 95/257 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 29390677 t fired, 4145067 attempts, .

Time elapsed: 221 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 1 0 0 3 0 2 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 2 0 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 100/252 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 24839355 t fired, 3508091 attempts, .
79 EF FNDP 50/297 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07 9709870 t fired, 2160798 attempts, .
110 EF FNDP 105/286 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 25942858 t fired, 5959051 attempts, .
123 EF FNDP 100/252 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 30466734 t fired, 4296753 attempts, .

Time elapsed: 226 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 1 0 0 3 0 2 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 2 0 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 105/247 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 25803530 t fired, 3643905 attempts, .
79 EF FNDP 55/292 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07 10681303 t fired, 2377338 attempts, .
110 EF FNDP 110/281 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 26943021 t fired, 6188738 attempts, .
123 EF FNDP 105/247 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 31547430 t fired, 4449258 attempts, .

Time elapsed: 231 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 1 0 0 3 0 2 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 2 0 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 110/242 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 26767189 t fired, 3779921 attempts, .
79 EF FNDP 60/287 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07 11651061 t fired, 2593618 attempts, .
110 EF FNDP 115/276 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 27944623 t fired, 6419122 attempts, .
123 EF FNDP 110/242 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 32623169 t fired, 4601137 attempts, .

Time elapsed: 236 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 1 0 0 3 0 2 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 2 0 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 115/237 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 27728618 t fired, 3915609 attempts, .
79 EF FNDP 65/282 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07 12617363 t fired, 2808992 attempts, .
110 EF FNDP 120/271 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 28948498 t fired, 6649831 attempts, .
123 EF FNDP 115/237 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 33701802 t fired, 4753388 attempts, .

Time elapsed: 241 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 1 0 0 3 0 2 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 2 0 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 120/232 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 28694176 t fired, 4051982 attempts, .
79 EF FNDP 70/277 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07 13586338 t fired, 3025213 attempts, .
110 EF FNDP 125/266 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 29949684 t fired, 6880667 attempts, .
123 EF FNDP 120/232 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 34770824 t fired, 4904100 attempts, .

Time elapsed: 246 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 1 0 0 3 0 2 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 2 0 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 125/227 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 29650797 t fired, 4186746 attempts, .
79 EF FNDP 75/272 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07 14551094 t fired, 3240584 attempts, .
110 EF FNDP 130/261 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 30943602 t fired, 7108891 attempts, .
123 EF FNDP 125/227 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 35845962 t fired, 5055683 attempts, .

Time elapsed: 251 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 1 0 0 3 0 2 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 2 0 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 130/222 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 30604763 t fired, 4321202 attempts, .
79 EF FNDP 80/267 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07 15509640 t fired, 3453606 attempts, .
110 EF FNDP 135/256 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 31934625 t fired, 7336903 attempts, .
123 EF FNDP 130/222 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 36922762 t fired, 5207627 attempts, .

Time elapsed: 256 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 1 0 0 3 0 2 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 2 0 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 135/217 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 31568516 t fired, 4457267 attempts, .
79 EF FNDP 85/262 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07 16473626 t fired, 3668543 attempts, .
110 EF FNDP 140/251 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 32922421 t fired, 7563604 attempts, .
123 EF FNDP 135/217 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 37983081 t fired, 5356901 attempts, .

Time elapsed: 261 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 1 0 0 3 0 2 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 2 0 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 140/212 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 32522583 t fired, 4591821 attempts, .
79 EF FNDP 90/257 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07 17436311 t fired, 3883400 attempts, .
110 EF FNDP 145/246 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 33914318 t fired, 7791699 attempts, .
123 EF FNDP 140/212 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 39037694 t fired, 5505278 attempts, .

Time elapsed: 266 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 1 0 0 3 0 2 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 2 0 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 145/207 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 33477634 t fired, 4726314 attempts, .
79 EF FNDP 95/252 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07 18401957 t fired, 4098310 attempts, .
110 EF FNDP 150/241 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 34929236 t fired, 8024874 attempts, .
123 EF FNDP 145/207 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 40081048 t fired, 5652290 attempts, .

Time elapsed: 271 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 1 0 0 3 0 2 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 2 0 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 150/202 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 34424772 t fired, 4859760 attempts, .
79 EF FNDP 100/247 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07 19358541 t fired, 4311854 attempts, .
110 EF FNDP 155/236 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 35952028 t fired, 8259750 attempts, .
123 EF FNDP 150/202 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 41134170 t fired, 5801207 attempts, .

Time elapsed: 276 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 1 0 0 3 0 2 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 2 0 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 155/197 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 35368016 t fired, 4992832 attempts, .
79 EF FNDP 105/242 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07 20318919 t fired, 4526563 attempts, .
110 EF FNDP 160/231 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 36968072 t fired, 8493184 attempts, .
123 EF FNDP 155/197 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 42180020 t fired, 5948541 attempts, .

Time elapsed: 281 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 1 0 0 3 0 2 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 2 0 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 160/192 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 36308803 t fired, 5125699 attempts, .
79 EF FNDP 110/237 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07 21275870 t fired, 4740361 attempts, .
110 EF FNDP 165/226 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 37986973 t fired, 8727298 attempts, .
123 EF FNDP 160/192 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 43228963 t fired, 6096019 attempts, .

Time elapsed: 286 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 1 0 0 3 0 2 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 2 0 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 165/187 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 37260818 t fired, 5260054 attempts, .
79 EF FNDP 115/232 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07 22240495 t fired, 4955904 attempts, .
110 EF FNDP 170/221 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 38996966 t fired, 8959384 attempts, .
123 EF FNDP 165/187 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 44279434 t fired, 6244150 attempts, .

Time elapsed: 291 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 1 0 0 3 0 2 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 2 0 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 170/182 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 38222115 t fired, 5395833 attempts, .
79 EF FNDP 120/227 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07 23212418 t fired, 5172428 attempts, .
110 EF FNDP 175/216 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 39995935 t fired, 9189251 attempts, .
123 EF FNDP 170/182 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 45327610 t fired, 6391577 attempts, .

Time elapsed: 296 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 1 0 0 3 0 2 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 2 0 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
68 EF FNDP 175/177 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 39182856 t fired, 5531388 attempts, .
79 EF FNDP 125/222 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07 24181540 t fired, 5388186 attempts, .
110 EF FNDP 180/211 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 41000647 t fired, 9420285 attempts, .
123 EF FNDP 175/177 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 46372576 t fired, 6538757 attempts, .

Time elapsed: 301 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 68 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 (local timeout)
lola: CANCELED task # 123 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 1 0 0 3 0 2 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF 0 3 0 0 1 1 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF 0 3 0 0 1 1 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 2 0 0 3 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF 0 4 0 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
79 EF FNDP 130/217 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07 25152608 t fired, 5604951 attempts, .
110 EF FNDP 185/206 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 42005638 t fired, 9651066 attempts, .

Time elapsed: 306 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 93 (type FNDP) for 12 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 94 (type EQUN) for 12 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 68 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03
lola: result : unknown
lola: fired transitions : 40137664
lola: tried executions : 5665761
lola: time used : 180.000000
lola: memory pages used : 0
lola: FINISHED task # 123 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01
lola: result : unknown
lola: fired transitions : 47422373
lola: tried executions : 6686639
lola: time used : 180.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-94.sara.

lola: FINISHED task # 94 (type EQUN) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04
lola: result : false
lola: CANCELED task # 93 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04 (obsolete)
lola: LAUNCH task # 130 (type FNDP) for 24 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 131 (type EQUN) for 24 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 93 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04
lola: result : unknown
lola: fired transitions : 12432
lola: tried executions : 3219
lola: time used : 0.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-131.sara.

lola: FINISHED task # 131 (type EQUN) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08
lola: result : false
lola: CANCELED task # 130 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08 (obsolete)
lola: LAUNCH task # 67 (type FNDP) for 39 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 74 (type EQUN) for 39 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 130 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08
lola: result : unknown
lola: fired transitions : 45593
lola: tried executions : 13
lola: time used : 0.000000
lola: memory pages used : 0
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-74.sara.

lola: FINISHED task # 74 (type EQUN) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13
lola: result : true
lola: CANCELED task # 67 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13 (obsolete)
lola: LAUNCH task # 83 (type FNDP) for 45 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 84 (type EQUN) for 45 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 67 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13
lola: result : unknown
lola: fired transitions : 7082
lola: tried executions : 2
lola: time used : 0.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-84.sara.
sara: place or transition ordering is non-deterministic

lola: FINISHED task # 84 (type EQUN) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15
lola: result : true
lola: CANCELED task # 83 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15 (obsolete)
lola: LAUNCH task # 117 (type FNDP) for 15 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 118 (type EQUN) for 15 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05
lola: time limit : 32000000 sec
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: memory limit: 5 pages
lola: FINISHED task # 83 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15
lola: result : unknown
lola: fired transitions : 8276
lola: tried executions : 2
lola: time used : 0.000000
lola: memory pages used : 0
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-118.sara.
sara: place or transition ordering is non-deterministic

lola: FINISHED task # 118 (type EQUN) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05
lola: result : true
lola: CANCELED task # 117 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05 (obsolete)
lola: LAUNCH task # 124 (type EQUN) for 3 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 126 (type SRCH) for 3 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 117 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05
lola: result : unknown
lola: fired transitions : 6475
lola: tried executions : 2
lola: time used : 0.000000
lola: memory pages used : 0
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-124.sara.
lola: CANCELED task # 126 (type SRCH) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01 (memory limit exceeded)

lola: FINISHED task # 124 (type EQUN) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01
lola: result : false
lola: LAUNCH task # 69 (type EQUN) for 9 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 71 (type SRCH) for 9 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-69.sara.

lola: FINISHED task # 69 (type EQUN) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03
lola: result : false
lola: CANCELED task # 71 (type SRCH) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03 (obsolete)
lola: LAUNCH task # 106 (type SRCH) for 18 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 109 (type SRCH) for 18 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 109 (type SRCH) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 66 (type SRCH) for 0 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 66 (type SRCH) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 111 (type EQUN) for 33 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG false state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 0 0 0 4 0 2 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 0 1 0 4 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 2 2 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
79 EF FNDP 135/1579 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07 27451484 t fired, 6118502 attempts, .
106 EF SRCH 2/1097 5/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06 1437232 m, 287446 m/sec, 1829821 t fired, .
110 EF FNDP 190/1551 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 44317203 t fired, 10182789 attempts, .
111 EF STEQ 2/1645 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 sara not yet started (preprocessing).

Time elapsed: 311 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 106 (type SRCH) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06 (memory limit exceeded)
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-111.sara.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG false state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF 0 0 0 0 4 0 2 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF 0 0 0 0 4 0 2 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF 0 3 1 0 1 0 1 0
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF 0 2 2 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
79 EF FNDP 140/1577 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07 30269014 t fired, 6746036 attempts, .
110 EF FNDP 195/1549 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 46460258 t fired, 10674507 attempts, .
111 EF STEQ 7/1643 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 sara is running.

Time elapsed: 316 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 80 (type EQUN) for 21 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07
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-80.sara.

lola: FINISHED task # 80 (type EQUN) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07
lola: result : false
lola: CANCELED task # 79 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07 (obsolete)
lola: LAUNCH task # 113 (type SRCH) for 33 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 115 (type SRCH) for 33 CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 79 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07
lola: result : unknown
lola: fired transitions : 30289793
lola: tried executions : 6750658
lola: time used : 140.000000
lola: memory pages used : 0
lola: FINISHED task # 115 (type SRCH) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 113 (type SRCH) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 (memory limit exceeded)

lola: FINISHED task # 111 (type EQUN) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11
lola: result : false
lola: CANCELED task # 110 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11 (obsolete)
lola: Portfolio finished: no open tasks 16

FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-00: EF unknown AGGR
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-01: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-02: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-03: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-04: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-05: AG false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-06: EF unknown AGGR
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-07: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-08: AG true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-09: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-10: EF false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-11: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-12: EF false state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-13: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-14: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-2024-15: AG false state equation


Time elapsed: 319 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-D03N100"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="gold2023"
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-5568"
echo " Executing tool gold2023"
echo " Input is CryptoMiner-COL-D03N100, 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 r109-tall-171624208000195"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CryptoMiner-COL-D03N100.tgz
mv CryptoMiner-COL-D03N100 execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' ReachabilityFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;