fond

jQuery Multi Level CSS Menu Css3Menu.com

Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r518-tall-167987244200199
Last Updated
May 14, 2023

About the Execution of LoLA for CryptoMiner-PT-D10N000

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
16221.680 338867.00 980632.00 10874.70 FT?FTTT?TFFTTTTT normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r518-tall-167987244200199.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lola
Input is CryptoMiner-PT-D10N000, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r518-tall-167987244200199
=====================================================================

--------------------
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.5K Mar 26 22:42 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME CryptoMiner-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 1679917766496

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=lola
BK_EXAMINATION=ReachabilityFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CryptoMiner-PT-D10N000
Not applying reductions.
Model is PT
ReachabilityFireability PT
starting LoLA
BK_INPUT CryptoMiner-PT-D10N000
BK_EXAMINATION: ReachabilityFireability
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
ReachabilityFireability

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-05 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-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

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-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

BK_STOP 1679918105363

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

lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains 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: Rule S: 0 transitions removed,0 places removed
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 # 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: 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: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
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 # 53 (type EXCL) for 3 CryptoMiner-PT-D10N000-ReachabilityFireability-01
lola: time limit : 200 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 49 (type FNDP) for 3 CryptoMiner-PT-D10N000-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 50 (type EQUN) for 3 CryptoMiner-PT-D10N000-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 52 (type SRCH) for 3 CryptoMiner-PT-D10N000-ReachabilityFireability-01
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k: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: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: 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: 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: Created skeleton in 0.000000 secs.
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 # 16 (type CNST) for CryptoMiner-PT-D10N000-ReachabilityFireability-05
lola: result : true
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: Created skeleton in 0.000000 secs.
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
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-50.sara.

lola: FINISHED task # 50 (type EQUN) for CryptoMiner-PT-D10N000-ReachabilityFireability-01
lola: result : false
lola: CANCELED task # 49 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-01 (obsolete)
lola: CANCELED task # 52 (type SRCH) for CryptoMiner-PT-D10N000-ReachabilityFireability-01 (obsolete)
lola: CANCELED task # 53 (type EXCL) for CryptoMiner-PT-D10N000-ReachabilityFireability-01 (obsolete)
lola: LAUNCH task # 85 (type EXCL) for 24 CryptoMiner-PT-D10N000-ReachabilityFireability-08
lola: time limit : 300 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 55 (type FNDP) for 9 CryptoMiner-PT-D10N000-ReachabilityFireability-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 56 (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: LAUNCH task # 58 (type SRCH) for 9 CryptoMiner-PT-D10N000-ReachabilityFireability-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 49 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-01
lola: result : unknown
lola: fired transitions : 329997
lola: tried executions : 26028
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 58 (type SRCH) for CryptoMiner-PT-D10N000-ReachabilityFireability-03 (memory limit exceeded)
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-56.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-10: INITIAL false preprocessing

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-03: EF 0 2 2 0 1 0 1 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
55 EF FNDP 5/225 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-03 10428243 t fired, 3477049 attempts, .
56 EF STEQ 5/225 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-03 sara is running.
85 EF EXCL 5/300 20/32 CryptoMiner-PT-D10N000-ReachabilityFireability-08 5224423 m, 1044884 m/sec, 5224423 t fired, .

Time elapsed: 5 secs. Pages in use: 20
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 62 (type FNDP) for 6 CryptoMiner-PT-D10N000-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages

lola: FINISHED task # 56 (type EQUN) for CryptoMiner-PT-D10N000-ReachabilityFireability-03
lola: result : false
lola: CANCELED task # 55 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-03 (obsolete)
lola: LAUNCH task # 67 (type FNDP) for 21 CryptoMiner-PT-D10N000-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 68 (type EQUN) for 21 CryptoMiner-PT-D10N000-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 55 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-03
lola: result : unknown
lola: fired transitions : 13046617
lola: tried executions : 4349837
lola: time used : 8.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: CANCELED task # 85 (type EXCL) for CryptoMiner-PT-D10N000-ReachabilityFireability-08 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
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-10: INITIAL false preprocessing

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 4 1 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 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 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
62 EF FNDP 5/253 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 2707507 t fired, 214493 attempts, .
67 EF FNDP 2/239 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 2227379 t fired, 163827 attempts, .
68 EF STEQ 2/239 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).

