Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r519-tall-167987244800095.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lolaxred
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 r519-tall-167987244800095
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 388K
-rw-r--r-- 1 mcc users 7.5K Mar 23 15:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Mar 23 15:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Mar 23 15:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Mar 23 15:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Mar 23 07:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 23 07:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 23 07:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 23 07:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 26 22:42 NewModel
-rw-r--r-- 1 mcc users 7.1K Mar 23 15:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 56K Mar 23 15:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Mar 23 15:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 72K Mar 23 15:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 23 07:06 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 23 07:06 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 26 22:42 equiv_pt
-rw-r--r-- 1 mcc users 8 Mar 26 22:42 instance
-rw-r--r-- 1 mcc users 5 Mar 26 22:42 iscolored
-rw-r--r-- 1 mcc users 13K Mar 31 16:48 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-00
FORMULA_NAME CryptoMiner-COL-D03N100-ReachabilityFireability-01
FORMULA_NAME CryptoMiner-COL-D03N100-ReachabilityFireability-02
FORMULA_NAME CryptoMiner-COL-D03N100-ReachabilityFireability-03
FORMULA_NAME CryptoMiner-COL-D03N100-ReachabilityFireability-04
FORMULA_NAME CryptoMiner-COL-D03N100-ReachabilityFireability-05
FORMULA_NAME CryptoMiner-COL-D03N100-ReachabilityFireability-06
FORMULA_NAME CryptoMiner-COL-D03N100-ReachabilityFireability-07
FORMULA_NAME CryptoMiner-COL-D03N100-ReachabilityFireability-08
FORMULA_NAME CryptoMiner-COL-D03N100-ReachabilityFireability-09
FORMULA_NAME CryptoMiner-COL-D03N100-ReachabilityFireability-10
FORMULA_NAME CryptoMiner-COL-D03N100-ReachabilityFireability-11
FORMULA_NAME CryptoMiner-COL-D03N100-ReachabilityFireability-12
FORMULA_NAME CryptoMiner-COL-D03N100-ReachabilityFireability-13
FORMULA_NAME CryptoMiner-COL-D03N100-ReachabilityFireability-14
FORMULA_NAME CryptoMiner-COL-D03N100-ReachabilityFireability-15

=== Now, execution of the tool begins

BK_START 1680835687938

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=lolaxred
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
[2023-04-07 02:48:09] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -timeout, 360, -rebuildPNML]
[2023-04-07 02:48:09] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-04-07 02:48:09] [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.
[2023-04-07 02:48:09] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-04-07 02:48:09] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 466 ms
[2023-04-07 02:48:09] [INFO ] Imported 3 HL places and 5 HL transitions for a total of 12 PT places and 20.0 transition bindings in 15 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 23 ms.
Working with output stream class java.io.PrintStream
FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-00 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-05 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2023-04-07 02:48:09] [INFO ] Built PT skeleton of HLPN with 3 places and 5 transitions 14 arcs in 4 ms.
[2023-04-07 02:48:09] [INFO ] Skeletonized 13 HLPN properties in 0 ms.
Remains 4 properties that can be checked using skeleton over-approximation.
Computed a total of 3 stabilizing places and 3 stable transitions
Initial state reduction rules removed 2 formulas.
Finished random walk after 103 steps, including 1 resets, run visited all 2 properties in 6 ms. (steps per millisecond=17 )
[2023-04-07 02:48:09] [INFO ] Flatten gal took : 12 ms
[2023-04-07 02:48:09] [INFO ] Flatten gal took : 1 ms
Arc [0:1*[(MOD (ADD $x 1) 4)]] contains successor/predecessor on variables of sort CD
[2023-04-07 02:48:09] [INFO ] Unfolded HLPN to a Petri net with 12 places and 12 transitions 34 arcs in 6 ms.
[2023-04-07 02:48:09] [INFO ] Unfolded 13 HLPN properties in 0 ms.
Initial state reduction rules removed 5 formulas.
FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-10 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-15 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Incomplete random walk after 10023 steps, including 4 resets, run finished after 14 ms. (steps per millisecond=715 ) properties (out of 8) seen :7
FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-13 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-11 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-08 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-07 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-06 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-04 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-01 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10000 steps, including 24 resets, run finished after 27 ms. (steps per millisecond=370 ) properties (out of 1) seen :0
Running SMT prover for 1 properties.
// Phase 1: matrix 12 rows 12 cols
[2023-04-07 02:48:10] [INFO ] Computed 1 invariants in 2 ms
[2023-04-07 02:48:10] [INFO ] After 111ms SMT Verify possible using all constraints in real domain returned unsat :1 sat :0
FORMULA CryptoMiner-COL-D03N100-ReachabilityFireability-02 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 1 Parikh solutions to 0 different solutions.
Parikh walk visited 0 properties in 1 ms.
All properties solved without resorting to model-checking.
Total runtime 866 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-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

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

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

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

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

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

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

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

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

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

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

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

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

BK_STOP 1680836151660

