MCC'2024- Execution of r093-tall-171624190600291

About the Execution of LoLA for CryptoMiner-COL-D03N000

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
16198.384	315641.00	318214.00	1145.20	T???F?T??TF?FFFF	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-171624190600291.qcow2',
Waiting for the VM to be ready (probing ssh)
...............................................................
=========================================
Generated by BenchKit 2-5568
Executing tool lola
Input is CryptoMiner-COL-D03N000, examination is LTLCardina
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r093-tall-171624190600291
===============================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 480K
-rw-r--r-- 1 mcc users 7.4K Apr 12 12:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 75K Apr 12 12:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Apr 12 12:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Apr 12 12:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Apr 22 14:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Apr 22 14:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 22 14:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 22 14:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Apr 12 12:41 ReachabilityCardinalit
-rw-r--r-- 1 mcc users 109K Apr 12 12:41 ReachabilityCardinalit
-rw-r--r-- 1 mcc users 14K Apr 12 12:39 ReachabilityFireabilit
-rw-r--r-- 1 mcc users 116K Apr 12 12:39 ReachabilityFireabilit
-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 9.2K May 18 16:42 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from
FORMULA_NAME CryptoMiner-COL-D03N000-LTLCardinality-00
FORMULA_NAME CryptoMiner-COL-D03N000-LTLCardinality-01
FORMULA_NAME CryptoMiner-COL-D03N000-LTLCardinality-02
FORMULA_NAME CryptoMiner-COL-D03N000-LTLCardinality-03
FORMULA_NAME CryptoMiner-COL-D03N000-LTLCardinality-04
FORMULA_NAME CryptoMiner-COL-D03N000-LTLCardinality-05
FORMULA_NAME CryptoMiner-COL-D03N000-LTLCardinality-06
FORMULA_NAME CryptoMiner-COL-D03N000-LTLCardinality-07
FORMULA_NAME CryptoMiner-COL-D03N000-LTLCardinality-08
FORMULA_NAME CryptoMiner-COL-D03N000-LTLCardinality-09
FORMULA_NAME CryptoMiner-COL-D03N000-LTLCardinality-10
FORMULA_NAME CryptoMiner-COL-D03N000-LTLCardinality-11
FORMULA_NAME CryptoMiner-COL-D03N000-LTLCardinality-12
FORMULA_NAME CryptoMiner-COL-D03N000-LTLCardinality-13
FORMULA_NAME CryptoMiner-COL-D03N000-LTLCardinality-14
FORMULA_NAME CryptoMiner-COL-D03N000-LTLCardinality-15

=== Now, execution of the tool begins

BK_START 1717124066953

FORMULA CryptoMiner-COL-D03N000-LTLCardinality-04
FORMULA CryptoMiner-COL-D03N000-LTLCardinality-10
FORMULA CryptoMiner-COL-D03N000-LTLCardinality-15
FORMULA CryptoMiner-COL-D03N000-LTLCardinality-00
FORMULA CryptoMiner-COL-D03N000-LTLCardinality-09
FORMULA CryptoMiner-COL-D03N000-LTLCardinality-14
FORMULA CryptoMiner-COL-D03N000-LTLCardinality-13
FORMULA CryptoMiner-COL-D03N000-LTLCardinality-12
FORMULA CryptoMiner-COL-D03N000-LTLCardinality-06

BK_STOP 1717124382594

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