Time elapsed: 10 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 125 (type EXCL) for 39 CryptoMiner-PT-D10N000-ReachabilityFireability-13
lola: time limit : 359 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
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-10: INITIAL false preprocessing

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 4 1 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 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 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
62 EF FNDP 10/251 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 5159272 t fired, 408853 attempts, .
67 EF FNDP 7/237 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 6466176 t fired, 475298 attempts, .
68 EF STEQ 7/237 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
125 EF EXCL 5/359 17/32 CryptoMiner-PT-D10N000-ReachabilityFireability-13 4427629 m, 885525 m/sec, 4427629 t fired, .

Time elapsed: 15 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 125 (type EXCL) for CryptoMiner-PT-D10N000-ReachabilityFireability-13 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
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-10: INITIAL false preprocessing

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 4 1 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 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 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
62 EF FNDP 15/246 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 7601160 t fired, 602465 attempts, .
67 EF FNDP 12/232 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 10747493 t fired, 789941 attempts, .
68 EF STEQ 12/232 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).

Time elapsed: 20 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 91 (type EXCL) for 18 CryptoMiner-PT-D10N000-ReachabilityFireability-06
lola: time limit : 397 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
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-10: INITIAL false preprocessing

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 4 1 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 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 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
62 EF FNDP 20/241 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 10059841 t fired, 797399 attempts, .
67 EF FNDP 17/227 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 14974559 t fired, 1100668 attempts, .
68 EF STEQ 17/227 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
91 EF EXCL 5/397 19/32 CryptoMiner-PT-D10N000-ReachabilityFireability-06 4891718 m, 978343 m/sec, 4891717 t fired, .

Time elapsed: 25 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 91 (type EXCL) for CryptoMiner-PT-D10N000-ReachabilityFireability-06 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
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-10: INITIAL false preprocessing

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 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 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
62 EF FNDP 25/236 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 12518253 t fired, 992345 attempts, .
67 EF FNDP 22/222 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 19254713 t fired, 1415209 attempts, .
68 EF STEQ 22/222 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).

Time elapsed: 30 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 98 (type EXCL) for 45 CryptoMiner-PT-D10N000-ReachabilityFireability-15
lola: time limit : 446 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
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-10: INITIAL false preprocessing

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 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 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
62 EF FNDP 30/231 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 15005851 t fired, 1189524 attempts, .
67 EF FNDP 27/217 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 23532187 t fired, 1729473 attempts, .
68 EF STEQ 27/217 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
98 EF EXCL 5/446 18/32 CryptoMiner-PT-D10N000-ReachabilityFireability-15 4638295 m, 927659 m/sec, 4638295 t fired, .

Time elapsed: 35 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 98 (type EXCL) for CryptoMiner-PT-D10N000-ReachabilityFireability-15 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
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-10: INITIAL false preprocessing

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 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 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
62 EF FNDP 35/226 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 17438077 t fired, 1382542 attempts, .
67 EF FNDP 32/212 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 27987831 t fired, 2056973 attempts, .
68 EF STEQ 32/212 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).

Time elapsed: 40 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 132 (type EXCL) for 33 CryptoMiner-PT-D10N000-ReachabilityFireability-11
lola: time limit : 508 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
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-10: INITIAL false preprocessing

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 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 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
62 EF FNDP 40/221 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 19877030 t fired, 1575881 attempts, .
67 EF FNDP 37/207 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 32239180 t fired, 2369505 attempts, .
68 EF STEQ 37/207 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
132 EF EXCL 5/508 16/32 CryptoMiner-PT-D10N000-ReachabilityFireability-11 4034710 m, 806942 m/sec, 4034710 t fired, .

