About the Execution of LoLA for CryptoMiner-COL-D05N100
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16190.844 | 414781.00 | 523424.00 | 1320.50 | ?F??F?FF???????F | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r093-tall-171624190600324.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool lola
Input is CryptoMiner-COL-D05N100, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r093-tall-171624190600324
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 536K
-rw-r--r-- 1 mcc users 6.5K Apr 12 12:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Apr 12 12:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Apr 12 12:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Apr 12 12:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Apr 22 14:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 22 14:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 22 14:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 22 14:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Apr 12 12:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 179K Apr 12 12:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Apr 12 12:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 98K Apr 12 12:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Apr 22 14:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 22 14:35 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 18 16:42 equiv_pt
-rw-r--r-- 1 mcc users 8 May 18 16:42 instance
-rw-r--r-- 1 mcc users 5 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 13K May 18 16:42 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME CryptoMiner-COL-D05N100-LTLFireability-00
FORMULA_NAME CryptoMiner-COL-D05N100-LTLFireability-01
FORMULA_NAME CryptoMiner-COL-D05N100-LTLFireability-02
FORMULA_NAME CryptoMiner-COL-D05N100-LTLFireability-03
FORMULA_NAME CryptoMiner-COL-D05N100-LTLFireability-04
FORMULA_NAME CryptoMiner-COL-D05N100-LTLFireability-05
FORMULA_NAME CryptoMiner-COL-D05N100-LTLFireability-06
FORMULA_NAME CryptoMiner-COL-D05N100-LTLFireability-07
FORMULA_NAME CryptoMiner-COL-D05N100-LTLFireability-08
FORMULA_NAME CryptoMiner-COL-D05N100-LTLFireability-09
FORMULA_NAME CryptoMiner-COL-D05N100-LTLFireability-10
FORMULA_NAME CryptoMiner-COL-D05N100-LTLFireability-11
FORMULA_NAME CryptoMiner-COL-D05N100-LTLFireability-12
FORMULA_NAME CryptoMiner-COL-D05N100-LTLFireability-13
FORMULA_NAME CryptoMiner-COL-D05N100-LTLFireability-14
FORMULA_NAME CryptoMiner-COL-D05N100-LTLFireability-15
=== Now, execution of the tool begins
BK_START 1717130048185
FORMULA CryptoMiner-COL-D05N100-LTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-COL-D05N100-LTLFireability-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-COL-D05N100-LTLFireability-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-COL-D05N100-LTLFireability-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CryptoMiner-COL-D05N100-LTLFireability-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1717130462966
--------------------
content from stderr:
[[35mlola[0m][I] LoLA will run for 3600 seconds at most ([1m[36m--timelimit[0m)
[[35mlola[0m][W] [1m[33munknown unit in memory specification: using default[0m
[[35mlola[0m][I] MEM LIMIT 5
[[35mlola[0m][I] NET
[[35mlola[0m][I] reading [1m[34mnet[0m from [4m[34mmodel.pnml[0m
[[35mlola[0m][I] input: PNML file ([1m[36m--pnmlnet[0m)
[[35mlola[0m][I] reading pnml
[[35mlola[0m][I] PNML file contains High-Level net
[[35mlola[0m][I] closed [1m[34mnet[0m file [4m[34mmodel.pnml[0m
[[35mlola[0m][I] finished parsing
[[35mlola[0m][I] Reading HL formula in XML format ([1m[36m--xmlformula[0m)
[[35mlola[0m][I] reading [1m[34mformula[0m from [4m[34mLTLFireability.xml[0m
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] LAUNCH task # 84 (type SKEL/CNST) for 3 CryptoMiner-COL-D05N100-LTLFireability-01
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] LAUNCH task # 88 (type SKEL/FNDP) for 41 CryptoMiner-COL-D05N100-LTLFireability-07
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 89 (type SKEL/EQUN) for 41 CryptoMiner-COL-D05N100-LTLFireability-07
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 90 (type SKEL/SRCH) for 41 CryptoMiner-COL-D05N100-LTLFireability-07
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 84 (type SKEL/CNST) for CryptoMiner-COL-D05N100-LTLFireability-01
[[35mlola[0m][I] result : true
[[35mlola[0m][I] LAUNCH task # 92 (type SKEL/FNDP) for 30 CryptoMiner-COL-D05N100-LTLFireability-06
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 88 (type SKEL/FNDP) for CryptoMiner-COL-D05N100-LTLFireability-07
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][W] CANCELED task # 89 (type EQUN) for CryptoMiner-COL-D05N100-LTLFireability-07 (obsolete)
[[35mlola[0m][W] CANCELED task # 90 (type SRCH) for CryptoMiner-COL-D05N100-LTLFireability-07 (obsolete)
[[35mlola[0m][I] LAUNCH task # 93 (type SKEL/EQUN) for 30 CryptoMiner-COL-D05N100-LTLFireability-06
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 94 (type SKEL/SRCH) for 30 CryptoMiner-COL-D05N100-LTLFireability-06
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 92 (type SKEL/FNDP) for CryptoMiner-COL-D05N100-LTLFireability-06
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][W] CANCELED task # 93 (type EQUN) for CryptoMiner-COL-D05N100-LTLFireability-06 (obsolete)
[[35mlola[0m][W] CANCELED task # 94 (type SRCH) for CryptoMiner-COL-D05N100-LTLFireability-06 (obsolete)
[[35mlola[0m][I] Places: 18, Transitions: 18
[[35mlola[0m][W] findlow criterion violated for transition 3
[[35mlola[0m][I] FINISHED task # 93 (type SKEL/EQUN) for CryptoMiner-COL-D05N100-LTLFireability-06
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] FINISHED task # 89 (type SKEL/EQUN) for CryptoMiner-COL-D05N100-LTLFireability-07
[[35mlola[0m][I] result : unknown
[[35mlola[0m][W] findlow criterion violated for transition 2
[[35mlola[0m][W] findlow criterion violated for 2 clusters
[[35mlola[0m][I] Time for checking findlow: 0
[[35mlola[0m][I] Rule S: 0 transitions removed,0 places removed
[[35mlola[0m][I] LAUNCH task # 6 (type CNST) for 3 CryptoMiner-COL-D05N100-LTLFireability-01
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] LAUNCH task # 72 (type CNST) for 69 CryptoMiner-COL-D05N100-LTLFireability-15
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] LAUNCH task # 95 (type SKEL/SRCH) for 14 CryptoMiner-COL-D05N100-LTLFireability-02
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 96 (type SKEL/SRCH) for 63 CryptoMiner-COL-D05N100-LTLFireability-13
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 6 (type CNST) for CryptoMiner-COL-D05N100-LTLFireability-01
[[35mlola[0m][I] result : true
[[35mlola[0m][I] FINISHED task # 95 (type SKEL/SRCH) for CryptoMiner-COL-D05N100-LTLFireability-02
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 11
[[35mlola[0m][I] fired transitions : 14
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] FINISHED task # 72 (type CNST) for CryptoMiner-COL-D05N100-LTLFireability-15
[[35mlola[0m][I] result : false
[[35mlola[0m][I] FINISHED task # 96 (type SKEL/SRCH) for CryptoMiner-COL-D05N100-LTLFireability-13
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 19
[[35mlola[0m][I] fired transitions : 24
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[*** LOG ERROR #0001 ***] [2024-05-31 04:34:08] [status_logger] string pointer is null
[[35mlola[0m][I] LAUNCH task # 10 (type EXCL) for 3 CryptoMiner-COL-D05N100-LTLFireability-01
[[35mlola[0m][I] time limit : 180 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 10 (type EXCL) for CryptoMiner-COL-D05N100-LTLFireability-01
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 9
[[35mlola[0m][I] fired transitions : 9
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 25 (type EXCL) for 24 CryptoMiner-COL-D05N100-LTLFireability-04
[[35mlola[0m][I] time limit : 200 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 101 (type EQUN) for 0 CryptoMiner-COL-D05N100-LTLFireability-00
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 104 (type FNDP) for 30 CryptoMiner-COL-D05N100-LTLFireability-06
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 105 (type EQUN) for 30 CryptoMiner-COL-D05N100-LTLFireability-06
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 25 (type EXCL) for CryptoMiner-COL-D05N100-LTLFireability-04
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 9
[[35mlola[0m][I] fired transitions : 9
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 67 (type EXCL) for 66 CryptoMiner-COL-D05N100-LTLFireability-14
[[35mlola[0m][I] time limit : 211 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 104 (type FNDP) for CryptoMiner-COL-D05N100-LTLFireability-06
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][W] CANCELED task # 105 (type EQUN) for CryptoMiner-COL-D05N100-LTLFireability-06 (obsolete)
[[35mlola[0m][I] LAUNCH task # 107 (type FNDP) for 41 CryptoMiner-COL-D05N100-LTLFireability-07
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 108 (type EQUN) for 41 CryptoMiner-COL-D05N100-LTLFireability-07
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 101 (type EQUN) for CryptoMiner-COL-D05N100-LTLFireability-00
[[35mlola[0m][I] result : true
[[35mlola[0m][I] FINISHED task # 107 (type FNDP) for CryptoMiner-COL-D05N100-LTLFireability-07
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][W] CANCELED task # 108 (type EQUN) for CryptoMiner-COL-D05N100-LTLFireability-07 (obsolete)
[[35mlola[0m][I] FINISHED task # 105 (type EQUN) for CryptoMiner-COL-D05N100-LTLFireability-06
[[35mlola[0m][I] result : true
[[35mlola[0m][I] FINISHED task # 108 (type EQUN) for CryptoMiner-COL-D05N100-LTLFireability-07
[[35mlola[0m][I] result : true
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 5/300 11/2000 CryptoMiner-COL-D05N100-LTLFireability-14 1634016 m, 326803 m/sec, 5221098 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 5 secs. Pages in use: 11
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 10/300 20/2000 CryptoMiner-COL-D05N100-LTLFireability-14 3055823 m, 284361 m/sec, 10159390 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 10 secs. Pages in use: 20
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 15/300 29/2000 CryptoMiner-COL-D05N100-LTLFireability-14 4419844 m, 272804 m/sec, 14993242 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 15 secs. Pages in use: 29
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 20/300 37/2000 CryptoMiner-COL-D05N100-LTLFireability-14 5718295 m, 259690 m/sec, 19621486 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 20 secs. Pages in use: 37
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 25/300 46/2000 CryptoMiner-COL-D05N100-LTLFireability-14 7032227 m, 262786 m/sec, 24313391 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 25 secs. Pages in use: 46
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 30/300 54/2000 CryptoMiner-COL-D05N100-LTLFireability-14 8338721 m, 261298 m/sec, 29032667 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 30 secs. Pages in use: 54
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 35/300 63/2000 CryptoMiner-COL-D05N100-LTLFireability-14 9646479 m, 261551 m/sec, 33757322 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 35 secs. Pages in use: 63
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 40/300 71/2000 CryptoMiner-COL-D05N100-LTLFireability-14 10922326 m, 255169 m/sec, 38381180 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 40 secs. Pages in use: 71
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 45/300 79/2000 CryptoMiner-COL-D05N100-LTLFireability-14 12145179 m, 244570 m/sec, 42823434 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 45 secs. Pages in use: 79
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 50/300 87/2000 CryptoMiner-COL-D05N100-LTLFireability-14 13362890 m, 243542 m/sec, 47262918 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 50 secs. Pages in use: 87
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 55/300 95/2000 CryptoMiner-COL-D05N100-LTLFireability-14 14553067 m, 238035 m/sec, 51602930 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 55 secs. Pages in use: 95
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 60/300 102/2000 CryptoMiner-COL-D05N100-LTLFireability-14 15747421 m, 238870 m/sec, 55973568 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 60 secs. Pages in use: 102
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 65/300 110/2000 CryptoMiner-COL-D05N100-LTLFireability-14 16966383 m, 243792 m/sec, 60444131 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 65 secs. Pages in use: 110
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 70/300 118/2000 CryptoMiner-COL-D05N100-LTLFireability-14 18163841 m, 239491 m/sec, 64820639 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 70 secs. Pages in use: 118
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 75/300 126/2000 CryptoMiner-COL-D05N100-LTLFireability-14 19346882 m, 236608 m/sec, 69160603 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 75 secs. Pages in use: 126
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 80/300 133/2000 CryptoMiner-COL-D05N100-LTLFireability-14 20492308 m, 229085 m/sec, 73377969 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 80 secs. Pages in use: 133
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 85/300 140/2000 CryptoMiner-COL-D05N100-LTLFireability-14 21633438 m, 228226 m/sec, 77565018 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 85 secs. Pages in use: 140
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 90/300 148/2000 CryptoMiner-COL-D05N100-LTLFireability-14 22756466 m, 224605 m/sec, 81698874 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 90 secs. Pages in use: 148
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 95/300 155/2000 CryptoMiner-COL-D05N100-LTLFireability-14 23868711 m, 222449 m/sec, 85786715 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 95 secs. Pages in use: 155
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 100/300 162/2000 CryptoMiner-COL-D05N100-LTLFireability-14 24974877 m, 221233 m/sec, 89872157 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 100 secs. Pages in use: 162
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 105/300 169/2000 CryptoMiner-COL-D05N100-LTLFireability-14 26056188 m, 216262 m/sec, 93871238 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 105 secs. Pages in use: 169
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 110/300 176/2000 CryptoMiner-COL-D05N100-LTLFireability-14 27125777 m, 213917 m/sec, 97829345 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 110 secs. Pages in use: 176
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 115/300 183/2000 CryptoMiner-COL-D05N100-LTLFireability-14 28201747 m, 215194 m/sec, 101798946 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 115 secs. Pages in use: 183
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 120/300 190/2000 CryptoMiner-COL-D05N100-LTLFireability-14 29254407 m, 210532 m/sec, 105692878 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 120 secs. Pages in use: 190
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 125/300 197/2000 CryptoMiner-COL-D05N100-LTLFireability-14 30334562 m, 216031 m/sec, 109686425 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 125 secs. Pages in use: 197
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 130/300 204/2000 CryptoMiner-COL-D05N100-LTLFireability-14 31414257 m, 215939 m/sec, 113681729 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 130 secs. Pages in use: 204
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 135/300 211/2000 CryptoMiner-COL-D05N100-LTLFireability-14 32503152 m, 217779 m/sec, 117713226 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 135 secs. Pages in use: 211
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 140/300 217/2000 CryptoMiner-COL-D05N100-LTLFireability-14 33573781 m, 214125 m/sec, 121697076 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 140 secs. Pages in use: 217
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 145/300 224/2000 CryptoMiner-COL-D05N100-LTLFireability-14 34649168 m, 215077 m/sec, 125668719 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 145 secs. Pages in use: 224
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 150/300 231/2000 CryptoMiner-COL-D05N100-LTLFireability-14 35701362 m, 210438 m/sec, 129572590 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 150 secs. Pages in use: 231
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 155/300 238/2000 CryptoMiner-COL-D05N100-LTLFireability-14 36714624 m, 202652 m/sec, 133336702 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 155 secs. Pages in use: 238
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 160/300 245/2000 CryptoMiner-COL-D05N100-LTLFireability-14 37768187 m, 210712 m/sec, 137251607 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 160 secs. Pages in use: 245
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 165/300 251/2000 CryptoMiner-COL-D05N100-LTLFireability-14 38803455 m, 207053 m/sec, 141112542 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 165 secs. Pages in use: 251
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 170/300 258/2000 CryptoMiner-COL-D05N100-LTLFireability-14 39867420 m, 212793 m/sec, 145053851 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 170 secs. Pages in use: 258
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 175/300 265/2000 CryptoMiner-COL-D05N100-LTLFireability-14 40906621 m, 207840 m/sec, 148908916 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 175 secs. Pages in use: 265
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 180/300 272/2000 CryptoMiner-COL-D05N100-LTLFireability-14 41929819 m, 204639 m/sec, 152746144 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 180 secs. Pages in use: 272
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 185/300 278/2000 CryptoMiner-COL-D05N100-LTLFireability-14 42955760 m, 205188 m/sec, 156570602 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 185 secs. Pages in use: 278
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 190/300 285/2000 CryptoMiner-COL-D05N100-LTLFireability-14 43993856 m, 207619 m/sec, 160433169 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 190 secs. Pages in use: 285
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 195/300 291/2000 CryptoMiner-COL-D05N100-LTLFireability-14 45017456 m, 204720 m/sec, 164262811 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 195 secs. Pages in use: 291
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 200/300 298/2000 CryptoMiner-COL-D05N100-LTLFireability-14 46042000 m, 204908 m/sec, 168078396 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 200 secs. Pages in use: 298
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 205/300 305/2000 CryptoMiner-COL-D05N100-LTLFireability-14 47055594 m, 202718 m/sec, 171864398 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 205 secs. Pages in use: 305
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 210/300 311/2000 CryptoMiner-COL-D05N100-LTLFireability-14 48056167 m, 200114 m/sec, 175608113 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 210 secs. Pages in use: 311
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 215/300 318/2000 CryptoMiner-COL-D05N100-LTLFireability-14 49058461 m, 200458 m/sec, 179349017 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 215 secs. Pages in use: 318
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 220/300 324/2000 CryptoMiner-COL-D05N100-LTLFireability-14 50050365 m, 198380 m/sec, 183053966 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 220 secs. Pages in use: 324
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 225/300 330/2000 CryptoMiner-COL-D05N100-LTLFireability-14 51041091 m, 198145 m/sec, 186747112 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 225 secs. Pages in use: 330
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 230/300 337/2000 CryptoMiner-COL-D05N100-LTLFireability-14 52036861 m, 199154 m/sec, 190475659 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 230 secs. Pages in use: 337
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 235/300 343/2000 CryptoMiner-COL-D05N100-LTLFireability-14 53016047 m, 195837 m/sec, 194137651 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 235 secs. Pages in use: 343
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 240/300 350/2000 CryptoMiner-COL-D05N100-LTLFireability-14 54004318 m, 197654 m/sec, 197847330 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 240 secs. Pages in use: 350
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 245/300 356/2000 CryptoMiner-COL-D05N100-LTLFireability-14 54960608 m, 191258 m/sec, 201427594 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 245 secs. Pages in use: 356
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 250/300 362/2000 CryptoMiner-COL-D05N100-LTLFireability-14 55940061 m, 195890 m/sec, 205114602 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 250 secs. Pages in use: 362
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 255/300 368/2000 CryptoMiner-COL-D05N100-LTLFireability-14 56897328 m, 191453 m/sec, 208713018 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 255 secs. Pages in use: 368
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 260/300 375/2000 CryptoMiner-COL-D05N100-LTLFireability-14 57905935 m, 201721 m/sec, 212474458 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 260 secs. Pages in use: 375
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 265/300 381/2000 CryptoMiner-COL-D05N100-LTLFireability-14 58897225 m, 198258 m/sec, 216207367 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 265 secs. Pages in use: 381
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 270/300 388/2000 CryptoMiner-COL-D05N100-LTLFireability-14 59876199 m, 195794 m/sec, 219865934 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 270 secs. Pages in use: 388
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 275/300 394/2000 CryptoMiner-COL-D05N100-LTLFireability-14 60873091 m, 199378 m/sec, 223617055 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 275 secs. Pages in use: 394
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 280/300 400/2000 CryptoMiner-COL-D05N100-LTLFireability-14 61844418 m, 194265 m/sec, 227271047 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 280 secs. Pages in use: 400
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 285/300 407/2000 CryptoMiner-COL-D05N100-LTLFireability-14 62813752 m, 193866 m/sec, 230908900 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 285 secs. Pages in use: 407
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 290/300 413/2000 CryptoMiner-COL-D05N100-LTLFireability-14 63781016 m, 193452 m/sec, 234549061 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 290 secs. Pages in use: 413
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 295/300 419/2000 CryptoMiner-COL-D05N100-LTLFireability-14 64753231 m, 194443 m/sec, 238188688 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 295 secs. Pages in use: 419
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 67 LTL EXCL 300/300 425/2000 CryptoMiner-COL-D05N100-LTLFireability-14 65721316 m, 193617 m/sec, 241832792 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 300 secs. Pages in use: 425
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][W] CANCELED task # 67 (type EXCL) for CryptoMiner-COL-D05N100-LTLFireability-14 (local timeout)
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-13: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 0 0 1 1 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 305 secs. Pages in use: 432
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] LAUNCH task # 64 (type EXCL) for 63 CryptoMiner-COL-D05N100-LTLFireability-13
[[35mlola[0m][I] time limit : 299 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 67 (type EXCL) for 66 CryptoMiner-COL-D05N100-LTLFireability-14
[[35mlola[0m][I] time limit : 3295 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 64 (type EXCL) for CryptoMiner-COL-D05N100-LTLFireability-13
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 2311
[[35mlola[0m][I] fired transitions : 4490
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] CANCELED task # 67 (type EXCL) for CryptoMiner-COL-D05N100-LTLFireability-14 (memory limit exceeded)
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-12: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 310 secs. Pages in use: 440
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] LAUNCH task # 61 (type EXCL) for 60 CryptoMiner-COL-D05N100-LTLFireability-12
[[35mlola[0m][I] time limit : 329 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 61 (type EXCL) for CryptoMiner-COL-D05N100-LTLFireability-12
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 9
[[35mlola[0m][I] fired transitions : 9
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 52 (type EXCL) for 51 CryptoMiner-COL-D05N100-LTLFireability-09
[[35mlola[0m][I] time limit : 365 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 5/365 7/2000 CryptoMiner-COL-D05N100-LTLFireability-09 1050742 m, 210148 m/sec, 5936685 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 315 secs. Pages in use: 452
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 10/365 14/2000 CryptoMiner-COL-D05N100-LTLFireability-09 1976385 m, 185128 m/sec, 11362799 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 320 secs. Pages in use: 465
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 15/365 19/2000 CryptoMiner-COL-D05N100-LTLFireability-09 2843556 m, 173434 m/sec, 16505257 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 325 secs. Pages in use: 476
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 20/365 25/2000 CryptoMiner-COL-D05N100-LTLFireability-09 3701895 m, 171667 m/sec, 21618791 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 330 secs. Pages in use: 488
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 25/365 31/2000 CryptoMiner-COL-D05N100-LTLFireability-09 4544878 m, 168596 m/sec, 26661104 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 335 secs. Pages in use: 500
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 30/365 36/2000 CryptoMiner-COL-D05N100-LTLFireability-09 5351979 m, 161420 m/sec, 31496004 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 340 secs. Pages in use: 511
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 35/365 41/2000 CryptoMiner-COL-D05N100-LTLFireability-09 6162140 m, 162032 m/sec, 36375692 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 345 secs. Pages in use: 521
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 40/365 47/2000 CryptoMiner-COL-D05N100-LTLFireability-09 6930134 m, 153598 m/sec, 40999494 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 350 secs. Pages in use: 533
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 45/365 52/2000 CryptoMiner-COL-D05N100-LTLFireability-09 7718889 m, 157751 m/sec, 45767149 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 355 secs. Pages in use: 544
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 50/365 57/2000 CryptoMiner-COL-D05N100-LTLFireability-09 8515448 m, 159311 m/sec, 50589347 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 360 secs. Pages in use: 554
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 55/365 62/2000 CryptoMiner-COL-D05N100-LTLFireability-09 9311205 m, 159151 m/sec, 55409636 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 365 secs. Pages in use: 565
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 60/365 68/2000 CryptoMiner-COL-D05N100-LTLFireability-09 10092023 m, 156163 m/sec, 60134918 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 370 secs. Pages in use: 577
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 65/365 73/2000 CryptoMiner-COL-D05N100-LTLFireability-09 10868558 m, 155307 m/sec, 64853876 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 375 secs. Pages in use: 587
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 70/365 78/2000 CryptoMiner-COL-D05N100-LTLFireability-09 11697262 m, 165740 m/sec, 69895007 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 380 secs. Pages in use: 598
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 75/365 84/2000 CryptoMiner-COL-D05N100-LTLFireability-09 12512307 m, 163009 m/sec, 74853938 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 385 secs. Pages in use: 610
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 80/365 89/2000 CryptoMiner-COL-D05N100-LTLFireability-09 13328558 m, 163250 m/sec, 79829079 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 390 secs. Pages in use: 621
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 85/365 95/2000 CryptoMiner-COL-D05N100-LTLFireability-09 14143792 m, 163046 m/sec, 84802240 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 395 secs. Pages in use: 633
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 90/365 100/2000 CryptoMiner-COL-D05N100-LTLFireability-09 14953536 m, 161948 m/sec, 89736232 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 400 secs. Pages in use: 644
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 95/365 105/2000 CryptoMiner-COL-D05N100-LTLFireability-09 15741543 m, 157601 m/sec, 94558891 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 405 secs. Pages in use: 655
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-01: CONJ false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-04: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-06: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-07: CONJ false findpath[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D05N100-LTLFireability-15: CONJ false preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-00: F 0 1 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-02: CONJ 0 2 0 0 2 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-03: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-08: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-09: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-10: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-11: LTL 0 1 0 0 1 0 0 0
[[35mlola[0m][.] CryptoMiner-COL-D05N100-LTLFireability-14: LTL 0 0 0 0 1 0 1 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 52 LTL EXCL 100/365 110/2000 CryptoMiner-COL-D05N100-LTLFireability-09 16500432 m, 151777 m/sec, 99202611 t fired, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 410 secs. Pages in use: 666
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
/home/mcc/BenchKit/BenchKit_head.sh: line 23: 405 Killed $BK_TOOL --conf=/home/mcc/BenchKit/bin/myconf --formula=$BK_EXAMINATION.xml $LOLA_TIMELIMIT $LOLA_MEMLIMIT 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-COL-D05N100"
export BK_EXAMINATION="LTLFireability"
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-5568"
echo " Executing tool lola"
echo " Input is CryptoMiner-COL-D05N100, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r093-tall-171624190600324"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CryptoMiner-COL-D05N100.tgz
mv CryptoMiner-COL-D05N100 execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "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 [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "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 "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
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 ;