--------------------
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:98
lola: rewrite Frontend/Parser/formula_rewrite.k:159
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:159
lola: rewrite Frontend/Parser/formula_rewrite.k:150
lola: rewrite Frontend/Parser/formula_rewrite.k:96
lola: rewrite Frontend/Parser/formula_rewrite.k:156
lola: rewrite Frontend/Parser/formula_rewrite.k:147
lola: LAUNCH INITIAL
lola: LAUNCH task # 2 (type SKEL/CNST) for 0 CryptoMiner-COL-D03N100-ReachabilityFireability-00
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: LAUNCH INITIAL
lola: LAUNCH task # 17 (type SKEL/CNST) for 15 CryptoMiner-COL-D03N100-ReachabilityFireability-05
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 2 (type SKEL/CNST) for CryptoMiner-COL-D03N100-ReachabilityFireability-00
lola: result : true
lola: LAUNCH INITIAL
lola: LAUNCH task # 11 (type SKEL/CNST) for 9 CryptoMiner-COL-D03N100-ReachabilityFireability-03
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 17 (type SKEL/CNST) for CryptoMiner-COL-D03N100-ReachabilityFireability-05
lola: result : false
lola: TR BINDINGS
lola: FINISHED task # 11 (type SKEL/CNST) for CryptoMiner-COL-D03N100-ReachabilityFireability-03
lola: result : true
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: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: LAUNCH task # 56 (type SKEL/FNDP) for 30 CryptoMiner-COL-D03N100-ReachabilityFireability-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 57 (type SKEL/EQUN) for 30 CryptoMiner-COL-D03N100-ReachabilityFireability-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 59 (type SKEL/SRCH) for 30 CryptoMiner-COL-D03N100-ReachabilityFireability-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 60 (type SKEL/SRCH) for 30 CryptoMiner-COL-D03N100-ReachabilityFireability-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 59 (type SKEL/SRCH) for CryptoMiner-COL-D03N100-ReachabilityFireability-10
lola: result : true
lola: time used : 0.000000
lola: memory pages used : 1
lola: TR BINDINGS DONE
lola: Places: 12, Transitions: 12
lola: CANCELED task # 56 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-10 (obsolete)
lola: CANCELED task # 57 (type EQUN) for CryptoMiner-COL-D03N100-ReachabilityFireability-10 (obsolete)
lola: CANCELED task # 60 (type SRCH) for CryptoMiner-COL-D03N100-ReachabilityFireability-10 (obsolete)
lola: LAUNCH task # 50 (type SKEL/FNDP) for 42 CryptoMiner-COL-D03N100-ReachabilityFireability-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 51 (type SKEL/EQUN) for 42 CryptoMiner-COL-D03N100-ReachabilityFireability-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 53 (type SKEL/FNDP) for 27 CryptoMiner-COL-D03N100-ReachabilityFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 54 (type SKEL/EQUN) for 27 CryptoMiner-COL-D03N100-ReachabilityFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 57 (type SKEL/EQUN) for CryptoMiner-COL-D03N100-ReachabilityFireability-10
lola: result : unknown
lola: FINISHED task # 56 (type SKEL/FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-10
lola: result : true
lola: tried executions : 1
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
lola: FINISHED task # 53 (type SKEL/FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-09
lola: result : true
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 54 (type EQUN) for CryptoMiner-COL-D03N100-ReachabilityFireability-09 (obsolete)
lola: LAUNCH task # 63 (type SKEL/SRCH) for 42 CryptoMiner-COL-D03N100-ReachabilityFireability-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 64 (type SKEL/SRCH) for 42 CryptoMiner-COL-D03N100-ReachabilityFireability-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 54 (type SKEL/EQUN) for CryptoMiner-COL-D03N100-ReachabilityFireability-09
lola: result : unknown
lola: FINISHED task # 63 (type SKEL/SRCH) for CryptoMiner-COL-D03N100-ReachabilityFireability-14
lola: result : true
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 50 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-14 (obsolete)
lola: CANCELED task # 51 (type EQUN) for CryptoMiner-COL-D03N100-ReachabilityFireability-14 (obsolete)
lola: CANCELED task # 64 (type SRCH) for CryptoMiner-COL-D03N100-ReachabilityFireability-14 (obsolete)
lola: FINISHED task # 64 (type SKEL/SRCH) for CryptoMiner-COL-D03N100-ReachabilityFireability-14
lola: result : true
lola: markings : 1
lola: time used : 0.000000
lola: memory pages used : 1
lola: FINISHED task # 51 (type SKEL/EQUN) for CryptoMiner-COL-D03N100-ReachabilityFireability-14
lola: result : unknown
lola: FINISHED task # 50 (type SKEL/FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-14
lola: result : true
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
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 # 74 (type EXCL) for 3 CryptoMiner-COL-D03N100-ReachabilityFireability-01
lola: time limit : 276 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 70 (type FNDP) for 3 CryptoMiner-COL-D03N100-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 71 (type EQUN) for 3 CryptoMiner-COL-D03N100-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 73 (type SRCH) for 3 CryptoMiner-COL-D03N100-ReachabilityFireability-01
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:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k: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: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: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-71.sara.
sara: place or transition ordering is non-deterministic

lola: FINISHED task # 71 (type EQUN) for CryptoMiner-COL-D03N100-ReachabilityFireability-01
lola: result : true
lola: CANCELED task # 70 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-01 (obsolete)
lola: CANCELED task # 73 (type SRCH) for CryptoMiner-COL-D03N100-ReachabilityFireability-01 (obsolete)
lola: CANCELED task # 74 (type EXCL) for CryptoMiner-COL-D03N100-ReachabilityFireability-01 (obsolete)
lola: LAUNCH task # 113 (type EXCL) for 42 CryptoMiner-COL-D03N100-ReachabilityFireability-14
lola: time limit : 300 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 76 (type FNDP) for 30 CryptoMiner-COL-D03N100-ReachabilityFireability-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 77 (type EQUN) for 30 CryptoMiner-COL-D03N100-ReachabilityFireability-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 79 (type SRCH) for 30 CryptoMiner-COL-D03N100-ReachabilityFireability-10
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 70 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-01
lola: result : unknown
lola: fired transitions : 19910
lola: tried executions : 2
lola: time used : 0.000000
lola: memory pages used : 0
lola: FINISHED task # 113 (type EXCL) for CryptoMiner-COL-D03N100-ReachabilityFireability-14
lola: result : true
lola: markings : 1
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 99 (type EXCL) for 27 CryptoMiner-COL-D03N100-ReachabilityFireability-09
lola: time limit : 327 sec
lola: memory limit: 32 pages
lola: FINISHED task # 99 (type EXCL) for CryptoMiner-COL-D03N100-ReachabilityFireability-09
lola: result : true
lola: markings : 1
lola: time used : 0.000000
lola: memory pages used : 1
lola: FINISHED task # 79 (type SRCH) for CryptoMiner-COL-D03N100-ReachabilityFireability-10
lola: result : true
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 76 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-10 (obsolete)
lola: CANCELED task # 77 (type EQUN) for CryptoMiner-COL-D03N100-ReachabilityFireability-10 (obsolete)
lola: LAUNCH task # 97 (type EXCL) for 24 CryptoMiner-COL-D03N100-ReachabilityFireability-08
lola: time limit : 400 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 83 (type FNDP) for 33 CryptoMiner-COL-D03N100-ReachabilityFireability-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 84 (type EQUN) for 33 CryptoMiner-COL-D03N100-ReachabilityFireability-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 86 (type SRCH) for 33 CryptoMiner-COL-D03N100-ReachabilityFireability-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-77.sara.
sara: place or transition ordering is non-deterministic