Time elapsed: 45 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
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-10: INITIAL false preprocessing

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 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 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
62 EF FNDP 45/216 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 22331086 t fired, 1770451 attempts, .
67 EF FNDP 42/202 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 36489703 t fired, 2681837 attempts, .
68 EF STEQ 42/202 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
132 EF EXCL 10/508 31/32 CryptoMiner-PT-D10N000-ReachabilityFireability-11 7871101 m, 767278 m/sec, 7871100 t fired, .

Time elapsed: 50 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 132 (type EXCL) for CryptoMiner-PT-D10N000-ReachabilityFireability-11 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
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-10: INITIAL false preprocessing

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 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 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
62 EF FNDP 50/211 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 24786849 t fired, 1965177 attempts, .
67 EF FNDP 47/197 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 40741708 t fired, 2994242 attempts, .
68 EF STEQ 47/197 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).

Time elapsed: 55 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 80 (type EXCL) for 27 CryptoMiner-PT-D10N000-ReachabilityFireability-09
lola: time limit : 590 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
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-10: INITIAL false preprocessing

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 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 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
62 EF FNDP 55/206 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 27216412 t fired, 2157860 attempts, .
67 EF FNDP 52/192 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 45079212 t fired, 3313150 attempts, .
68 EF STEQ 52/192 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
80 EF EXCL 5/590 19/32 CryptoMiner-PT-D10N000-ReachabilityFireability-09 4753027 m, 950605 m/sec, 4753027 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-09 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
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-10: INITIAL false preprocessing

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 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 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
62 EF FNDP 60/201 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 29624168 t fired, 2348904 attempts, .
67 EF FNDP 57/187 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 49534741 t fired, 3640600 attempts, .
68 EF STEQ 57/187 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).

Time elapsed: 65 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 112 (type EXCL) for 36 CryptoMiner-PT-D10N000-ReachabilityFireability-12
lola: time limit : 707 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
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-10: INITIAL false preprocessing

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 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 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
62 EF FNDP 65/196 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 32041592 t fired, 2540536 attempts, .
67 EF FNDP 62/182 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 53933036 t fired, 3963776 attempts, .
68 EF STEQ 62/182 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
112 EF EXCL 5/707 18/32 CryptoMiner-PT-D10N000-ReachabilityFireability-12 4632145 m, 926429 m/sec, 4632144 t fired, .

Time elapsed: 70 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 112 (type EXCL) for CryptoMiner-PT-D10N000-ReachabilityFireability-12 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
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-10: INITIAL false preprocessing

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 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 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
62 EF FNDP 70/191 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 34452470 t fired, 2731706 attempts, .
67 EF FNDP 67/177 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 58352806 t fired, 4288612 attempts, .
68 EF STEQ 67/177 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).

Time elapsed: 75 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 105 (type EXCL) for 42 CryptoMiner-PT-D10N000-ReachabilityFireability-14
lola: time limit : 881 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
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-10: INITIAL false preprocessing

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 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 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
62 EF FNDP 75/186 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 36871531 t fired, 2923627 attempts, .
67 EF FNDP 72/172 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 62750679 t fired, 4611906 attempts, .
68 EF STEQ 72/172 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
105 EF EXCL 5/881 18/32 CryptoMiner-PT-D10N000-ReachabilityFireability-14 4527345 m, 905469 m/sec, 4527344 t fired, .

Time elapsed: 80 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 105 (type EXCL) for CryptoMiner-PT-D10N000-ReachabilityFireability-14 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
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-10: INITIAL false preprocessing

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 5 0 0 1 0 0 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 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
62 EF FNDP 80/181 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 39291153 t fired, 3115396 attempts, .
67 EF FNDP 77/167 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 67159652 t fired, 4935859 attempts, .
68 EF STEQ 77/167 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).

Time elapsed: 85 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 118 (type EXCL) for 0 CryptoMiner-PT-D10N000-ReachabilityFireability-00
lola: time limit : 1171 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
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-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-02: AG 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
62 EF FNDP 85/176 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 41714208 t fired, 3307557 attempts, .
67 EF FNDP 82/162 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 71551954 t fired, 5258699 attempts, .
68 EF STEQ 82/162 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
118 EF EXCL 5/1171 18/32 CryptoMiner-PT-D10N000-ReachabilityFireability-00 4660253 m, 932050 m/sec, 4660253 t fired, .