[[35mlola[0m][I] LoLA will run for 3600 seconds at most
[[35mlola[0m][W] [1m[33munknown unit in memory specification:
[[35mlola[0m][I] MEM LIMIT 5
[[35mlola[0m][I] NET
[[35mlola[0m][I] reading [1m[34mnet[0m from [4m[34mmod
[[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[34mmode
[[35mlola[0m][I] finished parsing
[[35mlola[0m][I] Reading HL formula in XML format
[[35mlola[0m][I] reading [1m[34mformula[0m from
[[35mlola[0m][I] LAUNCH task # 46 (type SKEL/CNST)
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] FINISHED task # 46 (type SKEL/CNST)
[[35mlola[0m][I] result : true
[[35mlola[0m][I] LAUNCH task # 20 (type SKEL/CNST)
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] FINISHED task # 20 (type SKEL/CNST)
[[35mlola[0m][I] result : false
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] LAUNCH task # 78 (type SKEL/FNDP)
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 79 (type SKEL/EQUN)
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 80 (type SKEL/SRCH)
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] NOTDEADLOCKFREE
[[35mlola[0m][I] FINISHED task # 80 (type SKEL/SRCH)
[[35mlola[0m][I] result : true
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][W] CANCELED task # 78 (type FNDP) for
[[35mlola[0m][W] CANCELED task # 79 (type EQUN) for
[[35mlola[0m][I] Places: 8, Transitions: 8
[[35mlola[0m][I] FINISHED task # 78 (type SKEL/FNDP)
[[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] findlow criterion violated for transition
[[35mlola[0m][W] findlow criterion violated for 1 clusters
[[35mlola[0m][I] Time for checking findlow: 0
[[35mlola[0m][I] FINISHED task # 79 (type SKEL/EQUN)
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] LAUNCH task # 82 (type SKEL/SRCH)
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 81 (type SKEL/SRCH)
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 83 (type SKEL/SRCH)
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 11 (type CNST) for
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] FINISHED task # 11 (type CNST) for
[[35mlola[0m][I] result : true
[[35mlola[0m][I] FINISHED task # 83 (type SKEL/SRCH)
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 5
[[35mlola[0m][I] fired transitions : 5
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] FINISHED task # 82 (type SKEL/SRCH)
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 3
[[35mlola[0m][I] fired transitions : 3
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 49 (type CNST) for
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] Rule S: 0 transitions removed,0 places
[[35mlola[0m][I] FINISHED task # 49 (type CNST) for
[[35mlola[0m][I] result : false
[[35mlola[0m][I] LAUNCH task # 53 (type CNST) for
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][W] CANCELED task # 53 (type CNST) for
[[35mlola[0m][I] FINISHED task # 53 (type CNST) for
[[35mlola[0m][I] result : false
[[35mlola[0m][I] LAUNCH task # 72 (type CNST) for
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] FINISHED task # 72 (type CNST) for
[[35mlola[0m][I] result : false
[[35mlola[0m][I] LAUNCH task # 1 (type EXCL) for 0
[[35mlola[0m][I] time limit : 257 sec
[[35mlola[0m][I] memory limit: 2000 pages
[*** LOG ERROR #0001 ***] [2024-05-31 02:54:28] [status_logger]
[[35mlola[0m][I] FINISHED task # 1 (type EXCL) for
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 40 (type EXCL) for
[[35mlola[0m][I] time limit : 276 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 40 (type EXCL) for
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 3
[[35mlola[0m][I] fired transitions : 2
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][W] CANCELED task # 81 (type SRCH) for
[[35mlola[0m][I] LAUNCH task # 67 (type EXCL) for
[[35mlola[0m][I] time limit : 299 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 88 (type EQUN) for
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 67 (type EXCL) for
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 5
[[35mlola[0m][I] fired transitions : 5
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 64 (type EXCL) for
[[35mlola[0m][I] time limit : 327 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 64 (type EXCL) for
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 18
[[35mlola[0m][I] fired transitions : 22
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 61 (type EXCL) for
[[35mlola[0m][I] time limit : 359 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 61 (type EXCL) for
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 7
[[35mlola[0m][I] fired transitions : 7
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 31 (type EXCL) for
[[35mlola[0m][I] time limit : 399 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 31 (type EXCL) for
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 11
[[35mlola[0m][I] fired transitions : 10
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 14 (type EXCL) for
[[35mlola[0m][I] time limit : 449 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 88 (type EQUN) for
[[35mlola[0m][I] result : true
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 4/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 5 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 9/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 10 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 14/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 15 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 19/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 20 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 24/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 25 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 29/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 30 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 34/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 35 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 39/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 40 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 44/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 45 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 49/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 50 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 54/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 55 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 59/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 60 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 64/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 65 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 69/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 70 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 74/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 75 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 79/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 80 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 84/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 85 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 89/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 90 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 94/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 95 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 99/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 100 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 104/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 105 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 109/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 110 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 114/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 115 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 119/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 120 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 124/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 125 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 129/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 130 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 134/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 135 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 139/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 140 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 144/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 145 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 149/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 150 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 154/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 155 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 159/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 160 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 164/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 165 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 169/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 170 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 174/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 175 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 179/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 180 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 184/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 185 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 189/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 190 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 194/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 195 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 199/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 200 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 204/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 205 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 209/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 210 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 214/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 215 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 219/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 220 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 224/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 225 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 229/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 230 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 234/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 235 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 239/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 240 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 244/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 245 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 249/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 250 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 254/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 255 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 259/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 260 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 264/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 265 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 269/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 270 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 274/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 275 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 279/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 280 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 284/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 285 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 289/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 290 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 294/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 295 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 299/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 300 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 304/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 305 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-00:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-04:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-06:
[[35mlola[0m][.] [1m[32mCryptoMiner-COL-D03N000-LTLCardinality-09:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-10:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-12:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-13:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-14:
[[35mlola[0m][.] [1m[31mCryptoMiner-COL-D03N000-LTLCardinality-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-01:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-02:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-03:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-05:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-07:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-08:
[[35mlola[0m][.] CryptoMiner-COL-D03N000-LTLCardinality-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 14 LTL EXCL 309/449
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 310 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
/home/mcc/BenchKit/BenchKit_head.sh: line 23: 406 Killed
fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 ....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... ============================ lity ====== y.txt y.xml y.txt y.xml template) text file) FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT ([1m[36m--timelimit[0m) using default[0m el.pnml[0m l.pnml[0m ([1m[36m--xmlformula[0m) [4m[34mLTLCardinality.xml[0m for 42 CryptoMiner-COL-D03N000-LTLCardinality-10 for CryptoMiner-COL-D03N000-LTLCardinality-10 for 16 CryptoMiner-COL-D03N000-LTLCardinality-04 for CryptoMiner-COL-D03N000-LTLCardinality-04 for 42 CryptoMiner-COL-D03N000-LTLCardinality-10 for 42 CryptoMiner-COL-D03N000-LTLCardinality-10 for 42 CryptoMiner-COL-D03N000-LTLCardinality-10 for CryptoMiner-COL-D03N000-LTLCardinality-10 CryptoMiner-COL-D03N000-LTLCardinality-10 (obsolete) CryptoMiner-COL-D03N000-LTLCardinality-10 (obsolete) for CryptoMiner-COL-D03N000-LTLCardinality-10 1 for CryptoMiner-COL-D03N000-LTLCardinality-10 for 6 CryptoMiner-COL-D03N000-LTLCardinality-02 for 39 CryptoMiner-COL-D03N000-LTLCardinality-09 for 69 CryptoMiner-COL-D03N000-LTLCardinality-15 6 CryptoMiner-COL-D03N000-LTLCardinality-02 CryptoMiner-COL-D03N000-LTLCardinality-02 for CryptoMiner-COL-D03N000-LTLCardinality-15 for CryptoMiner-COL-D03N000-LTLCardinality-02 42 CryptoMiner-COL-D03N000-LTLCardinality-10 removed CryptoMiner-COL-D03N000-LTLCardinality-10 42 CryptoMiner-COL-D03N000-LTLCardinality-10 CryptoMiner-COL-D03N000-LTLCardinality-10 (obsolete) CryptoMiner-COL-D03N000-LTLCardinality-10 69 CryptoMiner-COL-D03N000-LTLCardinality-15 CryptoMiner-COL-D03N000-LTLCardinality-15 CryptoMiner-COL-D03N000-LTLCardinality-00 string pointer is null CryptoMiner-COL-D03N000-LTLCardinality-00 39 CryptoMiner-COL-D03N000-LTLCardinality-09 CryptoMiner-COL-D03N000-LTLCardinality-09 CryptoMiner-COL-D03N000-LTLCardinality-09 (obsolete) 66 CryptoMiner-COL-D03N000-LTLCardinality-14 33 CryptoMiner-COL-D03N000-LTLCardinality-07 CryptoMiner-COL-D03N000-LTLCardinality-14 63 CryptoMiner-COL-D03N000-LTLCardinality-13 CryptoMiner-COL-D03N000-LTLCardinality-13 60 CryptoMiner-COL-D03N000-LTLCardinality-12 CryptoMiner-COL-D03N000-LTLCardinality-12 30 CryptoMiner-COL-D03N000-LTLCardinality-06 CryptoMiner-COL-D03N000-LTLCardinality-06 13 CryptoMiner-COL-D03N000-LTLCardinality-03 CryptoMiner-COL-D03N000-LTLCardinality-07 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 13/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 1890379 m, 378075 m/sec, 2808124 t fired, . CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 27/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 4132364 m, 448397 m/sec, 6149450 t fired, . in use: 27 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 41/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 6215059 m, 416539 m/sec, 9255895 t fired, . in use: 41 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 55/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 8422059 m, 441400 m/sec, 12549236 t fired, . in use: 55 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 68/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 10475709 m, 410730 m/sec, 15614934 t fired, . in use: 68 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 81/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 12467211 m, 398300 m/sec, 18588471 t fired, . in use: 81 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 95/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 14516871 m, 409932 m/sec, 21649320 t fired, . in use: 95 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 108/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 16531308 m, 402887 m/sec, 24658101 t fired, . in use: 108 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 121/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 18540530 m, 401844 m/sec, 27659040 t fired, . in use: 121 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 133/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 20429656 m, 377825 m/sec, 30481298 t fired, . in use: 133 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 146/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 22380910 m, 390250 m/sec, 33396462 t fired, . in use: 146 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 158/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 24313058 m, 386429 m/sec, 36284101 t fired, . in use: 158 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 170/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 26188820 m, 375152 m/sec, 39086656 t fired, . in use: 170 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 183/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 28071764 m, 376588 m/sec, 41900901 t fired, . in use: 183 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 194/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 29867442 m, 359135 m/sec, 44584669 t fired, . in use: 194 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 206/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 31725345 m, 371580 m/sec, 47361527 t fired, . in use: 206 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 217/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 33417359 m, 338402 m/sec, 49890496 t fired, . in use: 217 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 228/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 35153405 m, 347209 m/sec, 52485216 t fired, . in use: 228 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 240/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 36924100 m, 354139 m/sec, 55131654 t fired, . in use: 240 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 251/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 38622695 m, 339719 m/sec, 57671495 t fired, . in use: 251 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 262/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 40363707 m, 348202 m/sec, 60273965 t fired, . in use: 262 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 274/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 42168282 m, 360915 m/sec, 62971494 t fired, . in use: 274 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 285/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 43858583 m, 338060 m/sec, 65498892 t fired, . in use: 285 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 296/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 45592221 m, 346727 m/sec, 68090723 t fired, . in use: 296 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 307/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 47330830 m, 347721 m/sec, 70690155 t fired, . in use: 307 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 319/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 49049197 m, 343673 m/sec, 73259716 t fired, . in use: 319 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 329/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 50691416 m, 328443 m/sec, 75714292 t fired, . in use: 329 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 340/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 52362693 m, 334255 m/sec, 78213800 t fired, . in use: 340 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 351/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 54026030 m, 332667 m/sec, 80701293 t fired, . in use: 351 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 362/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 55675717 m, 329937 m/sec, 83168128 t fired, . in use: 362 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 373/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 57375026 m, 339861 m/sec, 85708587 t fired, . in use: 373 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 384/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 59078832 m, 340761 m/sec, 88256391 t fired, . in use: 384 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 394/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 60710979 m, 326429 m/sec, 90697428 t fired, . in use: 394 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 405/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 62408729 m, 339550 m/sec, 93236570 t fired, . in use: 405 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 416/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 64092174 m, 336689 m/sec, 95754201 t fired, . in use: 416 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 426/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 65673064 m, 316178 m/sec, 98118535 t fired, . in use: 426 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 437/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 67258572 m, 317101 m/sec, 100489687 t fired, . in use: 437 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 447/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 68789541 m, 306193 m/sec, 102779267 t fired, . in use: 447 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 457/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 70387382 m, 319568 m/sec, 105168959 t fired, . in use: 457 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 467/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 71963696 m, 315262 m/sec, 107526509 t fired, . in use: 467 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 477/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 73545741 m, 316409 m/sec, 109892557 t fired, . in use: 477 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 488/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 75134822 m, 317816 m/sec, 112269079 t fired, . in use: 488 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 498/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 76697255 m, 312486 m/sec, 114605873 t fired, . in use: 498 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 508/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 78267421 m, 314033 m/sec, 116954088 t fired, . in use: 508 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 518/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 79852258 m, 316967 m/sec, 119325177 t fired, . in use: 518 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 529/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 81460809 m, 321710 m/sec, 121731546 t fired, . in use: 529 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 539/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 83043637 m, 316565 m/sec, 124099074 t fired, . in use: 539 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 550/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 84662384 m, 323749 m/sec, 126520365 t fired, . in use: 550 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 560/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 86252726 m, 318068 m/sec, 128898898 t fired, . in use: 560 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 570/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 87777121 m, 304879 m/sec, 131178702 t fired, . in use: 570 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 580/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 89305234 m, 305622 m/sec, 133465033 t fired, . in use: 580 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 589/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 90817204 m, 302394 m/sec, 135727129 t fired, . in use: 589 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 599/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 92349736 m, 306506 m/sec, 138019340 t fired, . in use: 599 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 610/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 93911763 m, 312405 m/sec, 140355518 t fired, . in use: 610 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 619/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 95357616 m, 289170 m/sec, 142518772 t fired, . in use: 619 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 629/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 96841109 m, 296698 m/sec, 144738278 t fired, . in use: 629 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 638/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 98337188 m, 299215 m/sec, 146975847 t fired, . in use: 638 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 648/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 99842070 m, 300976 m/sec, 149226343 t fired, . in use: 648 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 657/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 101289948 m, 289575 m/sec, 151393630 t fired, . in use: 657 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 667/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 102830059 m, 308022 m/sec, 153697293 t fired, . in use: 667 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 676/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 104226889 m, 279366 m/sec, 155786143 t fired, . in use: 676 CATEGORY VALUE PRODUCED BY[0m LTL true LTL model checker[0m CONJ false skeleton: preprocessing[0m LTL true LTL model checker[0m LTL true LTL model checker[0m CONJ false preprocessing[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false preprocessing[0m CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 2 0 0 0 LTL 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 F 0 1 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 686/2000 CryptoMiner-COL-D03N000-LTLCardinality-03 105666969 m, 288016 m/sec, 157941734 t fired, . in use: 686 $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-D03N000"
export BK_EXAMINATION="LTLCardinality"
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-D03N000, examination is LTLCardinality"
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-171624190600291"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CryptoMiner-COL-D03N000.tgz
mv CryptoMiner-COL-D03N000 execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "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 [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.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 '' LTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
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 ;