lola: FINISHED task # 76 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-10
lola: result : true
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: FINISHED task # 97 (type EXCL) for CryptoMiner-COL-D03N100-ReachabilityFireability-08
lola: result : true
lola: markings : 3
lola: fired transitions : 2
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 149 (type EXCL) for 21 CryptoMiner-COL-D03N100-ReachabilityFireability-07
lola: time limit : 450 sec
lola: memory limit: 32 pages
lola: FINISHED task # 77 (type EQUN) for CryptoMiner-COL-D03N100-ReachabilityFireability-10
lola: result : true
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-84.sara.
sara: warning, failure of lp_solve (at job 11)
sara: warning, failure of lp_solve (at job 11)
lola: CANCELED task # 86 (type SRCH) for CryptoMiner-COL-D03N100-ReachabilityFireability-11 (memory limit exceeded)
sara: warning, failure of lp_solve (at job 12)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 5/327 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 22482435 t fired, 23 attempts, .
84 EF STEQ 5/327 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
149 EF EXCL 5/450 12/32 CryptoMiner-COL-D03N100-ReachabilityFireability-07 3106926 m, 621385 m/sec, 6242474 t fired, .

Time elapsed: 5 secs. Pages in use: 12
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 102 (type FNDP) for 39 CryptoMiner-COL-D03N100-ReachabilityFireability-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 102 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-13
lola: result : true
lola: fired transitions : 2
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 115 (type FNDP) for 12 CryptoMiner-COL-D03N100-ReachabilityFireability-04
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 10/395 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 26062257 t fired, 27 attempts, .
84 EF STEQ 10/395 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 5/399 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 3260564 t fired, 210608 attempts, .
149 EF EXCL 10/514 23/32 CryptoMiner-COL-D03N100-ReachabilityFireability-07 5967775 m, 572169 m/sec, 12169252 t fired, .

Time elapsed: 10 secs. Pages in use: 23
# running tasks: 4 of 4 Visible: 16
sara: warning, failure of lp_solve (at job 12)
lola: CANCELED task # 149 (type EXCL) for CryptoMiner-COL-D03N100-ReachabilityFireability-07 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 15/390 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 29569390 t fired, 30 attempts, .
84 EF STEQ 15/390 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 10/394 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 6463483 t fired, 416855 attempts, .

Time elapsed: 15 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 152 (type EXCL) for 18 CryptoMiner-COL-D03N100-ReachabilityFireability-06
lola: time limit : 597 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 20/385 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 33081918 t fired, 34 attempts, .
84 EF STEQ 20/385 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 15/389 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 9684733 t fired, 624078 attempts, .
152 EF EXCL 5/597 15/32 CryptoMiner-COL-D03N100-ReachabilityFireability-06 3741428 m, 748285 m/sec, 6919104 t fired, .

Time elapsed: 20 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 25/380 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 36579581 t fired, 37 attempts, .
84 EF STEQ 25/380 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 20/384 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 12909754 t fired, 831553 attempts, .
152 EF EXCL 10/597 27/32 CryptoMiner-COL-D03N100-ReachabilityFireability-06 7035353 m, 658785 m/sec, 13213313 t fired, .

Time elapsed: 25 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 152 (type EXCL) for CryptoMiner-COL-D03N100-ReachabilityFireability-06 (memory limit exceeded)
sara: warning, failure of lp_solve (at job 13)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 30/375 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 40077838 t fired, 41 attempts, .
84 EF STEQ 30/375 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 25/379 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 16141041 t fired, 1039491 attempts, .

Time elapsed: 30 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 140 (type EXCL) for 6 CryptoMiner-COL-D03N100-ReachabilityFireability-02
lola: time limit : 714 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 35/370 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 43534699 t fired, 44 attempts, .
84 EF STEQ 35/370 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 30/374 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 19355293 t fired, 1246375 attempts, .
140 EF EXCL 5/714 12/32 CryptoMiner-COL-D03N100-ReachabilityFireability-02 3109025 m, 621805 m/sec, 5296130 t fired, .

Time elapsed: 35 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 40/365 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 47046611 t fired, 48 attempts, .
84 EF STEQ 40/365 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 35/369 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 22582431 t fired, 1453855 attempts, .
140 EF EXCL 10/714 23/32 CryptoMiner-COL-D03N100-ReachabilityFireability-02 5959578 m, 570110 m/sec, 10516076 t fired, .

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

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 45/360 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 50538123 t fired, 51 attempts, .
84 EF STEQ 45/360 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 40/364 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 25824741 t fired, 1662427 attempts, .