Time elapsed: 90 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 118 (type EXCL) for CryptoMiner-PT-D10N000-ReachabilityFireability-00 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
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-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 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 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
62 EF FNDP 90/171 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 44119887 t fired, 3498371 attempts, .
67 EF FNDP 87/157 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 75987951 t fired, 5584791 attempts, .
68 EF STEQ 87/157 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).

Time elapsed: 95 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 71 (type EXCL) for 21 CryptoMiner-PT-D10N000-ReachabilityFireability-07
lola: time limit : 1752 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
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-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 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 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
62 EF FNDP 95/166 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 46548622 t fired, 3691083 attempts, .
67 EF FNDP 92/152 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 80254034 t fired, 5898208 attempts, .
68 EF STEQ 92/152 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
71 EF EXCL 5/1752 17/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 4253828 m, 850765 m/sec, 4253828 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-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-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 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 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
62 EF FNDP 100/161 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 48970530 t fired, 3883146 attempts, .
67 EF FNDP 97/147 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 84532101 t fired, 6212603 attempts, .
68 EF STEQ 97/147 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
71 EF EXCL 10/1752 32/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 8311478 m, 811530 m/sec, 8311478 t fired, .

Time elapsed: 105 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 71 (type EXCL) for CryptoMiner-PT-D10N000-ReachabilityFireability-07 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
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-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 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 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
62 EF FNDP 105/156 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 51365573 t fired, 4072985 attempts, .
67 EF FNDP 102/142 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 89068676 t fired, 6546112 attempts, .
68 EF STEQ 102/142 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).

Time elapsed: 110 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 66 (type EXCL) for 6 CryptoMiner-PT-D10N000-ReachabilityFireability-02
lola: time limit : 3490 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
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-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 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 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
62 EF FNDP 110/151 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 53000983 t fired, 4202639 attempts, .
66 EF EXCL 5/3490 13/32 CryptoMiner-PT-D10N000-ReachabilityFireability-02 3375643 m, 675128 m/sec, 3375643 t fired, .
67 EF FNDP 107/137 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 95941396 t fired, 7052285 attempts, .
68 EF STEQ 107/137 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).

Time elapsed: 115 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
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-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 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 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
62 EF FNDP 115/146 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 54625317 t fired, 4331326 attempts, .
66 EF EXCL 10/3490 26/32 CryptoMiner-PT-D10N000-ReachabilityFireability-02 6599894 m, 644850 m/sec, 6599893 t fired, .
67 EF FNDP 112/132 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 102823016 t fired, 7558994 attempts, .
68 EF STEQ 112/132 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).

Time elapsed: 120 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 66 (type EXCL) for CryptoMiner-PT-D10N000-ReachabilityFireability-02 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
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-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 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 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
62 EF FNDP 120/141 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 56577294 t fired, 4486203 attempts, .
67 EF FNDP 117/127 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 108723892 t fired, 7993334 attempts, .
68 EF STEQ 117/127 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 # 114 (type FNDP) for 0 CryptoMiner-PT-D10N000-ReachabilityFireability-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
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-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 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 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
62 EF FNDP 125/206 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 58433577 t fired, 4633513 attempts, .
67 EF FNDP 122/209 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 110542949 t fired, 8126915 attempts, .
68 EF STEQ 122/209 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
114 EF FNDP 5/315 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-00 2280725 t fired, 180881 attempts, .

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-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-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 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 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
62 EF FNDP 130/201 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 60281459 t fired, 4779957 attempts, .
67 EF FNDP 127/204 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 112344133 t fired, 8259274 attempts, .
68 EF STEQ 127/204 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
114 EF FNDP 10/310 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-00 4572717 t fired, 362682 attempts, .

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-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-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 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 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
62 EF FNDP 135/196 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 62121692 t fired, 4925820 attempts, .
67 EF FNDP 132/199 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 114114604 t fired, 8389280 attempts, .
68 EF STEQ 132/199 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
114 EF FNDP 15/305 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-00 6925143 t fired, 549103 attempts, .

