About the Execution of LoLa+red for CryptoMiner-PT-D10N000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16214.676 | 355166.00 | 1182699.00 | 13190.30 | FTTFTTTFTFFTTTTT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r519-tall-167987244900199.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-PT-D10N000, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r519-tall-167987244900199
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 860K
-rw-r--r-- 1 mcc users 32K Mar 23 15:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 205K Mar 23 15:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.7K Mar 23 15:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 71K Mar 23 15:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 9.6K Mar 23 07:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 43K Mar 23 07:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Mar 23 07:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 23 07:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 26 22:42 NewModel
-rw-r--r-- 1 mcc users 24K Mar 23 15:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 174K Mar 23 15:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 25K Mar 23 15:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 186K Mar 23 15:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.9K Mar 23 07:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.5K Mar 23 07:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 26 22:42 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 26 22:42 instance
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 iscolored
-rw-r--r-- 1 mcc users 9.2K 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-PT-D10N000-ReachabilityFireability-00
FORMULA_NAME CryptoMiner-PT-D10N000-ReachabilityFireability-01
FORMULA_NAME CryptoMiner-PT-D10N000-ReachabilityFireability-02
FORMULA_NAME CryptoMiner-PT-D10N000-ReachabilityFireability-03
FORMULA_NAME CryptoMiner-PT-D10N000-ReachabilityFireability-04
FORMULA_NAME CryptoMiner-PT-D10N000-ReachabilityFireability-05
FORMULA_NAME CryptoMiner-PT-D10N000-ReachabilityFireability-06
FORMULA_NAME CryptoMiner-PT-D10N000-ReachabilityFireability-07
FORMULA_NAME CryptoMiner-PT-D10N000-ReachabilityFireability-08
FORMULA_NAME CryptoMiner-PT-D10N000-ReachabilityFireability-09
FORMULA_NAME CryptoMiner-PT-D10N000-ReachabilityFireability-10
FORMULA_NAME CryptoMiner-PT-D10N000-ReachabilityFireability-11
FORMULA_NAME CryptoMiner-PT-D10N000-ReachabilityFireability-12
FORMULA_NAME CryptoMiner-PT-D10N000-ReachabilityFireability-13
FORMULA_NAME CryptoMiner-PT-D10N000-ReachabilityFireability-14
FORMULA_NAME CryptoMiner-PT-D10N000-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1680843992614
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-PT-D10N000
Applying reductions before tool lola
Invoking reducer
Running Version 202304061127
[2023-04-07 05:06:34] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -timeout, 360, -rebuildPNML]
[2023-04-07 05:06:34] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-04-07 05:06:34] [INFO ] Load time of PNML (sax parser for PT used): 36 ms
[2023-04-07 05:06:34] [INFO ] Transformed 22 places.
[2023-04-07 05:06:34] [INFO ] Transformed 22 transitions.
[2023-04-07 05:06:34] [INFO ] Parsed PT model containing 22 places and 22 transitions and 64 arcs in 120 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 23 ms.
Working with output stream class java.io.PrintStream
FORMULA CryptoMiner-PT-D10N000-ReachabilityFireability-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA CryptoMiner-PT-D10N000-ReachabilityFireability-02 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA CryptoMiner-PT-D10N000-ReachabilityFireability-04 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA CryptoMiner-PT-D10N000-ReachabilityFireability-05 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA CryptoMiner-PT-D10N000-ReachabilityFireability-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Incomplete random walk after 10000 steps, including 704 resets, run finished after 262 ms. (steps per millisecond=38 ) properties (out of 11) seen :1
FORMULA CryptoMiner-PT-D10N000-ReachabilityFireability-08 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10000 steps, including 483 resets, run finished after 50 ms. (steps per millisecond=200 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 59 ms. (steps per millisecond=169 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 511 resets, run finished after 64 ms. (steps per millisecond=156 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10000 steps, including 324 resets, run finished after 72 ms. (steps per millisecond=138 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 46 ms. (steps per millisecond=217 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10000 steps, including 714 resets, run finished after 76 ms. (steps per millisecond=131 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 557 resets, run finished after 103 ms. (steps per millisecond=97 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 49 ms. (steps per millisecond=204 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 73 ms. (steps per millisecond=137 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 509 resets, run finished after 74 ms. (steps per millisecond=135 ) properties (out of 10) seen :0
Interrupted probabilistic random walk after 480110 steps, run timeout after 3001 ms. (steps per millisecond=159 ) properties seen :{}
Probabilistic random walk after 480110 steps, saw 240060 distinct states, run finished after 3002 ms. (steps per millisecond=159 ) properties seen :0
Running SMT prover for 10 properties.
// Phase 1: matrix 22 rows 22 cols
[2023-04-07 05:06:38] [INFO ] Computed 0 invariants in 6 ms
[2023-04-07 05:06:38] [INFO ] After 170ms SMT Verify possible using all constraints in real domain returned unsat :2 sat :0 real:8
[2023-04-07 05:06:38] [INFO ] After 193ms SMT Verify possible using all constraints in natural domain returned unsat :10 sat :0
FORMULA CryptoMiner-PT-D10N000-ReachabilityFireability-15 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA CryptoMiner-PT-D10N000-ReachabilityFireability-14 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA CryptoMiner-PT-D10N000-ReachabilityFireability-13 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA CryptoMiner-PT-D10N000-ReachabilityFireability-12 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA CryptoMiner-PT-D10N000-ReachabilityFireability-11 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA CryptoMiner-PT-D10N000-ReachabilityFireability-10 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA CryptoMiner-PT-D10N000-ReachabilityFireability-09 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA CryptoMiner-PT-D10N000-ReachabilityFireability-06 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA CryptoMiner-PT-D10N000-ReachabilityFireability-03 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA CryptoMiner-PT-D10N000-ReachabilityFireability-01 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 10 Parikh solutions to 0 different solutions.
Parikh walk visited 0 properties in 1 ms.
All properties solved without resorting to model-checking.
Total runtime 4573 ms.
starting LoLA
BK_INPUT CryptoMiner-PT-D10N000
BK_EXAMINATION: ReachabilityFireability
bin directory: /home/mcc/BenchKit/bin//../reducer/bin//../../lola/bin/
current directory: /home/mcc/execution
ReachabilityFireability
FORMULA CryptoMiner-PT-D10N000-ReachabilityFireability-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D10N000-ReachabilityFireability-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D10N000-ReachabilityFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D10N000-ReachabilityFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D10N000-ReachabilityFireability-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D10N000-ReachabilityFireability-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D10N000-ReachabilityFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D10N000-ReachabilityFireability-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D10N000-ReachabilityFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D10N000-ReachabilityFireability-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D10N000-ReachabilityFireability-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D10N000-ReachabilityFireability-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D10N000-ReachabilityFireability-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-PT-D10N000-ReachabilityFireability-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1680844347780
--------------------
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 place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/ReachabilityFireability.xml
lola: rewrite Frontend/Parser/formula_rewrite.k: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: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: LAUNCH INITIAL
lola: LAUNCH task # 16 (type CNST) for 15 CryptoMiner-PT-D10N000-ReachabilityFireability-05
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 16 (type CNST) for CryptoMiner-PT-D10N000-ReachabilityFireability-05
lola: result : true
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Rule S: 0 transitions removed,0 places removed
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: LAUNCH INITIAL
lola: LAUNCH task # 13 (type CNST) for 12 CryptoMiner-PT-D10N000-ReachabilityFireability-04
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 13 (type CNST) for CryptoMiner-PT-D10N000-ReachabilityFireability-04
lola: result : true
lola: Created skeleton in 0.000000 secs.
lola: LAUNCH INITIAL
lola: LAUNCH task # 31 (type CNST) for 30 CryptoMiner-PT-D10N000-ReachabilityFireability-10
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 31 (type CNST) for CryptoMiner-PT-D10N000-ReachabilityFireability-10
lola: result : false
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: LAUNCH task # 55 (type EXCL) for 6 CryptoMiner-PT-D10N000-ReachabilityFireability-02
lola: time limit : 276 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 51 (type FNDP) for 6 CryptoMiner-PT-D10N000-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 52 (type EQUN) for 6 CryptoMiner-PT-D10N000-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 54 (type SRCH) for 6 CryptoMiner-PT-D10N000-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k: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:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: 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: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: 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: FINISHED task # 52 (type EQUN) for CryptoMiner-PT-D10N000-ReachabilityFireability-02
lola: result : unknown
lola: LAUNCH task # 48 (type FNDP) for 0 CryptoMiner-PT-D10N000-ReachabilityFireability-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: CANCELED task # 54 (type SRCH) for CryptoMiner-PT-D10N000-ReachabilityFireability-02 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 2 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 4/211 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-00 5079469 t fired, 402729 attempts, .
51 EF FNDP 5/210 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 2751558 t fired, 217567 attempts, .
55 EF EXCL 5/276 13/32 CryptoMiner-PT-D10N000-ReachabilityFireability-02 3330772 m, 666154 m/sec, 3330772 t fired, .
Time elapsed: 5 secs. Pages in use: 13
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 59 (type FNDP) for 3 CryptoMiner-PT-D10N000-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 2 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 9/207 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-00 8055337 t fired, 638882 attempts, .
51 EF FNDP 10/220 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 4512724 t fired, 356969 attempts, .
55 EF EXCL 10/276 27/32 CryptoMiner-PT-D10N000-ReachabilityFireability-02 6932167 m, 720279 m/sec, 6932166 t fired, .
59 EF FNDP 5/211 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-01 2905463 t fired, 230470 attempts, .
Time elapsed: 10 secs. Pages in use: 27
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 55 (type EXCL) for CryptoMiner-PT-D10N000-ReachabilityFireability-02 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 1 0 2 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 14/202 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-00 10986631 t fired, 871419 attempts, .
51 EF FNDP 15/215 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 6701029 t fired, 530447 attempts, .
59 EF FNDP 10/206 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-01 5474436 t fired, 434227 attempts, .
Time elapsed: 15 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 110 (type EXCL) for 24 CryptoMiner-PT-D10N000-ReachabilityFireability-08
lola: time limit : 298 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 1 0 2 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 19/197 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-00 13885541 t fired, 1101393 attempts, .
51 EF FNDP 20/210 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 8443568 t fired, 668566 attempts, .
59 EF FNDP 15/201 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-01 8684529 t fired, 688816 attempts, .
110 EF EXCL 5/298 20/32 CryptoMiner-PT-D10N000-ReachabilityFireability-08 5017245 m, 1003449 m/sec, 5017245 t fired, .
Time elapsed: 20 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 110 (type EXCL) for CryptoMiner-PT-D10N000-ReachabilityFireability-08 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 1 0 2 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 24/192 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-00 16467505 t fired, 1306284 attempts, .
51 EF FNDP 25/205 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 10527473 t fired, 833665 attempts, .
59 EF FNDP 20/196 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-01 11745393 t fired, 931491 attempts, .
Time elapsed: 25 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 113 (type EXCL) for 39 CryptoMiner-PT-D10N000-ReachabilityFireability-13
lola: time limit : 325 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 1 0 2 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 29/187 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-00 19118710 t fired, 1516601 attempts, .
51 EF FNDP 30/200 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 12544219 t fired, 993449 attempts, .
59 EF FNDP 25/191 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-01 14818578 t fired, 1175238 attempts, .
113 EF EXCL 5/325 16/32 CryptoMiner-PT-D10N000-ReachabilityFireability-13 4001794 m, 800358 m/sec, 4001793 t fired, .
Time elapsed: 30 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 1 0 2 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 34/182 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-00 21584757 t fired, 1712371 attempts, .
51 EF FNDP 35/195 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 14257237 t fired, 1129162 attempts, .
59 EF FNDP 30/186 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-01 18403392 t fired, 1459543 attempts, .
113 EF EXCL 10/325 31/32 CryptoMiner-PT-D10N000-ReachabilityFireability-13 7906720 m, 780985 m/sec, 7906719 t fired, .
Time elapsed: 35 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 113 (type EXCL) for CryptoMiner-PT-D10N000-ReachabilityFireability-13 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 1 0 2 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 39/177 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-00 24284058 t fired, 1926489 attempts, .
51 EF FNDP 40/190 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 16355760 t fired, 1295400 attempts, .
59 EF FNDP 35/181 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-01 21295121 t fired, 1688665 attempts, .
Time elapsed: 40 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 104 (type EXCL) for 18 CryptoMiner-PT-D10N000-ReachabilityFireability-06
lola: time limit : 356 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 1 0 2 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 44/172 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-00 26921409 t fired, 2135808 attempts, .
51 EF FNDP 45/185 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 18444475 t fired, 1460816 attempts, .
59 EF FNDP 40/176 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-01 24370209 t fired, 1932544 attempts, .
104 EF EXCL 5/356 18/32 CryptoMiner-PT-D10N000-ReachabilityFireability-06 4510538 m, 902107 m/sec, 4510538 t fired, .
Time elapsed: 45 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 104 (type EXCL) for CryptoMiner-PT-D10N000-ReachabilityFireability-06 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 1 0 2 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 5 0 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 49/167 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-00 30147512 t fired, 2391851 attempts, .
51 EF FNDP 50/180 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 20353767 t fired, 1611998 attempts, .
59 EF FNDP 45/171 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-01 26956172 t fired, 2137774 attempts, .
Time elapsed: 50 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 80 (type EXCL) for 45 CryptoMiner-PT-D10N000-ReachabilityFireability-15
lola: time limit : 394 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 1 0 2 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 54/162 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-00 33086921 t fired, 2624891 attempts, .
51 EF FNDP 55/175 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 22205296 t fired, 1758736 attempts, .
59 EF FNDP 50/166 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-01 29941485 t fired, 2374595 attempts, .
80 EF EXCL 5/394 16/32 CryptoMiner-PT-D10N000-ReachabilityFireability-15 3973239 m, 794647 m/sec, 3973239 t fired, .
Time elapsed: 55 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 1 0 2 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 1 0 1 0 0 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 59/157 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-00 36227233 t fired, 2874213 attempts, .
51 EF FNDP 60/170 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 24091072 t fired, 1908256 attempts, .
59 EF FNDP 55/161 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-01 32588945 t fired, 2584513 attempts, .
80 EF EXCL 10/394 31/32 CryptoMiner-PT-D10N000-ReachabilityFireability-15 8015796 m, 808511 m/sec, 8015795 t fired, .
Time elapsed: 60 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 80 (type EXCL) for CryptoMiner-PT-D10N000-ReachabilityFireability-15 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 1 0 2 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 64/152 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-00 39027413 t fired, 3096418 attempts, .
51 EF FNDP 65/165 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 26226384 t fired, 2077553 attempts, .
59 EF FNDP 60/156 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-01 35258640 t fired, 2796117 attempts, .
Time elapsed: 65 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 119 (type EXCL) for 33 CryptoMiner-PT-D10N000-ReachabilityFireability-11
lola: time limit : 441 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 1 0 2 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 69/147 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-00 42669430 t fired, 3385393 attempts, .
51 EF FNDP 70/160 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 27813305 t fired, 2203231 attempts, .
59 EF FNDP 65/151 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-01 37741870 t fired, 2992875 attempts, .
119 EF EXCL 5/441 15/32 CryptoMiner-PT-D10N000-ReachabilityFireability-11 3683903 m, 736780 m/sec, 3683903 t fired, .
Time elapsed: 70 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 1 0 2 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 74/142 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-00 45523553 t fired, 3611861 attempts, .
51 EF FNDP 75/155 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 29824444 t fired, 2362644 attempts, .
59 EF FNDP 70/146 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-01 40557876 t fired, 3216160 attempts, .
119 EF EXCL 10/441 28/32 CryptoMiner-PT-D10N000-ReachabilityFireability-11 7119557 m, 687130 m/sec, 7119557 t fired, .
Time elapsed: 75 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 119 (type EXCL) for CryptoMiner-PT-D10N000-ReachabilityFireability-11 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 1 0 2 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 79/137 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-00 48247954 t fired, 3828005 attempts, .
51 EF FNDP 80/150 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 31998401 t fired, 2534894 attempts, .
59 EF FNDP 75/141 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-01 43369517 t fired, 3438920 attempts, .
Time elapsed: 80 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 93 (type EXCL) for 27 CryptoMiner-PT-D10N000-ReachabilityFireability-09
lola: time limit : 502 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 1 0 2 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 84/132 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-00 50819136 t fired, 4031973 attempts, .
51 EF FNDP 85/145 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 33716530 t fired, 2671114 attempts, .
59 EF FNDP 80/136 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-01 46040932 t fired, 3650919 attempts, .
93 EF EXCL 5/502 18/32 CryptoMiner-PT-D10N000-ReachabilityFireability-09 4503363 m, 900672 m/sec, 4503362 t fired, .
Time elapsed: 85 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 1 0 2 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 89/127 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-00 54240877 t fired, 4303369 attempts, .
51 EF FNDP 90/140 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 35561510 t fired, 2817255 attempts, .
59 EF FNDP 85/131 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-01 48527877 t fired, 3848171 attempts, .
93 EF EXCL 10/502 32/32 CryptoMiner-PT-D10N000-ReachabilityFireability-09 8333933 m, 766114 m/sec, 8333933 t fired, .
Time elapsed: 90 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 93 (type EXCL) for CryptoMiner-PT-D10N000-ReachabilityFireability-09 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 1 0 2 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 94/122 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-00 56955882 t fired, 4518709 attempts, .
51 EF FNDP 95/135 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 37740933 t fired, 2989969 attempts, .
59 EF FNDP 90/126 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-01 51224222 t fired, 4061770 attempts, .
Time elapsed: 95 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 132 (type EXCL) for 36 CryptoMiner-PT-D10N000-ReachabilityFireability-12
lola: time limit : 584 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 1 0 2 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 99/117 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-00 60015801 t fired, 4761377 attempts, .
51 EF FNDP 100/130 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 39562723 t fired, 3134345 attempts, .
59 EF FNDP 95/121 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-01 53920404 t fired, 4275422 attempts, .
132 EF EXCL 5/584 15/32 CryptoMiner-PT-D10N000-ReachabilityFireability-12 3816257 m, 763251 m/sec, 3816257 t fired, .
Time elapsed: 100 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 1 0 2 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
48 EF FNDP 104/112 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-00 63054179 t fired, 5002425 attempts, .
51 EF FNDP 105/125 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 41323634 t fired, 3273863 attempts, .
59 EF FNDP 100/116 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-01 56605331 t fired, 4488241 attempts, .
132 EF EXCL 10/584 28/32 CryptoMiner-PT-D10N000-ReachabilityFireability-12 7249098 m, 686568 m/sec, 7249098 t fired, .
Time elapsed: 105 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 132 (type EXCL) for CryptoMiner-PT-D10N000-ReachabilityFireability-12 (memory limit exceeded)
lola: CANCELED task # 48 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-00 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 4 0 0 1 1 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 1 0 2 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 110/120 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 43398314 t fired, 3438241 attempts, .
59 EF FNDP 105/111 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-01 59402928 t fired, 4709998 attempts, .
Time elapsed: 110 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 73 (type EXCL) for 42 CryptoMiner-PT-D10N000-ReachabilityFireability-14
lola: time limit : 698 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 83 (type FNDP) for 9 CryptoMiner-PT-D10N000-ReachabilityFireability-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 48 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-00
lola: result : unknown
lola: fired transitions : 65790753
lola: tried executions : 5219523
lola: time used : 109.000000
lola: memory pages used : 0
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 4 0 0 2 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 1 0 2 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
51 EF FNDP 115/115 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 45548631 t fired, 3608644 attempts, .
59 EF FNDP 110/119 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-01 62740898 t fired, 4974660 attempts, .
73 EF EXCL 5/698 13/32 CryptoMiner-PT-D10N000-ReachabilityFireability-14 3352160 m, 670432 m/sec, 3352159 t fired, .
83 EF FNDP 5/205 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-03 2357366 t fired, 785280 attempts, .
Time elapsed: 115 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 51 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-02 (local timeout)
lola: CANCELED task # 59 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-01 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 4 0 0 2 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 4 0 0 1 1 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 0 0 2 1 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
73 EF EXCL 10/698 26/32 CryptoMiner-PT-D10N000-ReachabilityFireability-14 6753656 m, 680299 m/sec, 6753655 t fired, .
83 EF FNDP 10/200 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-03 4682443 t fired, 1560240 attempts, .
Time elapsed: 120 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 121 (type FNDP) for 21 CryptoMiner-PT-D10N000-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 122 (type EQUN) for 21 CryptoMiner-PT-D10N000-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 59 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-01
lola: result : unknown
lola: fired transitions : 66201933
lola: tried executions : 5249291
lola: time used : 115.000000
lola: memory pages used : 0
lola: FINISHED task # 51 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-02
lola: result : unknown
lola: fired transitions : 47537446
lola: tried executions : 3766407
lola: time used : 120.000000
lola: memory pages used : 0
lola: CANCELED task # 73 (type EXCL) for CryptoMiner-PT-D10N000-ReachabilityFireability-14 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 4 0 0 2 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 4 0 0 2 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 0 0 3 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 3 2 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 15/222 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-03 8384938 t fired, 2793786 attempts, .
121 EF FNDP 5/217 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 4169995 t fired, 306440 attempts, .
122 EF STEQ 5/217 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 125 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 125 (type EXCL) for 21 CryptoMiner-PT-D10N000-ReachabilityFireability-07
lola: time limit : 868 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 4 0 0 2 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 4 0 0 2 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 0 0 3 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 2 3 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 20/217 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-03 12265170 t fired, 4086972 attempts, .
121 EF FNDP 10/212 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 8095292 t fired, 594804 attempts, .
122 EF STEQ 10/212 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
125 EF EXCL 5/868 11/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 2825585 m, 565117 m/sec, 2825585 t fired, .
Time elapsed: 130 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 4 0 0 2 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 4 0 0 2 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 0 0 3 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 2 3 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 25/212 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-03 15588627 t fired, 5195082 attempts, .
121 EF FNDP 15/207 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 13205789 t fired, 970351 attempts, .
122 EF STEQ 15/207 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
125 EF EXCL 10/868 22/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 5673397 m, 569562 m/sec, 5673397 t fired, .
Time elapsed: 135 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 4 0 0 2 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 4 0 0 2 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 0 0 3 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 2 3 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 30/207 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-03 19234635 t fired, 6409785 attempts, .
121 EF FNDP 20/202 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 17470330 t fired, 1283745 attempts, .
122 EF STEQ 20/202 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
125 EF EXCL 15/868 32/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 8186542 m, 502629 m/sec, 8186542 t fired, .
Time elapsed: 140 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 125 (type EXCL) for CryptoMiner-PT-D10N000-ReachabilityFireability-07 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 4 0 0 2 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 4 0 0 2 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 0 0 3 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 4 1 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 2 2 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 35/202 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-03 22806956 t fired, 7598560 attempts, .
121 EF FNDP 25/197 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 21490909 t fired, 1579094 attempts, .
122 EF STEQ 25/197 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 145 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 87 (type EXCL) for 9 CryptoMiner-PT-D10N000-ReachabilityFireability-03
lola: time limit : 1151 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 4 0 0 2 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 4 0 0 2 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 0 0 3 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 3 2 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 2 2 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 40/197 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-03 25924747 t fired, 8636408 attempts, .
87 EF EXCL 5/1151 13/32 CryptoMiner-PT-D10N000-ReachabilityFireability-03 3313666 m, 662733 m/sec, 3313665 t fired, .
121 EF FNDP 30/192 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 25787910 t fired, 1894648 attempts, .
122 EF STEQ 30/192 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 150 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 4 0 0 2 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 4 0 0 2 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 0 0 3 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 3 2 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 2 2 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 45/192 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-03 29451711 t fired, 9810163 attempts, .
87 EF EXCL 10/1151 23/32 CryptoMiner-PT-D10N000-ReachabilityFireability-03 5921556 m, 521578 m/sec, 5921555 t fired, .
121 EF FNDP 35/187 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 30052203 t fired, 2207656 attempts, .
122 EF STEQ 35/187 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 155 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 87 (type EXCL) for CryptoMiner-PT-D10N000-ReachabilityFireability-03 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 4 0 0 2 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 4 0 0 2 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 0 0 3 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 2 2 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 50/187 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-03 32968590 t fired, 10980816 attempts, .
121 EF FNDP 40/182 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 34756148 t fired, 2553211 attempts, .
122 EF STEQ 40/182 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 160 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 66 (type EXCL) for 0 CryptoMiner-PT-D10N000-ReachabilityFireability-00
lola: time limit : 1720 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 3 1 0 2 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 4 0 0 2 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 0 0 3 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 2 2 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
66 EF EXCL 5/1720 18/32 CryptoMiner-PT-D10N000-ReachabilityFireability-00 4693409 m, 938681 m/sec, 4693409 t fired, .
83 EF FNDP 55/182 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-03 36478356 t fired, 12149046 attempts, .
121 EF FNDP 45/177 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 38673075 t fired, 2840792 attempts, .
122 EF STEQ 45/177 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 165 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 66 (type EXCL) for CryptoMiner-PT-D10N000-ReachabilityFireability-00 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 4 0 0 2 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 0 0 3 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 2 2 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 60/177 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-03 39980871 t fired, 13315220 attempts, .
121 EF FNDP 50/172 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 42529723 t fired, 3123957 attempts, .
122 EF STEQ 50/172 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 170 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 63 (type EXCL) for 3 CryptoMiner-PT-D10N000-ReachabilityFireability-01
lola: time limit : 3430 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 3 1 0 2 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 0 0 3 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 2 2 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
63 EF EXCL 5/3430 16/32 CryptoMiner-PT-D10N000-ReachabilityFireability-01 4094175 m, 818835 m/sec, 4094175 t fired, .
83 EF FNDP 65/172 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-03 43464125 t fired, 14474714 attempts, .
121 EF FNDP 55/167 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 46388881 t fired, 3407454 attempts, .
122 EF STEQ 55/167 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 175 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 3 1 0 2 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 0 0 3 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 2 2 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
63 EF EXCL 10/3430 31/32 CryptoMiner-PT-D10N000-ReachabilityFireability-01 7992212 m, 779607 m/sec, 7992211 t fired, .
83 EF FNDP 70/167 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-03 46959810 t fired, 15639042 attempts, .
121 EF FNDP 60/162 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 50265250 t fired, 3692192 attempts, .
122 EF STEQ 60/162 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 180 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 63 (type EXCL) for CryptoMiner-PT-D10N000-ReachabilityFireability-01 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 0 0 3 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 2 2 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
83 EF FNDP 75/162 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-03 50447901 t fired, 16801001 attempts, .
121 EF FNDP 65/157 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 54102982 t fired, 3974032 attempts, .
122 EF STEQ 65/157 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 185 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 69 (type FNDP) for 42 CryptoMiner-PT-D10N000-ReachabilityFireability-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 0 0 3 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 2 2 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
69 EF FNDP 5/284 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-14 2925119 t fired, 974966 attempts, .
83 EF FNDP 80/242 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-03 53373585 t fired, 17776101 attempts, .
121 EF FNDP 70/225 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 56611635 t fired, 4158195 attempts, .
122 EF STEQ 70/225 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 190 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 0 0 3 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 2 2 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
69 EF FNDP 10/279 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-14 5846925 t fired, 1948304 attempts, .
83 EF FNDP 85/237 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-03 56302987 t fired, 18751674 attempts, .
121 EF FNDP 75/220 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 59117798 t fired, 4342073 attempts, .
122 EF STEQ 75/220 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 195 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 0 0 3 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 2 2 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
69 EF FNDP 15/274 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-14 8768659 t fired, 2921741 attempts, .
83 EF FNDP 90/232 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-03 59219686 t fired, 19722238 attempts, .
121 EF FNDP 80/215 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 61616981 t fired, 4525664 attempts, .
122 EF STEQ 80/215 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 200 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 0 0 3 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 2 2 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
69 EF FNDP 20/269 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-14 11705744 t fired, 3900600 attempts, .
83 EF FNDP 95/227 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-03 62141474 t fired, 20695561 attempts, .
121 EF FNDP 85/210 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 64099478 t fired, 4707860 attempts, .
122 EF STEQ 85/210 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 205 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 0 0 3 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 2 2 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
69 EF FNDP 25/264 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-14 14646452 t fired, 4880124 attempts, .
83 EF FNDP 100/222 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-03 65083426 t fired, 21675678 attempts, .
121 EF FNDP 90/205 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 66595074 t fired, 4891230 attempts, .
122 EF STEQ 90/205 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 210 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 0 0 3 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 2 2 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
69 EF FNDP 30/259 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-14 17589711 t fired, 5861157 attempts, .
83 EF FNDP 105/217 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-03 68011509 t fired, 22649656 attempts, .
121 EF FNDP 95/200 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 69093235 t fired, 5074670 attempts, .
122 EF STEQ 95/200 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 215 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 0 0 3 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 2 2 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
69 EF FNDP 35/254 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-14 20528561 t fired, 6840261 attempts, .
83 EF FNDP 110/212 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-03 70938677 t fired, 23624478 attempts, .
121 EF FNDP 100/195 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 71577340 t fired, 5257109 attempts, .
122 EF STEQ 100/195 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 220 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 0 0 3 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 2 2 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
69 EF FNDP 40/249 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-14 23472374 t fired, 7820897 attempts, .
83 EF FNDP 115/207 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-03 73858454 t fired, 24596361 attempts, .
121 EF FNDP 105/190 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 74054681 t fired, 5439069 attempts, .
122 EF STEQ 105/190 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 225 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 0 0 3 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 2 2 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
69 EF FNDP 45/244 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-14 26410313 t fired, 8799649 attempts, .
83 EF FNDP 120/202 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-03 76788907 t fired, 25571612 attempts, .
121 EF FNDP 110/185 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 76546588 t fired, 5622078 attempts, .
122 EF STEQ 110/185 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 230 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 0 0 3 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 2 2 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
69 EF FNDP 50/239 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-14 29359052 t fired, 9782244 attempts, .
83 EF FNDP 125/197 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-03 79720290 t fired, 26546801 attempts, .
121 EF FNDP 115/180 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 79027790 t fired, 5804312 attempts, .
122 EF STEQ 115/180 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 235 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 0 0 3 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 2 2 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
69 EF FNDP 55/234 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-14 32307506 t fired, 10764283 attempts, .
83 EF FNDP 130/192 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-03 82649385 t fired, 27522609 attempts, .
121 EF FNDP 120/175 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 81513972 t fired, 5986869 attempts, .
122 EF STEQ 120/175 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 240 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 0 0 3 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 2 2 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
69 EF FNDP 60/229 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-14 35097793 t fired, 11693973 attempts, .
83 EF FNDP 135/187 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-03 85486846 t fired, 28466816 attempts, .
121 EF FNDP 125/170 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 84023486 t fired, 6171169 attempts, .
122 EF STEQ 125/170 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 245 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 0 0 3 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 2 2 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
69 EF FNDP 65/224 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-14 38026907 t fired, 12669945 attempts, .
83 EF FNDP 140/182 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-03 88418689 t fired, 29443695 attempts, .
121 EF FNDP 130/165 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 86524446 t fired, 6354789 attempts, .
122 EF STEQ 130/165 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 250 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 0 0 3 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 2 2 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
69 EF FNDP 70/219 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-14 40957663 t fired, 13646056 attempts, .
83 EF FNDP 145/177 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-03 91353630 t fired, 30420485 attempts, .
121 EF FNDP 135/160 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 89036780 t fired, 6539370 attempts, .
122 EF STEQ 135/160 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 255 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 0 0 3 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 2 2 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
69 EF FNDP 75/214 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-14 43887284 t fired, 14621679 attempts, .
83 EF FNDP 150/172 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-03 94293220 t fired, 31399149 attempts, .
121 EF FNDP 140/155 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 91531928 t fired, 6722625 attempts, .
122 EF STEQ 140/155 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 260 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 0 0 3 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 2 2 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
69 EF FNDP 80/209 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-14 46819218 t fired, 15599155 attempts, .
83 EF FNDP 155/167 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-03 97229219 t fired, 32376264 attempts, .
121 EF FNDP 145/150 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 94026684 t fired, 6905740 attempts, .
122 EF STEQ 145/150 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 265 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 121 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-07 (local timeout)
lola: CANCELED task # 122 (type EQUN) for CryptoMiner-PT-D10N000-ReachabilityFireability-07 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG 0 3 0 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 0 0 3 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 2 0 0 1 2 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG 0 4 0 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
69 EF FNDP 85/204 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-14 49749463 t fired, 16575439 attempts, .
83 EF FNDP 160/162 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-03 100162808 t fired, 33351857 attempts, .
Time elapsed: 270 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 128 (type FNDP) for 36 CryptoMiner-PT-D10N000-ReachabilityFireability-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 129 (type EQUN) for 36 CryptoMiner-PT-D10N000-ReachabilityFireability-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 121 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-07
lola: result : unknown
lola: fired transitions : 96526452
lola: tried executions : 7089247
lola: time used : 150.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-129.sara.
lola: FINISHED task # 129 (type EQUN) for CryptoMiner-PT-D10N000-ReachabilityFireability-12
lola: result : false
lola: CANCELED task # 128 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-12 (obsolete)
lola: LAUNCH task # 89 (type FNDP) for 27 CryptoMiner-PT-D10N000-ReachabilityFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 90 (type EQUN) for 27 CryptoMiner-PT-D10N000-ReachabilityFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 128 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-12
lola: result : unknown
lola: fired transitions : 108280
lola: tried executions : 9548
lola: time used : 1.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-90.sara.
lola: FINISHED task # 90 (type EQUN) for CryptoMiner-PT-D10N000-ReachabilityFireability-09
lola: result : false
lola: CANCELED task # 89 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-09 (obsolete)
lola: LAUNCH task # 111 (type FNDP) for 33 CryptoMiner-PT-D10N000-ReachabilityFireability-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 116 (type EQUN) for 33 CryptoMiner-PT-D10N000-ReachabilityFireability-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 89 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-09
lola: result : unknown
lola: fired transitions : 989559
lola: tried executions : 270152
lola: time used : 2.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-116.sara.
lola: FINISHED task # 116 (type EQUN) for CryptoMiner-PT-D10N000-ReachabilityFireability-11
lola: result : false
lola: CANCELED task # 111 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-11 (obsolete)
lola: LAUNCH task # 76 (type FNDP) for 45 CryptoMiner-PT-D10N000-ReachabilityFireability-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 77 (type EQUN) for 45 CryptoMiner-PT-D10N000-ReachabilityFireability-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 111 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-11
lola: result : unknown
lola: fired transitions : 65973
lola: tried executions : 12294
lola: time used : 0.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-77.sara.
lola: FINISHED task # 77 (type EQUN) for CryptoMiner-PT-D10N000-ReachabilityFireability-15
lola: result : false
lola: CANCELED task # 76 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-15 (obsolete)
lola: LAUNCH task # 98 (type FNDP) for 18 CryptoMiner-PT-D10N000-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 101 (type EQUN) for 18 CryptoMiner-PT-D10N000-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 76 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-15
lola: result : unknown
lola: fired transitions : 211698
lola: tried executions : 70493
lola: time used : 0.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-101.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 101 (type EQUN) for CryptoMiner-PT-D10N000-ReachabilityFireability-06
lola: result : false
lola: CANCELED task # 98 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-06 (obsolete)
lola: LAUNCH task # 97 (type FNDP) for 39 CryptoMiner-PT-D10N000-ReachabilityFireability-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 99 (type EQUN) for 39 CryptoMiner-PT-D10N000-ReachabilityFireability-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 98 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-06
lola: result : unknown
lola: fired transitions : 138423
lola: tried executions : 10216
lola: time used : 1.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-99.sara.
lola: FINISHED task # 99 (type EQUN) for CryptoMiner-PT-D10N000-ReachabilityFireability-13
lola: result : false
lola: CANCELED task # 97 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-13 (obsolete)
lola: LAUNCH task # 96 (type FNDP) for 24 CryptoMiner-PT-D10N000-ReachabilityFireability-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 106 (type EQUN) for 24 CryptoMiner-PT-D10N000-ReachabilityFireability-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 97 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-13
lola: result : unknown
lola: fired transitions : 94439
lola: tried executions : 21839
lola: time used : 0.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 96 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-08
lola: result : true
lola: fired transitions : 22663
lola: tried executions : 1952
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 106 (type EQUN) for CryptoMiner-PT-D10N000-ReachabilityFireability-08 (obsolete)
lola: LAUNCH task # 49 (type EQUN) for 0 CryptoMiner-PT-D10N000-ReachabilityFireability-00
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 60 (type EQUN) for 3 CryptoMiner-PT-D10N000-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 106 (type EQUN) for CryptoMiner-PT-D10N000-ReachabilityFireability-08
lola: result : unknown
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-60.sara.
lola: FINISHED task # 60 (type EQUN) for CryptoMiner-PT-D10N000-ReachabilityFireability-01
lola: result : false
lola: LAUNCH task # 124 (type SRCH) for 21 CryptoMiner-PT-D10N000-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-49.sara.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF true findpath
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 2 1 0 2 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 1 0 0 3 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 1 1 0 2 1 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF STEQ 1/831 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-00 sara is running.
69 EF FNDP 90/1049 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-14 52463610 t fired, 17478428 attempts, .
83 EF FNDP 165/999 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-03 102371036 t fired, 34086984 attempts, .
124 EF SRCH 1/831 2/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 583470 m, 116694 m/sec, 664513 t fired, .
Time elapsed: 275 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 49 (type EQUN) for CryptoMiner-PT-D10N000-ReachabilityFireability-00
lola: result : false
lola: LAUNCH task # 56 (type SRCH) for 6 CryptoMiner-PT-D10N000-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 56 (type SRCH) for CryptoMiner-PT-D10N000-ReachabilityFireability-02
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 84 (type EQUN) for 9 CryptoMiner-PT-D10N000-ReachabilityFireability-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: CANCELED task # 124 (type SRCH) for CryptoMiner-PT-D10N000-ReachabilityFireability-07 (memory limit exceeded)
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-84.sara.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF true findpath
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 0 0 0 4 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 2 2 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 1 0 0 2 1 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG 0 3 1 0 1 0 1 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
69 EF FNDP 95/1616 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-14 56608259 t fired, 18858009 attempts, .
83 EF FNDP 170/1579 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-03 106212559 t fired, 35365698 attempts, .
84 EF STEQ 4/1108 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-03 sara is running.
Time elapsed: 280 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 126 (type SRCH) for 21 CryptoMiner-PT-D10N000-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 126 (type SRCH) for CryptoMiner-PT-D10N000-ReachabilityFireability-07
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 70 (type EQUN) for 42 CryptoMiner-PT-D10N000-ReachabilityFireability-14
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
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-70.sara.
lola: FINISHED task # 84 (type EQUN) for CryptoMiner-PT-D10N000-ReachabilityFireability-03
lola: result : false
lola: CANCELED task # 83 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-03 (obsolete)
lola: LAUNCH task # 72 (type SRCH) for 42 CryptoMiner-PT-D10N000-ReachabilityFireability-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 74 (type SRCH) for 42 CryptoMiner-PT-D10N000-ReachabilityFireability-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 83 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-03
lola: result : unknown
lola: fired transitions : 109714877
lola: tried executions : 36531189
lola: time used : 175.000000
lola: memory pages used : 0
lola: FINISHED task # 74 (type SRCH) for CryptoMiner-PT-D10N000-ReachabilityFireability-14
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 122 (type EQUN) for 21 CryptoMiner-PT-D10N000-ReachabilityFireability-07
lola: time limit : 3315 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 70 (type EQUN) for CryptoMiner-PT-D10N000-ReachabilityFireability-14
lola: result : false
lola: CANCELED task # 69 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-14 (obsolete)
lola: CANCELED task # 72 (type SRCH) for CryptoMiner-PT-D10N000-ReachabilityFireability-14 (obsolete)
lola: FINISHED task # 69 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-14
lola: result : unknown
lola: fired transitions : 61111903
lola: tried executions : 20360284
lola: time used : 100.000000
lola: memory pages used : 0
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF true findpath
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 0 0 0 4 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 0 1 0 3 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
122 EF STEQ 1/3315 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 286 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF true findpath
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 0 0 0 4 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 0 1 0 3 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
122 EF STEQ 6/3315 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 291 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF true findpath
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 0 0 0 4 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 0 1 0 3 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
122 EF STEQ 11/3315 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 296 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF true findpath
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 0 0 0 4 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 0 1 0 3 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
122 EF STEQ 16/3315 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 301 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF true findpath
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 0 0 0 4 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 0 1 0 3 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
122 EF STEQ 21/3315 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 306 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF true findpath
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 0 0 0 4 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 0 1 0 3 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
122 EF STEQ 26/3315 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 311 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF true findpath
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 0 0 0 4 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 0 1 0 3 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
122 EF STEQ 31/3315 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 316 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF true findpath
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 0 0 0 4 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 0 1 0 3 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
122 EF STEQ 36/3315 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 321 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF true findpath
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 0 0 0 4 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 0 1 0 3 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
122 EF STEQ 41/3315 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 326 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF true findpath
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 0 0 0 4 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 0 1 0 3 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
122 EF STEQ 46/3315 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 331 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF true findpath
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 0 0 0 4 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 0 1 0 3 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
122 EF STEQ 51/3315 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 336 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF true findpath
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 0 0 0 4 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 0 1 0 3 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
122 EF STEQ 56/3315 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 341 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-01: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-04: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-05: INITIAL true preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-06: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF true findpath
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF false state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-10: INITIAL false preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-11: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-13: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-15: AG true state equation
PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 0 0 0 4 0 2 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 0 1 0 3 0 2 0
TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
122 EF STEQ 61/3315 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
Time elapsed: 346 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
/home/mcc/BenchKit/bin//../reducer/bin//../../lola/bin//../BenchKit_head.sh: line 63: 457 Killed lola --conf=$BIN_DIR/configfiles/reachabilityfireabilityconf --formula=$DIR/ReachabilityFireability.xml --verdictfile=$DIR/GenericPropertiesVerdict.xml $DIR/model.pnml
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CryptoMiner-PT-D10N000"
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-PT-D10N000, 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-167987244900199"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CryptoMiner-PT-D10N000.tgz
mv CryptoMiner-PT-D10N000 execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;