Time elapsed: 45 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 132 (type EXCL) for 45 CryptoMiner-COL-D03N100-ReachabilityFireability-15
lola: time limit : 888 sec
lola: memory limit: 32 pages
lola: FINISHED task # 132 (type EXCL) for CryptoMiner-COL-D03N100-ReachabilityFireability-15
lola: result : true
lola: markings : 1
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 127 (type EXCL) for 36 CryptoMiner-COL-D03N100-ReachabilityFireability-12
lola: time limit : 1185 sec
lola: memory limit: 32 pages
lola: FINISHED task # 127 (type EXCL) for CryptoMiner-COL-D03N100-ReachabilityFireability-12
lola: result : true
lola: markings : 1
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 119 (type EXCL) for 12 CryptoMiner-COL-D03N100-ReachabilityFireability-04
lola: time limit : 1777 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 50/555 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 54332152 t fired, 55 attempts, .
84 EF STEQ 50/555 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 45/473 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 28760432 t fired, 1851099 attempts, .
119 EF EXCL 5/1777 12/32 CryptoMiner-COL-D03N100-ReachabilityFireability-04 2969375 m, 593875 m/sec, 5565127 t fired, .

Time elapsed: 50 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 55/550 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 58081008 t fired, 59 attempts, .
84 EF STEQ 55/550 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 50/468 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 31712577 t fired, 2040972 attempts, .
119 EF EXCL 10/1777 22/32 CryptoMiner-COL-D03N100-ReachabilityFireability-04 5625774 m, 531279 m/sec, 10639779 t fired, .

Time elapsed: 55 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 60/545 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 61789237 t fired, 62 attempts, .
84 EF STEQ 60/545 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 55/463 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 34688072 t fired, 2232241 attempts, .
119 EF EXCL 15/1777 32/32 CryptoMiner-COL-D03N100-ReachabilityFireability-04 8129272 m, 500699 m/sec, 15424138 t fired, .

Time elapsed: 60 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 119 (type EXCL) for CryptoMiner-COL-D03N100-ReachabilityFireability-04 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 65/540 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 65321863 t fired, 66 attempts, .
84 EF STEQ 65/540 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 60/458 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 37971747 t fired, 2443406 attempts, .

Time elapsed: 65 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 87 (type EXCL) for 33 CryptoMiner-COL-D03N100-ReachabilityFireability-11
lola: time limit : 3535 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 70/535 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 68675412 t fired, 69 attempts, .
84 EF STEQ 70/535 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
87 EF EXCL 5/3535 11/32 CryptoMiner-COL-D03N100-ReachabilityFireability-11 2703049 m, 540609 m/sec, 5541253 t fired, .
115 EF FNDP 65/453 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 41934593 t fired, 2698253 attempts, .

Time elapsed: 70 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 75/530 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 71483020 t fired, 72 attempts, .
84 EF STEQ 75/530 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
87 EF EXCL 10/3535 21/32 CryptoMiner-COL-D03N100-ReachabilityFireability-11 5385174 m, 536425 m/sec, 11094607 t fired, .
115 EF FNDP 70/448 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 45589061 t fired, 2932990 attempts, .

Time elapsed: 75 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 80/525 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 74107727 t fired, 75 attempts, .
84 EF STEQ 80/525 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
87 EF EXCL 15/3535 31/32 CryptoMiner-COL-D03N100-ReachabilityFireability-11 8031831 m, 529331 m/sec, 16557843 t fired, .
115 EF FNDP 75/443 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 49290008 t fired, 3170744 attempts, .

Time elapsed: 80 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 87 (type EXCL) for CryptoMiner-COL-D03N100-ReachabilityFireability-11 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 85/520 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 76777212 t fired, 77 attempts, .
84 EF STEQ 85/520 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 80/438 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 52945274 t fired, 3405793 attempts, .

Time elapsed: 85 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 136 (type FNDP) for 6 CryptoMiner-COL-D03N100-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 90/635 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 79464133 t fired, 80 attempts, .
84 EF STEQ 90/815 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 85/639 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 54706954 t fired, 3519034 attempts, .
136 EF FNDP 5/703 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 1905958 t fired, 2 attempts, .

Time elapsed: 90 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 95/630 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 82135558 t fired, 83 attempts, .
84 EF STEQ 95/810 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 90/634 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 56454280 t fired, 3631350 attempts, .
136 EF FNDP 10/698 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 3834479 t fired, 4 attempts, .

Time elapsed: 95 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 100/625 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 84826218 t fired, 85 attempts, .
84 EF STEQ 100/805 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 95/629 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 58170349 t fired, 3741994 attempts, .
136 EF FNDP 15/693 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 5758284 t fired, 6 attempts, .

Time elapsed: 100 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 105/620 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 87541422 t fired, 88 attempts, .
84 EF STEQ 105/800 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 100/624 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 59882002 t fired, 3852032 attempts, .
136 EF FNDP 20/688 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 7660396 t fired, 8 attempts, .

Time elapsed: 105 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 110/615 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 90263258 t fired, 91 attempts, .
84 EF STEQ 110/795 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 105/619 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 61600579 t fired, 3962615 attempts, .
136 EF FNDP 25/683 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 9552688 t fired, 10 attempts, .

Time elapsed: 110 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 115/610 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 92952235 t fired, 93 attempts, .
84 EF STEQ 115/790 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 110/614 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 63328336 t fired, 4073720 attempts, .
136 EF FNDP 30/678 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 11461745 t fired, 12 attempts, .

Time elapsed: 115 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 120/605 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 95640349 t fired, 96 attempts, .
84 EF STEQ 120/785 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 115/609 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 65075207 t fired, 4186315 attempts, .
136 EF FNDP 35/673 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 13400997 t fired, 14 attempts, .