Time elapsed: 140 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
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-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 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 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
62 EF FNDP 140/191 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 63975080 t fired, 5072739 attempts, .
67 EF FNDP 137/194 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 115866854 t fired, 8517998 attempts, .
68 EF STEQ 137/194 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
114 EF FNDP 20/300 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-00 9265280 t fired, 734611 attempts, .

Time elapsed: 145 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
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-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 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 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
62 EF FNDP 145/186 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 65825411 t fired, 5219448 attempts, .
67 EF FNDP 142/189 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 117623660 t fired, 8647066 attempts, .
68 EF STEQ 142/189 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
114 EF FNDP 25/295 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-00 11594312 t fired, 919398 attempts, .

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-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-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 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 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
62 EF FNDP 150/181 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 67683022 t fired, 5366767 attempts, .
67 EF FNDP 147/184 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 119400282 t fired, 8777550 attempts, .
68 EF STEQ 147/184 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
114 EF FNDP 30/290 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-00 13944289 t fired, 1105795 attempts, .

Time elapsed: 155 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
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-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 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 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
62 EF FNDP 155/176 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 69544719 t fired, 5514357 attempts, .
67 EF FNDP 152/179 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 121172464 t fired, 8907705 attempts, .
68 EF STEQ 152/179 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
114 EF FNDP 35/285 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-00 16290671 t fired, 1291850 attempts, .

Time elapsed: 160 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
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-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 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 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
62 EF FNDP 160/171 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 71402486 t fired, 5661651 attempts, .
67 EF FNDP 157/174 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 122947054 t fired, 9038089 attempts, .
68 EF STEQ 157/174 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
114 EF FNDP 40/280 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-00 18631371 t fired, 1477534 attempts, .

Time elapsed: 165 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
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-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 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 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
62 EF FNDP 165/166 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 73263866 t fired, 5809271 attempts, .
67 EF FNDP 162/169 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 124726746 t fired, 9168863 attempts, .
68 EF STEQ 162/169 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).
114 EF FNDP 45/275 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-00 20958732 t fired, 1662168 attempts, .

Time elapsed: 170 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 62 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-02 (local timeout)
lola: CANCELED task # 67 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-07 (local timeout)
lola: CANCELED task # 68 (type EQUN) for CryptoMiner-PT-D10N000-ReachabilityFireability-07 (local timeout)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
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-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 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 3 0 0 1 1 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 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
114 EF FNDP 50/270 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-00 23303696 t fired, 1847980 attempts, .

