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 '
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 ;