Time elapsed: 120 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 125/600 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 98339871 t fired, 99 attempts, .
84 EF STEQ 125/780 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 120/604 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 66821143 t fired, 4298779 attempts, .
136 EF FNDP 40/668 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 15336166 t fired, 16 attempts, .

Time elapsed: 125 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 130/595 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 101054652 t fired, 102 attempts, .
84 EF STEQ 130/775 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 125/599 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 68556786 t fired, 4410001 attempts, .
136 EF FNDP 45/663 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 17242828 t fired, 18 attempts, .

Time elapsed: 130 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 135/590 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 103779742 t fired, 104 attempts, .
84 EF STEQ 135/770 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 130/594 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 70299682 t fired, 4522050 attempts, .
136 EF FNDP 50/658 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 19163723 t fired, 20 attempts, .

Time elapsed: 135 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 140/585 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 106486081 t fired, 107 attempts, .
84 EF STEQ 140/765 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 135/589 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 72032930 t fired, 4633342 attempts, .
136 EF FNDP 55/653 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 21093812 t fired, 22 attempts, .

Time elapsed: 140 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 145/580 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 109184573 t fired, 110 attempts, .
84 EF STEQ 145/760 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 140/584 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 73775160 t fired, 4745328 attempts, .
136 EF FNDP 60/648 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 23016532 t fired, 24 attempts, .

Time elapsed: 145 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 150/575 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 111876063 t fired, 112 attempts, .
84 EF STEQ 150/755 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 145/579 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 75533897 t fired, 4858285 attempts, .
136 EF FNDP 65/643 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 24953421 t fired, 25 attempts, .

Time elapsed: 150 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 155/570 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 114578946 t fired, 115 attempts, .
84 EF STEQ 155/750 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 150/574 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 77269980 t fired, 4969882 attempts, .
136 EF FNDP 70/638 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 26870429 t fired, 27 attempts, .

Time elapsed: 155 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 160/565 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 117132740 t fired, 118 attempts, .
84 EF STEQ 160/745 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 155/569 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 79077913 t fired, 5085854 attempts, .
136 EF FNDP 75/633 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 28967445 t fired, 29 attempts, .

Time elapsed: 160 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 165/560 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 119702112 t fired, 120 attempts, .
84 EF STEQ 165/740 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 160/564 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 80814184 t fired, 5197566 attempts, .
136 EF FNDP 80/628 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 31111736 t fired, 32 attempts, .

Time elapsed: 165 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 170/555 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 122386238 t fired, 123 attempts, .
84 EF STEQ 170/735 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 165/559 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 82541528 t fired, 5308563 attempts, .
136 EF FNDP 85/623 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 33035195 t fired, 34 attempts, .

Time elapsed: 170 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 175/550 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 125079059 t fired, 126 attempts, .
84 EF STEQ 175/730 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 170/554 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 84275948 t fired, 5419793 attempts, .
136 EF FNDP 90/618 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 34952970 t fired, 35 attempts, .

Time elapsed: 175 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 180/545 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 127752448 t fired, 128 attempts, .
84 EF STEQ 180/725 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 175/549 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 86001151 t fired, 5530652 attempts, .
136 EF FNDP 95/613 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 36857499 t fired, 37 attempts, .

Time elapsed: 180 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 185/540 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 130451305 t fired, 131 attempts, .
84 EF STEQ 185/720 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 180/544 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 87726246 t fired, 5641619 attempts, .
136 EF FNDP 100/608 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 38763378 t fired, 39 attempts, .

Time elapsed: 185 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 190/535 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 133155432 t fired, 134 attempts, .
84 EF STEQ 190/715 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 185/539 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 89465597 t fired, 5753438 attempts, .
136 EF FNDP 105/603 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 40677974 t fired, 41 attempts, .

Time elapsed: 190 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 195/530 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 135941247 t fired, 136 attempts, .
84 EF STEQ 195/710 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 190/534 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 91280024 t fired, 5870106 attempts, .
136 EF FNDP 110/598 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 42587883 t fired, 43 attempts, .

Time elapsed: 195 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 200/525 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 138608840 t fired, 139 attempts, .
84 EF STEQ 200/705 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 195/529 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 93032612 t fired, 5982938 attempts, .
136 EF FNDP 115/593 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 44494508 t fired, 45 attempts, .

Time elapsed: 200 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 205/520 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 141298945 t fired, 142 attempts, .
84 EF STEQ 205/700 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 200/524 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 94776940 t fired, 6095102 attempts, .
136 EF FNDP 120/588 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 46288534 t fired, 47 attempts, .

Time elapsed: 205 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 210/515 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 143980563 t fired, 144 attempts, .
84 EF STEQ 210/695 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 205/519 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 96527444 t fired, 6207476 attempts, .
136 EF FNDP 125/583 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 48193989 t fired, 49 attempts, .

Time elapsed: 210 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 215/510 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 146663467 t fired, 147 attempts, .
84 EF STEQ 215/690 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 210/514 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 98271387 t fired, 6319615 attempts, .
136 EF FNDP 130/578 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 50094708 t fired, 51 attempts, .

Time elapsed: 215 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 220/505 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 149348121 t fired, 150 attempts, .
84 EF STEQ 220/685 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 215/509 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 99996703 t fired, 6430383 attempts, .
136 EF FNDP 135/573 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 52000100 t fired, 53 attempts, .

Time elapsed: 220 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 225/500 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 152033804 t fired, 153 attempts, .
84 EF STEQ 225/680 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 220/504 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 101708395 t fired, 6540394 attempts, .
136 EF FNDP 140/568 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 53889143 t fired, 54 attempts, .

Time elapsed: 225 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 230/495 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 154727216 t fired, 155 attempts, .
84 EF STEQ 230/675 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 225/499 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 103441462 t fired, 6651711 attempts, .
136 EF FNDP 145/563 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 55686914 t fired, 56 attempts, .