Time elapsed: 175 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 101 (type FNDP) for 42 CryptoMiner-PT-D10N000-ReachabilityFireability-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 102 (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: LAUNCH task # 104 (type SRCH) for 42 CryptoMiner-PT-D10N000-ReachabilityFireability-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 67 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-07
lola: result : unknown
lola: fired transitions : 126506844
lola: tried executions : 9299626
lola: time used : 167.000000
lola: memory pages used : 0
lola: FINISHED task # 62 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-02
lola: result : unknown
lola: fired transitions : 75115713
lola: tried executions : 5956193
lola: time used : 170.000000
lola: memory pages used : 0
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-102.sara.
lola: CANCELED task # 104 (type SRCH) for CryptoMiner-PT-D10N000-ReachabilityFireability-14 (memory limit exceeded)

lola: FINISHED task # 102 (type EQUN) for CryptoMiner-PT-D10N000-ReachabilityFireability-14
lola: result : false
lola: CANCELED task # 101 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-14 (obsolete)
lola: LAUNCH task # 108 (type FNDP) for 36 CryptoMiner-PT-D10N000-ReachabilityFireability-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 109 (type EQUN) for 36 CryptoMiner-PT-D10N000-ReachabilityFireability-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 111 (type SRCH) for 36 CryptoMiner-PT-D10N000-ReachabilityFireability-12
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 101 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-14
lola: result : unknown
lola: fired transitions : 2558955
lola: tried executions : 851247
lola: time used : 4.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-109.sara.

lola: FINISHED task # 109 (type EQUN) for CryptoMiner-PT-D10N000-ReachabilityFireability-12
lola: result : false
lola: CANCELED task # 108 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-12 (obsolete)
lola: CANCELED task # 111 (type SRCH) for CryptoMiner-PT-D10N000-ReachabilityFireability-12 (obsolete)
lola: LAUNCH task # 76 (type FNDP) for 27 CryptoMiner-PT-D10N000-ReachabilityFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 77 (type EQUN) for 27 CryptoMiner-PT-D10N000-ReachabilityFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 79 (type SRCH) for 27 CryptoMiner-PT-D10N000-ReachabilityFireability-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 108 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-12
lola: result : unknown
lola: fired transitions : 389363
lola: tried executions : 34138
lola: time used : 0.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-77.sara.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
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-10: INITIAL false preprocessing
CryptoMiner-PT-D10N000-ReachabilityFireability-12: AG true state equation
CryptoMiner-PT-D10N000-ReachabilityFireability-14: AG true state equation

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CryptoMiner-PT-D10N000-ReachabilityFireability-00: EF 0 3 1 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 3 0 0 2 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 2 1 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-08: EF 0 4 0 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-09: EF 0 1 3 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-11: 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-15: AG 0 4 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
76 EF FNDP 1/380 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-09 995691 t fired, 271145 attempts, .
77 EF STEQ 1/427 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-09 sara is running.
79 EF SRCH 1/427 3/5 CryptoMiner-PT-D10N000-ReachabilityFireability-09 644976 m, 128995 m/sec, 644976 t fired, .
114 EF FNDP 55/380 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-00 27967550 t fired, 2216937 attempts, .

Time elapsed: 180 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16

lola: FINISHED task # 77 (type EQUN) for CryptoMiner-PT-D10N000-ReachabilityFireability-09
lola: result : false
lola: CANCELED task # 76 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-09 (obsolete)
lola: CANCELED task # 79 (type SRCH) for CryptoMiner-PT-D10N000-ReachabilityFireability-09 (obsolete)
lola: LAUNCH task # 127 (type FNDP) for 33 CryptoMiner-PT-D10N000-ReachabilityFireability-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 129 (type EQUN) for 33 CryptoMiner-PT-D10N000-ReachabilityFireability-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 131 (type SRCH) for 33 CryptoMiner-PT-D10N000-ReachabilityFireability-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 76 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-09
lola: result : unknown
lola: fired transitions : 2390909
lola: tried executions : 651505
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-129.sara.

lola: FINISHED task # 129 (type EQUN) for CryptoMiner-PT-D10N000-ReachabilityFireability-11
lola: result : false
lola: CANCELED task # 127 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-11 (obsolete)
lola: CANCELED task # 131 (type SRCH) for CryptoMiner-PT-D10N000-ReachabilityFireability-11 (obsolete)
lola: LAUNCH task # 94 (type FNDP) for 45 CryptoMiner-PT-D10N000-ReachabilityFireability-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 95 (type EQUN) for 45 CryptoMiner-PT-D10N000-ReachabilityFireability-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 97 (type SRCH) for 45 CryptoMiner-PT-D10N000-ReachabilityFireability-15
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 127 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-11
lola: result : unknown
lola: fired transitions : 390452
lola: tried executions : 72821
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-95.sara.

lola: FINISHED task # 95 (type EQUN) for CryptoMiner-PT-D10N000-ReachabilityFireability-15
lola: result : false
lola: CANCELED task # 94 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-15 (obsolete)
lola: CANCELED task # 97 (type SRCH) for CryptoMiner-PT-D10N000-ReachabilityFireability-15 (obsolete)
lola: LAUNCH task # 83 (type FNDP) for 18 CryptoMiner-PT-D10N000-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 87 (type EQUN) for 18 CryptoMiner-PT-D10N000-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 90 (type SRCH) for 18 CryptoMiner-PT-D10N000-ReachabilityFireability-06
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 94 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-15
lola: result : unknown
lola: fired transitions : 97789
lola: tried executions : 32572
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-87.sara.
sara: place or transition ordering is non-deterministic

lola: FINISHED task # 87 (type EQUN) for CryptoMiner-PT-D10N000-ReachabilityFireability-06
lola: result : false
lola: CANCELED task # 83 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-06 (obsolete)
lola: CANCELED task # 90 (type SRCH) for CryptoMiner-PT-D10N000-ReachabilityFireability-06 (obsolete)
lola: LAUNCH task # 121 (type FNDP) for 39 CryptoMiner-PT-D10N000-ReachabilityFireability-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 122 (type EQUN) for 39 CryptoMiner-PT-D10N000-ReachabilityFireability-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 124 (type SRCH) for 39 CryptoMiner-PT-D10N000-ReachabilityFireability-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 83 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-06
lola: result : unknown
lola: fired transitions : 296660
lola: tried executions : 21870
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-122.sara.

lola: FINISHED task # 122 (type EQUN) for CryptoMiner-PT-D10N000-ReachabilityFireability-13
lola: result : false
lola: CANCELED task # 121 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-13 (obsolete)
lola: CANCELED task # 124 (type SRCH) for CryptoMiner-PT-D10N000-ReachabilityFireability-13 (obsolete)
lola: LAUNCH task # 73 (type FNDP) for 24 CryptoMiner-PT-D10N000-ReachabilityFireability-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 74 (type EQUN) for 24 CryptoMiner-PT-D10N000-ReachabilityFireability-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 84 (type SRCH) for 24 CryptoMiner-PT-D10N000-ReachabilityFireability-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 121 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-13
lola: result : unknown
lola: fired transitions : 208250
lola: tried executions : 48003
lola: time used : 1.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 84 (type SRCH) for CryptoMiner-PT-D10N000-ReachabilityFireability-08
lola: result : true
lola: markings : 64
lola: fired transitions : 63
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 73 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-08 (obsolete)
lola: CANCELED task # 74 (type EQUN) for CryptoMiner-PT-D10N000-ReachabilityFireability-08 (obsolete)
lola: LAUNCH task # 63 (type EQUN) for 6 CryptoMiner-PT-D10N000-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 65 (type SRCH) for 6 CryptoMiner-PT-D10N000-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 89 (type SRCH) for 6 CryptoMiner-PT-D10N000-ReachabilityFireability-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 73 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-08
lola: result : unknown
lola: fired transitions : 579
lola: tried executions : 53
lola: time used : 0.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 89 (type SRCH) for CryptoMiner-PT-D10N000-ReachabilityFireability-02
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 70 (type SRCH) for 21 CryptoMiner-PT-D10N000-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 74 (type EQUN) for CryptoMiner-PT-D10N000-ReachabilityFireability-08
lola: result : unknown
lola: FINISHED task # 63 (type EQUN) for CryptoMiner-PT-D10N000-ReachabilityFireability-02
lola: result : unknown
lola: LAUNCH task # 115 (type EQUN) for 0 CryptoMiner-PT-D10N000-ReachabilityFireability-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
sara: try reading problem file /home/mcc/execution/ReachabilityFireability-115.sara.
lola: CANCELED task # 70 (type SRCH) for CryptoMiner-PT-D10N000-ReachabilityFireability-07 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
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 tandem / insertion
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-00: EF 0 2 2 0 1 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-02: AG 0 0 1 0 4 0 1 0
CryptoMiner-PT-D10N000-ReachabilityFireability-07: EF 0 1 0 0 2 1 2 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
65 EF SRCH 2/1708 5/5 CryptoMiner-PT-D10N000-ReachabilityFireability-02 1352509 m, 270501 m/sec, 1467977 t fired, .
114 EF FNDP 60/3417 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-00 35107918 t fired, 2781137 attempts, .
115 EF STEQ 2/1708 0/5 CryptoMiner-PT-D10N000-ReachabilityFireability-00 sara is running.

Time elapsed: 185 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 72 (type SRCH) for 21 CryptoMiner-PT-D10N000-ReachabilityFireability-07
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 72 (type SRCH) for CryptoMiner-PT-D10N000-ReachabilityFireability-07
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 117 (type SRCH) for 0 CryptoMiner-PT-D10N000-ReachabilityFireability-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages

lola: CANCELED task # 65 (type SRCH) for CryptoMiner-PT-D10N000-ReachabilityFireability-02 (memory limit exceeded)
lola: FINISHED task # 115 (type EQUN) for CryptoMiner-PT-D10N000-ReachabilityFireability-00
lola: result : false
lola: CANCELED task # 114 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-00 (obsolete)
lola: CANCELED task # 117 (type SRCH) for CryptoMiner-PT-D10N000-ReachabilityFireability-00 (obsolete)
lola: LAUNCH task # 68 (type EQUN) for 21 CryptoMiner-PT-D10N000-ReachabilityFireability-07
lola: time limit : 3415 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 114 (type FNDP) for CryptoMiner-PT-D10N000-ReachabilityFireability-00
lola: result : unknown
lola: fired transitions : 35718529
lola: tried executions : 2829293
lola: time used : 60.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 tandem / insertion
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
68 EF STEQ 5/3415 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).