Time elapsed: 230 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 235/490 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 157189227 t fired, 158 attempts, .
84 EF STEQ 235/670 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 230/494 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 105196214 t fired, 6764399 attempts, .
136 EF FNDP 150/558 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 58112040 t fired, 59 attempts, .

Time elapsed: 235 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 240/485 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 159801417 t fired, 160 attempts, .
84 EF STEQ 240/665 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 235/489 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 106968206 t fired, 6878127 attempts, .
136 EF FNDP 155/553 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 60074660 t fired, 61 attempts, .

Time elapsed: 240 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
sara: warning, failure of lp_solve (at job 13)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 245/480 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 162514326 t fired, 163 attempts, .
84 EF STEQ 245/660 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 240/484 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 108682789 t fired, 6988481 attempts, .
136 EF FNDP 160/548 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 61972924 t fired, 62 attempts, .

Time elapsed: 245 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 250/475 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 165209404 t fired, 166 attempts, .
84 EF STEQ 250/655 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 245/479 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 110384731 t fired, 7098178 attempts, .
136 EF FNDP 165/543 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 63875998 t fired, 64 attempts, .

Time elapsed: 250 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 255/470 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 167862301 t fired, 168 attempts, .
84 EF STEQ 255/650 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 250/474 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 112076331 t fired, 7206902 attempts, .
136 EF FNDP 170/538 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 65767039 t fired, 66 attempts, .

Time elapsed: 255 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 260/465 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 170491346 t fired, 171 attempts, .
84 EF STEQ 260/645 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 255/469 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 113804205 t fired, 7318062 attempts, .
136 EF FNDP 175/533 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 67681928 t fired, 68 attempts, .

Time elapsed: 260 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 265/460 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 173147869 t fired, 174 attempts, .
84 EF STEQ 265/640 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 260/464 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 115517735 t fired, 7428210 attempts, .
136 EF FNDP 180/528 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 69585900 t fired, 70 attempts, .

Time elapsed: 265 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 270/455 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 175823181 t fired, 176 attempts, .
84 EF STEQ 270/635 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 265/459 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 117228204 t fired, 7538261 attempts, .
136 EF FNDP 185/523 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 71482562 t fired, 72 attempts, .

Time elapsed: 270 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 275/450 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 178496281 t fired, 179 attempts, .
84 EF STEQ 275/630 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 270/454 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 118919503 t fired, 7647009 attempts, .
136 EF FNDP 190/518 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 73368359 t fired, 74 attempts, .

Time elapsed: 275 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 280/445 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 181154277 t fired, 182 attempts, .
84 EF STEQ 280/625 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 275/449 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 120619354 t fired, 7756259 attempts, .
136 EF FNDP 195/513 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 75252105 t fired, 76 attempts, .

Time elapsed: 280 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 285/440 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 183796945 t fired, 184 attempts, .
84 EF STEQ 285/620 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 280/444 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 122317931 t fired, 7865780 attempts, .
136 EF FNDP 200/508 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 77160000 t fired, 78 attempts, .

Time elapsed: 285 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 290/435 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 186465754 t fired, 187 attempts, .
84 EF STEQ 290/615 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 285/439 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 124036330 t fired, 7976523 attempts, .
136 EF FNDP 205/503 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 79058249 t fired, 80 attempts, .

Time elapsed: 290 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 295/430 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 189140830 t fired, 190 attempts, .
84 EF STEQ 295/610 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 290/434 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 125744606 t fired, 8086337 attempts, .
136 EF FNDP 210/498 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 80959743 t fired, 81 attempts, .

Time elapsed: 295 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 300/425 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 191824640 t fired, 192 attempts, .
84 EF STEQ 300/605 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 295/429 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 127452004 t fired, 8195887 attempts, .
136 EF FNDP 215/493 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 82859606 t fired, 83 attempts, .

Time elapsed: 300 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 305/420 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 194510734 t fired, 195 attempts, .
84 EF STEQ 305/600 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 300/424 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 129168958 t fired, 8306412 attempts, .
136 EF FNDP 220/488 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 84678957 t fired, 85 attempts, .

Time elapsed: 305 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 310/415 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 197194085 t fired, 198 attempts, .
84 EF STEQ 310/595 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 305/419 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 130881376 t fired, 8416343 attempts, .
136 EF FNDP 225/483 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 86543124 t fired, 87 attempts, .

Time elapsed: 310 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 315/410 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 199855985 t fired, 200 attempts, .
84 EF STEQ 315/590 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 310/414 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 132594055 t fired, 8526506 attempts, .
136 EF FNDP 230/478 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 88444141 t fired, 89 attempts, .

Time elapsed: 315 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 320/405 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 202529940 t fired, 203 attempts, .
84 EF STEQ 320/585 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 315/409 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 134306696 t fired, 8636467 attempts, .
136 EF FNDP 235/473 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 90312805 t fired, 91 attempts, .

Time elapsed: 320 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 325/400 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 205199714 t fired, 206 attempts, .
84 EF STEQ 325/580 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 320/404 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 136022484 t fired, 8747022 attempts, .
136 EF FNDP 240/468 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 92178892 t fired, 93 attempts, .

Time elapsed: 325 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 330/395 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 207882665 t fired, 208 attempts, .
84 EF STEQ 330/575 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 325/399 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 137735526 t fired, 8857314 attempts, .
136 EF FNDP 245/463 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 94062910 t fired, 95 attempts, .

Time elapsed: 330 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 335/390 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 210537398 t fired, 211 attempts, .
84 EF STEQ 335/570 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 330/394 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 139453137 t fired, 8967950 attempts, .
136 EF FNDP 250/458 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 95965411 t fired, 96 attempts, .

Time elapsed: 335 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 340/385 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 213194809 t fired, 214 attempts, .
84 EF STEQ 340/565 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 335/389 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 141159069 t fired, 9077712 attempts, .
136 EF FNDP 255/453 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 97765153 t fired, 98 attempts, .

Time elapsed: 340 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 345/380 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 215854486 t fired, 216 attempts, .
84 EF STEQ 345/560 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 340/384 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 142855472 t fired, 9187113 attempts, .
136 EF FNDP 260/448 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 99669548 t fired, 100 attempts, .

Time elapsed: 345 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 350/375 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 218516330 t fired, 219 attempts, .
84 EF STEQ 350/555 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 345/379 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 144554957 t fired, 9296335 attempts, .
136 EF FNDP 265/443 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 101584434 t fired, 102 attempts, .

Time elapsed: 350 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 355/370 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 221183750 t fired, 222 attempts, .
84 EF STEQ 355/550 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 350/374 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 146263129 t fired, 9406219 attempts, .
136 EF FNDP 270/438 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 103491943 t fired, 104 attempts, .

Time elapsed: 355 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 360/365 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 223860333 t fired, 224 attempts, .
84 EF STEQ 360/545 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 355/369 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 147976662 t fired, 9516302 attempts, .
136 EF FNDP 275/433 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 105270813 t fired, 106 attempts, .

Time elapsed: 360 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 83 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-11 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 EF STEQ 365/540 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 360/364 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 149682901 t fired, 9625863 attempts, .
136 EF FNDP 280/428 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 107144928 t fired, 108 attempts, .

Time elapsed: 365 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 145 (type FNDP) for 18 CryptoMiner-COL-D03N100-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 83 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-11
lola: result : unknown
lola: fired transitions : 226521198
lola: tried executions : 228
lola: time used : 365.000000
lola: memory pages used : 0
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 EF STEQ 370/535 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 365/538 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 151376070 t fired, 9734547 attempts, .
136 EF FNDP 285/423 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 109001183 t fired, 110 attempts, .
145 EF FNDP 5/647 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-06 3132294 t fired, 4 attempts, .

Time elapsed: 370 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 EF STEQ 375/530 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 370/533 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 153058027 t fired, 9842608 attempts, .
136 EF FNDP 290/418 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 110873440 t fired, 111 attempts, .
145 EF FNDP 10/642 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-06 6265517 t fired, 7 attempts, .

Time elapsed: 375 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 EF STEQ 380/525 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 375/528 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 154743862 t fired, 9951256 attempts, .
136 EF FNDP 295/413 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 112749570 t fired, 113 attempts, .
145 EF FNDP 15/637 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-06 9395616 t fired, 10 attempts, .

Time elapsed: 380 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 EF STEQ 385/520 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 380/523 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 156428129 t fired, 10059521 attempts, .
136 EF FNDP 300/408 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 114621713 t fired, 115 attempts, .
145 EF FNDP 20/632 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-06 12526685 t fired, 13 attempts, .

Time elapsed: 385 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 EF STEQ 390/515 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 385/518 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 158106501 t fired, 10167408 attempts, .
136 EF FNDP 305/403 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 116503437 t fired, 117 attempts, .
145 EF FNDP 25/627 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-06 15655989 t fired, 16 attempts, .

Time elapsed: 390 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 EF STEQ 395/510 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 390/513 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 159806554 t fired, 10276702 attempts, .
136 EF FNDP 310/398 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 118371755 t fired, 119 attempts, .
145 EF FNDP 30/622 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-06 18770942 t fired, 19 attempts, .

Time elapsed: 395 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 EF STEQ 400/505 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 395/508 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 161507606 t fired, 10385862 attempts, .
136 EF FNDP 315/393 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 120227473 t fired, 121 attempts, .
145 EF FNDP 35/617 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-06 21892947 t fired, 22 attempts, .

Time elapsed: 400 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 EF STEQ 405/500 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 400/503 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 163192274 t fired, 10494166 attempts, .
136 EF FNDP 320/388 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 122071826 t fired, 123 attempts, .
145 EF FNDP 40/612 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-06 25022443 t fired, 26 attempts, .

Time elapsed: 405 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 EF STEQ 410/495 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 405/498 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 164889004 t fired, 10603497 attempts, .
136 EF FNDP 325/383 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 123921342 t fired, 124 attempts, .
145 EF FNDP 45/607 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-06 28142943 t fired, 29 attempts, .

Time elapsed: 410 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 EF STEQ 415/490 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 410/493 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 166575863 t fired, 10711854 attempts, .
136 EF FNDP 330/378 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 125771133 t fired, 126 attempts, .
145 EF FNDP 50/602 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-06 31276425 t fired, 32 attempts, .

Time elapsed: 415 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 EF STEQ 420/485 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 415/488 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 168271463 t fired, 10820682 attempts, .
136 EF FNDP 335/373 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 127622543 t fired, 128 attempts, .
145 EF FNDP 55/597 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-06 34401445 t fired, 35 attempts, .

Time elapsed: 420 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 EF STEQ 425/480 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 420/483 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 169960328 t fired, 10929352 attempts, .
136 EF FNDP 340/368 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 129476941 t fired, 130 attempts, .
145 EF FNDP 60/592 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-06 37531628 t fired, 38 attempts, .

Time elapsed: 425 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 EF STEQ 430/475 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 425/478 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 171665488 t fired, 11039050 attempts, .
136 EF FNDP 345/363 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 131319005 t fired, 132 attempts, .
145 EF FNDP 65/587 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-06 40656104 t fired, 41 attempts, .

Time elapsed: 430 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 EF STEQ 435/470 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 430/473 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 173364587 t fired, 11148304 attempts, .
136 EF FNDP 350/358 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-02 133164725 t fired, 134 attempts, .
145 EF FNDP 70/582 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-06 43791767 t fired, 44 attempts, .