Time elapsed: 190 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 tandem / insertion
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
68 EF STEQ 10/3415 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).

Time elapsed: 195 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 tandem / insertion
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
68 EF STEQ 17/3415 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).

Time elapsed: 202 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 tandem / insertion
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
68 EF STEQ 23/3415 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).

Time elapsed: 208 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 tandem / insertion
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
68 EF STEQ 28/3415 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).

Time elapsed: 213 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 tandem / insertion
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
68 EF STEQ 33/3415 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).

Time elapsed: 218 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 tandem / insertion
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
68 EF STEQ 38/3415 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).

Time elapsed: 223 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 tandem / insertion
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
68 EF STEQ 43/3415 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).

Time elapsed: 228 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 tandem / insertion
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
68 EF STEQ 48/3415 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).

Time elapsed: 233 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 tandem / insertion
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
68 EF STEQ 53/3415 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).

Time elapsed: 238 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 tandem / insertion
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
68 EF STEQ 58/3415 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).

Time elapsed: 243 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 tandem / insertion
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
68 EF STEQ 63/3415 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).

Time elapsed: 248 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 tandem / insertion
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
68 EF STEQ 68/3415 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).

Time elapsed: 253 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 tandem / insertion
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
68 EF STEQ 73/3415 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).

Time elapsed: 258 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 tandem / insertion
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
68 EF STEQ 78/3415 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).

Time elapsed: 263 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 tandem / insertion
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
68 EF STEQ 83/3415 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).

Time elapsed: 268 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 tandem / insertion
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
68 EF STEQ 88/3415 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).

Time elapsed: 273 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 tandem / insertion
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
68 EF STEQ 93/3415 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).

Time elapsed: 278 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 tandem / insertion
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
68 EF STEQ 98/3415 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).

Time elapsed: 283 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 tandem / insertion
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
68 EF STEQ 103/3415 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).

Time elapsed: 288 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 tandem / insertion
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
68 EF STEQ 108/3415 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).

Time elapsed: 293 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 tandem / insertion
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
68 EF STEQ 113/3415 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).

Time elapsed: 298 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 tandem / insertion
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
68 EF STEQ 118/3415 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).

Time elapsed: 303 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 tandem / insertion
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
68 EF STEQ 123/3415 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).

Time elapsed: 308 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 tandem / insertion
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
68 EF STEQ 128/3415 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 sara not yet started (preprocessing).

Time elapsed: 313 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 tandem / insertion
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
68 EF STEQ 153/3415 0/32 CryptoMiner-PT-D10N000-ReachabilityFireability-07 /home/mcc/BenchKit/bin//../lola/bin//../BenchKit_head.sh: line 63: 376 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="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool lola"
echo " Input is CryptoMiner-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 r518-tall-167987244200199"
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 '' ReachabilityFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;