Time elapsed: 435 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 136 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-02 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 EF STEQ 440/465 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 435/468 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 175057583 t fired, 11257039 attempts, .
145 EF FNDP 75/577 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-06 46931090 t fired, 47 attempts, .

Time elapsed: 440 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 142 (type FNDP) for 21 CryptoMiner-COL-D03N100-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 136 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-02
lola: result : unknown
lola: fired transitions : 135047457
lola: tried executions : 137
lola: time used : 355.000000
lola: memory pages used : 0
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 EF STEQ 445/460 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 440/463 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 176673808 t fired, 11360632 attempts, .
142 EF FNDP 5/790 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-07 2394960 t fired, 3 attempts, .
145 EF FNDP 80/572 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-06 50092708 t fired, 51 attempts, .

Time elapsed: 445 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
84 EF STEQ 450/455 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-11 sara is running.
115 EF FNDP 445/458 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 178287972 t fired, 11464263 attempts, .
142 EF FNDP 10/785 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-07 4765355 t fired, 5 attempts, .
145 EF FNDP 85/567 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-06 53252055 t fired, 54 attempts, .

Time elapsed: 450 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 84 (type EQUN) for CryptoMiner-COL-D03N100-ReachabilityFireability-11 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
115 EF FNDP 450/453 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 179899831 t fired, 11567725 attempts, .
142 EF FNDP 15/780 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-07 7149120 t fired, 8 attempts, .
145 EF FNDP 90/562 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-06 56395721 t fired, 57 attempts, .

Time elapsed: 455 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 137 (type EQUN) for 6 CryptoMiner-COL-D03N100-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 84 (type EQUN) for CryptoMiner-COL-D03N100-ReachabilityFireability-11
lola: result : unknown
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 137 (type EQUN) for CryptoMiner-COL-D03N100-ReachabilityFireability-02
lola: result : unknown
lola: LAUNCH task # 139 (type SRCH) for 6 CryptoMiner-COL-D03N100-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: CANCELED task # 139 (type SRCH) for CryptoMiner-COL-D03N100-ReachabilityFireability-02 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-COL-D03N100-ReachabilityFireability-00: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-01: EF true state equation
CryptoMiner-COL-D03N100-ReachabilityFireability-03: INITIAL true skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-05: INITIAL false skeleton: preprocessing
CryptoMiner-COL-D03N100-ReachabilityFireability-08: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-09: EF true tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-10: EF true tandem / insertion
CryptoMiner-COL-D03N100-ReachabilityFireability-12: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-13: AG false findpath
CryptoMiner-COL-D03N100-ReachabilityFireability-14: AG false tandem / relaxed
CryptoMiner-COL-D03N100-ReachabilityFireability-15: EF true tandem / relaxed

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

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
115 EF FNDP 455/748 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-04 182304085 t fired, 11722322 attempts, .
142 EF FNDP 20/775 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-07 10125331 t fired, 11 attempts, .
145 EF FNDP 95/718 0/5 CryptoMiner-COL-D03N100-ReachabilityFireability-06 59438556 t fired, 60 attempts, .

Time elapsed: 460 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 88 (type SRCH) for 33 CryptoMiner-COL-D03N100-ReachabilityFireability-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 88 (type SRCH) for CryptoMiner-COL-D03N100-ReachabilityFireability-11
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 141 (type SRCH) for 6 CryptoMiner-COL-D03N100-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 141 (type SRCH) for CryptoMiner-COL-D03N100-ReachabilityFireability-02
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 116 (type EQUN) for 12 CryptoMiner-COL-D03N100-ReachabilityFireability-04
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-116.sara.

lola: FINISHED task # 116 (type EQUN) for CryptoMiner-COL-D03N100-ReachabilityFireability-04
lola: result : true
lola: CANCELED task # 115 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-04 (obsolete)
lola: LAUNCH task # 146 (type EQUN) for 18 CryptoMiner-COL-D03N100-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 151 (type SRCH) for 18 CryptoMiner-COL-D03N100-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 115 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-04
lola: result : unknown
lola: fired transitions : 182317782
lola: tried executions : 11723223
lola: time used : 455.000000
lola: memory pages used : 0
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-146.sara.
sara: place or transition ordering is non-deterministic

lola: FINISHED task # 146 (type EQUN) for CryptoMiner-COL-D03N100-ReachabilityFireability-06
lola: result : true
lola: CANCELED task # 145 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-06 (obsolete)
lola: CANCELED task # 151 (type SRCH) for CryptoMiner-COL-D03N100-ReachabilityFireability-06 (obsolete)
lola: LAUNCH task # 143 (type EQUN) for 21 CryptoMiner-COL-D03N100-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 148 (type SRCH) for 21 CryptoMiner-COL-D03N100-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 150 (type SRCH) for 21 CryptoMiner-COL-D03N100-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 145 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-06
lola: result : unknown
lola: fired transitions : 59484162
lola: tried executions : 61
lola: time used : 95.000000
lola: memory pages used : 0
lola: FINISHED task # 150 (type SRCH) for CryptoMiner-COL-D03N100-ReachabilityFireability-07
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-143.sara.
sara: place or transition ordering is non-deterministic

lola: FINISHED task # 143 (type EQUN) for CryptoMiner-COL-D03N100-ReachabilityFireability-07
lola: result : true
lola: CANCELED task # 142 (type FNDP) for CryptoMiner-COL-D03N100-ReachabilityFireability-07 (obsolete)
lola: CANCELED task # 148 (type SRCH) for CryptoMiner-COL-D03N100-ReachabilityFireability-07 (obsolete)
lola: Portfolio finished: no open tasks 16

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


Time elapsed: 460 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="lolaxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool lolaxred"
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 r519-tall-167987244800095"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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