Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2024-input.r049-tajo-171620400800436.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2024-input.qcow2' backing_fmt='qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool lola
Input is BugTracking-PT-q8m128, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r049-tajo-171620400800436
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 7.7K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K May 19 07:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 19 15:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 22 14:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 22 14:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Apr 12 01:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 119K Apr 12 01:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.3K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 78K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 19 07:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 19 15:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 7 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 16M May 18 16:42 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME BugTracking-PT-q8m128-LTLFireability-00
FORMULA_NAME BugTracking-PT-q8m128-LTLFireability-01
FORMULA_NAME BugTracking-PT-q8m128-LTLFireability-02
FORMULA_NAME BugTracking-PT-q8m128-LTLFireability-03
FORMULA_NAME BugTracking-PT-q8m128-LTLFireability-04
FORMULA_NAME BugTracking-PT-q8m128-LTLFireability-05
FORMULA_NAME BugTracking-PT-q8m128-LTLFireability-06
FORMULA_NAME BugTracking-PT-q8m128-LTLFireability-07
FORMULA_NAME BugTracking-PT-q8m128-LTLFireability-08
FORMULA_NAME BugTracking-PT-q8m128-LTLFireability-09
FORMULA_NAME BugTracking-PT-q8m128-LTLFireability-10
FORMULA_NAME BugTracking-PT-q8m128-LTLFireability-11
FORMULA_NAME BugTracking-PT-q8m128-LTLFireability-12
FORMULA_NAME BugTracking-PT-q8m128-LTLFireability-13
FORMULA_NAME BugTracking-PT-q8m128-LTLFireability-14
FORMULA_NAME BugTracking-PT-q8m128-LTLFireability-15

=== Now, execution of the tool begins

BK_START 1717027973248


BK_STOP 1717028464720

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

[lola][I] LoLA will run for 3600 seconds at most (--timelimit)
[lola][W] unknown unit in memory specification: using default
[lola][I] MEM LIMIT 5
[lola][I] NET
[lola][I] reading net from model.pnml
[lola][I] input: PNML file (--pnmlnet)
[lola][I] reading pnml
[lola][I] PNML file contains place/transition net
[lola][I] closed net file model.pnml
[lola][I] finished parsing
[lola][I] Reading formula.
[lola][I] Using XML format (--xmlformula)
[lola][I] reading XML formula
[lola][I] reading formula from LTLFireability.xml
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL 0 0 0 0 0 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.]
[lola][.] Time elapsed: 5 secs. Pages in use: 0
[lola][.] # running tasks: 0 of 4. Visible: 16
[lola][I] Rule S: 23466 transitions removed,474 places removed
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL 0 0 0 0 0 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.]
[lola][.] Time elapsed: 10 secs. Pages in use: 0
[lola][.] # running tasks: 0 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL 0 0 0 0 0 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.]
[lola][.] Time elapsed: 15 secs. Pages in use: 0
[lola][.] # running tasks: 0 of 4. Visible: 16
[lola][I] LAUNCH task # 29 (type CNST) for 28 BugTracking-PT-q8m128-LTLFireability-08
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 29 (type CNST) for BugTracking-PT-q8m128-LTLFireability-08
[lola][I] result : false
[lola][I] LAUNCH task # 6 (type CNST) for 3 BugTracking-PT-q8m128-LTLFireability-01
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] LAUNCH task # 23 (type CNST) for 22 BugTracking-PT-q8m128-LTLFireability-06
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] LAUNCH task # 38 (type CNST) for 37 BugTracking-PT-q8m128-LTLFireability-11
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 6 (type CNST) for BugTracking-PT-q8m128-LTLFireability-01
[lola][I] result : false
[lola][I] FINISHED task # 23 (type CNST) for BugTracking-PT-q8m128-LTLFireability-06
[lola][I] result : false
[lola][I] FINISHED task # 38 (type CNST) for BugTracking-PT-q8m128-LTLFireability-11
[lola][I] result : false
[*** LOG ERROR #0001 ***] [2024-05-30 00:13:12] [status_logger] string pointer is null
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL 0 0 0 0 0 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.]
[lola][.] Time elapsed: 20 secs. Pages in use: 0
[lola][.] # running tasks: 0 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL 0 0 0 0 0 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL 0 0 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL 0 0 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.]
[lola][.] Time elapsed: 25 secs. Pages in use: 0
[lola][.] # running tasks: 0 of 4. Visible: 16
[lola][I] LAUNCH task # 17 (type EXCL) for 16 BugTracking-PT-q8m128-LTLFireability-04
[lola][I] time limit : 274 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 17 (type EXCL) for BugTracking-PT-q8m128-LTLFireability-04
[lola][I] result : false
[lola][I] markings : 129
[lola][I] fired transitions : 129
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 47 (type EXCL) for 46 BugTracking-PT-q8m128-LTLFireability-14
[lola][I] time limit : 297 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 47 (type EXCL) for BugTracking-PT-q8m128-LTLFireability-14
[lola][I] result : false
[lola][I] markings : 129
[lola][I] fired transitions : 129
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 50 (type EXCL) for 49 BugTracking-PT-q8m128-LTLFireability-15
[lola][I] time limit : 324 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 50 (type EXCL) for BugTracking-PT-q8m128-LTLFireability-15
[lola][I] result : false
[lola][I] markings : 129
[lola][I] fired transitions : 129
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 44 (type EXCL) for 43 BugTracking-PT-q8m128-LTLFireability-13
[lola][I] time limit : 357 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 44 (type EXCL) for BugTracking-PT-q8m128-LTLFireability-13
[lola][I] result : false
[lola][I] markings : 129
[lola][I] fired transitions : 129
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 41 (type EXCL) for 40 BugTracking-PT-q8m128-LTLFireability-12
[lola][I] time limit : 396 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 41 (type EXCL) for BugTracking-PT-q8m128-LTLFireability-12
[lola][I] result : false
[lola][I] markings : 129
[lola][I] fired transitions : 129
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 35 (type EXCL) for 34 BugTracking-PT-q8m128-LTLFireability-10
[lola][I] time limit : 446 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 35 (type EXCL) for BugTracking-PT-q8m128-LTLFireability-10
[lola][I] result : false
[lola][I] markings : 129
[lola][I] fired transitions : 129
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 32 (type EXCL) for 31 BugTracking-PT-q8m128-LTLFireability-09
[lola][I] time limit : 595 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 32 (type EXCL) for BugTracking-PT-q8m128-LTLFireability-09
[lola][I] result : false
[lola][I] markings : 129
[lola][I] fired transitions : 129
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 26 (type EXCL) for 25 BugTracking-PT-q8m128-LTLFireability-07
[lola][I] time limit : 714 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 26 (type EXCL) for BugTracking-PT-q8m128-LTLFireability-07
[lola][I] result : false
[lola][I] markings : 129
[lola][I] fired transitions : 129
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 14 (type EXCL) for 13 BugTracking-PT-q8m128-LTLFireability-03
[lola][I] time limit : 893 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 14 (type EXCL) for BugTracking-PT-q8m128-LTLFireability-03
[lola][I] result : false
[lola][I] markings : 129
[lola][I] fired transitions : 129
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 11 (type EXCL) for 10 BugTracking-PT-q8m128-LTLFireability-02
[lola][I] time limit : 1190 sec
[lola][I] memory limit: 2000 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 2/1190 4/2000 BugTracking-PT-q8m128-LTLFireability-02 447941 m, 89588 m/sec, 566620 t fired, .
[lola][.]
[lola][.] Time elapsed: 30 secs. Pages in use: 4
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 7/1190 13/2000 BugTracking-PT-q8m128-LTLFireability-02 1510029 m, 212417 m/sec, 1805821 t fired, .
[lola][.]
[lola][.] Time elapsed: 35 secs. Pages in use: 13
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 12/1190 22/2000 BugTracking-PT-q8m128-LTLFireability-02 2505047 m, 199003 m/sec, 2966674 t fired, .
[lola][.]
[lola][.] Time elapsed: 40 secs. Pages in use: 22
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 17/1190 30/2000 BugTracking-PT-q8m128-LTLFireability-02 3492849 m, 197560 m/sec, 4119113 t fired, .
[lola][.]
[lola][.] Time elapsed: 45 secs. Pages in use: 30
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 22/1190 39/2000 BugTracking-PT-q8m128-LTLFireability-02 4556546 m, 212739 m/sec, 5360089 t fired, .
[lola][.]
[lola][.] Time elapsed: 50 secs. Pages in use: 39
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 27/1190 48/2000 BugTracking-PT-q8m128-LTLFireability-02 5615613 m, 211813 m/sec, 6595668 t fired, .
[lola][.]
[lola][.] Time elapsed: 55 secs. Pages in use: 48
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 32/1190 56/2000 BugTracking-PT-q8m128-LTLFireability-02 6624664 m, 201810 m/sec, 7772895 t fired, .
[lola][.]
[lola][.] Time elapsed: 60 secs. Pages in use: 56
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 37/1190 65/2000 BugTracking-PT-q8m128-LTLFireability-02 7658564 m, 206780 m/sec, 8979111 t fired, .
[lola][.]
[lola][.] Time elapsed: 65 secs. Pages in use: 65
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 42/1190 74/2000 BugTracking-PT-q8m128-LTLFireability-02 8700954 m, 208478 m/sec, 10195233 t fired, .
[lola][.]
[lola][.] Time elapsed: 70 secs. Pages in use: 74
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 47/1190 83/2000 BugTracking-PT-q8m128-LTLFireability-02 9739841 m, 207777 m/sec, 11407268 t fired, .
[lola][.]
[lola][.] Time elapsed: 75 secs. Pages in use: 83
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 52/1190 91/2000 BugTracking-PT-q8m128-LTLFireability-02 10783787 m, 208789 m/sec, 12625207 t fired, .
[lola][.]
[lola][.] Time elapsed: 80 secs. Pages in use: 91
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 57/1190 100/2000 BugTracking-PT-q8m128-LTLFireability-02 11823679 m, 207978 m/sec, 13838410 t fired, .
[lola][.]
[lola][.] Time elapsed: 85 secs. Pages in use: 100
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 62/1190 109/2000 BugTracking-PT-q8m128-LTLFireability-02 12863315 m, 207927 m/sec, 15051322 t fired, .
[lola][.]
[lola][.] Time elapsed: 90 secs. Pages in use: 109
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 67/1190 118/2000 BugTracking-PT-q8m128-LTLFireability-02 13903572 m, 208051 m/sec, 16264956 t fired, .
[lola][.]
[lola][.] Time elapsed: 95 secs. Pages in use: 118
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 72/1190 126/2000 BugTracking-PT-q8m128-LTLFireability-02 14942673 m, 207820 m/sec, 17477240 t fired, .
[lola][.]
[lola][.] Time elapsed: 100 secs. Pages in use: 126
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 77/1190 135/2000 BugTracking-PT-q8m128-LTLFireability-02 15974316 m, 206328 m/sec, 18680824 t fired, .
[lola][.]
[lola][.] Time elapsed: 105 secs. Pages in use: 135
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 82/1190 144/2000 BugTracking-PT-q8m128-LTLFireability-02 17007686 m, 206674 m/sec, 19886421 t fired, .
[lola][.]
[lola][.] Time elapsed: 110 secs. Pages in use: 144
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 87/1190 152/2000 BugTracking-PT-q8m128-LTLFireability-02 18041599 m, 206782 m/sec, 21092650 t fired, .
[lola][.]
[lola][.] Time elapsed: 115 secs. Pages in use: 152
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 92/1190 161/2000 BugTracking-PT-q8m128-LTLFireability-02 19072638 m, 206207 m/sec, 22295529 t fired, .
[lola][.]
[lola][.] Time elapsed: 120 secs. Pages in use: 161
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 97/1190 170/2000 BugTracking-PT-q8m128-LTLFireability-02 20106095 m, 206691 m/sec, 23501231 t fired, .
[lola][.]
[lola][.] Time elapsed: 125 secs. Pages in use: 170
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 102/1190 178/2000 BugTracking-PT-q8m128-LTLFireability-02 21139135 m, 206608 m/sec, 24706442 t fired, .
[lola][.]
[lola][.] Time elapsed: 130 secs. Pages in use: 178
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 107/1190 187/2000 BugTracking-PT-q8m128-LTLFireability-02 22171057 m, 206384 m/sec, 25910352 t fired, .
[lola][.]
[lola][.] Time elapsed: 135 secs. Pages in use: 187
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 112/1190 196/2000 BugTracking-PT-q8m128-LTLFireability-02 23205225 m, 206833 m/sec, 27116884 t fired, .
[lola][.]
[lola][.] Time elapsed: 140 secs. Pages in use: 196
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 117/1190 204/2000 BugTracking-PT-q8m128-LTLFireability-02 24231964 m, 205347 m/sec, 28314744 t fired, .
[lola][.]
[lola][.] Time elapsed: 145 secs. Pages in use: 204
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 122/1190 213/2000 BugTracking-PT-q8m128-LTLFireability-02 25259597 m, 205526 m/sec, 29513649 t fired, .
[lola][.]
[lola][.] Time elapsed: 150 secs. Pages in use: 213
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 127/1190 222/2000 BugTracking-PT-q8m128-LTLFireability-02 26279281 m, 203936 m/sec, 30703281 t fired, .
[lola][.]
[lola][.] Time elapsed: 155 secs. Pages in use: 222
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 132/1190 230/2000 BugTracking-PT-q8m128-LTLFireability-02 27312442 m, 206632 m/sec, 31908637 t fired, .
[lola][.]
[lola][.] Time elapsed: 160 secs. Pages in use: 230
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 137/1190 239/2000 BugTracking-PT-q8m128-LTLFireability-02 28342842 m, 206080 m/sec, 33110770 t fired, .
[lola][.]
[lola][.] Time elapsed: 165 secs. Pages in use: 239
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 142/1190 248/2000 BugTracking-PT-q8m128-LTLFireability-02 29376710 m, 206773 m/sec, 34316949 t fired, .
[lola][.]
[lola][.] Time elapsed: 170 secs. Pages in use: 248
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 147/1190 256/2000 BugTracking-PT-q8m128-LTLFireability-02 30407459 m, 206149 m/sec, 35519491 t fired, .
[lola][.]
[lola][.] Time elapsed: 175 secs. Pages in use: 256
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 152/1190 265/2000 BugTracking-PT-q8m128-LTLFireability-02 31436413 m, 205790 m/sec, 36719936 t fired, .
[lola][.]
[lola][.] Time elapsed: 180 secs. Pages in use: 265
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 157/1190 274/2000 BugTracking-PT-q8m128-LTLFireability-02 32467234 m, 206164 m/sec, 37922561 t fired, .
[lola][.]
[lola][.] Time elapsed: 185 secs. Pages in use: 274
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 162/1190 282/2000 BugTracking-PT-q8m128-LTLFireability-02 33495733 m, 205699 m/sec, 39122476 t fired, .
[lola][.]
[lola][.] Time elapsed: 190 secs. Pages in use: 282
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 167/1190 291/2000 BugTracking-PT-q8m128-LTLFireability-02 34523112 m, 205475 m/sec, 40321083 t fired, .
[lola][.]
[lola][.] Time elapsed: 195 secs. Pages in use: 291
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 172/1190 300/2000 BugTracking-PT-q8m128-LTLFireability-02 35539445 m, 203266 m/sec, 41506804 t fired, .
[lola][.]
[lola][.] Time elapsed: 200 secs. Pages in use: 300
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 177/1190 308/2000 BugTracking-PT-q8m128-LTLFireability-02 36542132 m, 200537 m/sec, 42676608 t fired, .
[lola][.]
[lola][.] Time elapsed: 205 secs. Pages in use: 308
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 182/1190 316/2000 BugTracking-PT-q8m128-LTLFireability-02 37523808 m, 196335 m/sec, 43821895 t fired, .
[lola][.]
[lola][.] Time elapsed: 210 secs. Pages in use: 316
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 187/1190 325/2000 BugTracking-PT-q8m128-LTLFireability-02 38509545 m, 197147 m/sec, 44971924 t fired, .
[lola][.]
[lola][.] Time elapsed: 215 secs. Pages in use: 325
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 192/1190 333/2000 BugTracking-PT-q8m128-LTLFireability-02 39517822 m, 201655 m/sec, 46148246 t fired, .
[lola][.]
[lola][.] Time elapsed: 220 secs. Pages in use: 333
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 197/1190 341/2000 BugTracking-PT-q8m128-LTLFireability-02 40520480 m, 200531 m/sec, 47318013 t fired, .
[lola][.]
[lola][.] Time elapsed: 225 secs. Pages in use: 341
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 202/1190 350/2000 BugTracking-PT-q8m128-LTLFireability-02 41515176 m, 198939 m/sec, 48478491 t fired, .
[lola][.]
[lola][.] Time elapsed: 230 secs. Pages in use: 350
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 207/1190 358/2000 BugTracking-PT-q8m128-LTLFireability-02 42479215 m, 192807 m/sec, 49603205 t fired, .
[lola][.]
[lola][.] Time elapsed: 235 secs. Pages in use: 358
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 212/1190 366/2000 BugTracking-PT-q8m128-LTLFireability-02 43450747 m, 194306 m/sec, 50736658 t fired, .
[lola][.]
[lola][.] Time elapsed: 240 secs. Pages in use: 366
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 217/1190 374/2000 BugTracking-PT-q8m128-LTLFireability-02 44417899 m, 193430 m/sec, 51865003 t fired, .
[lola][.]
[lola][.] Time elapsed: 245 secs. Pages in use: 374
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 222/1190 382/2000 BugTracking-PT-q8m128-LTLFireability-02 45387683 m, 193956 m/sec, 52996418 t fired, .
[lola][.]
[lola][.] Time elapsed: 250 secs. Pages in use: 382
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 227/1190 391/2000 BugTracking-PT-q8m128-LTLFireability-02 46357158 m, 193895 m/sec, 54127470 t fired, .
[lola][.]
[lola][.] Time elapsed: 255 secs. Pages in use: 391
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 232/1190 399/2000 BugTracking-PT-q8m128-LTLFireability-02 47326691 m, 193906 m/sec, 55258595 t fired, .
[lola][.]
[lola][.] Time elapsed: 260 secs. Pages in use: 399
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 237/1190 407/2000 BugTracking-PT-q8m128-LTLFireability-02 48298011 m, 194264 m/sec, 56391799 t fired, .
[lola][.]
[lola][.] Time elapsed: 265 secs. Pages in use: 407
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 242/1190 415/2000 BugTracking-PT-q8m128-LTLFireability-02 49273851 m, 195168 m/sec, 57530278 t fired, .
[lola][.]
[lola][.] Time elapsed: 270 secs. Pages in use: 415
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 247/1190 423/2000 BugTracking-PT-q8m128-LTLFireability-02 50250393 m, 195308 m/sec, 58669580 t fired, .
[lola][.]
[lola][.] Time elapsed: 275 secs. Pages in use: 423
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 252/1190 431/2000 BugTracking-PT-q8m128-LTLFireability-02 51225780 m, 195077 m/sec, 59807532 t fired, .
[lola][.]
[lola][.] Time elapsed: 280 secs. Pages in use: 431
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 257/1190 440/2000 BugTracking-PT-q8m128-LTLFireability-02 52209522 m, 196748 m/sec, 60955229 t fired, .
[lola][.]
[lola][.] Time elapsed: 285 secs. Pages in use: 440
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 262/1190 448/2000 BugTracking-PT-q8m128-LTLFireability-02 53185855 m, 195266 m/sec, 62094285 t fired, .
[lola][.]
[lola][.] Time elapsed: 290 secs. Pages in use: 448
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 267/1190 456/2000 BugTracking-PT-q8m128-LTLFireability-02 54168502 m, 196529 m/sec, 63240705 t fired, .
[lola][.]
[lola][.] Time elapsed: 295 secs. Pages in use: 456
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 272/1190 465/2000 BugTracking-PT-q8m128-LTLFireability-02 55219466 m, 210192 m/sec, 64466829 t fired, .
[lola][.]
[lola][.] Time elapsed: 300 secs. Pages in use: 465
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 277/1190 474/2000 BugTracking-PT-q8m128-LTLFireability-02 56272525 m, 210611 m/sec, 65695400 t fired, .
[lola][.]
[lola][.] Time elapsed: 305 secs. Pages in use: 474
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 282/1190 483/2000 BugTracking-PT-q8m128-LTLFireability-02 57327444 m, 210983 m/sec, 66926140 t fired, .
[lola][.]
[lola][.] Time elapsed: 310 secs. Pages in use: 483
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 287/1190 492/2000 BugTracking-PT-q8m128-LTLFireability-02 58386143 m, 211739 m/sec, 68161286 t fired, .
[lola][.]
[lola][.] Time elapsed: 315 secs. Pages in use: 492
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 292/1190 501/2000 BugTracking-PT-q8m128-LTLFireability-02 59439491 m, 210669 m/sec, 69390194 t fired, .
[lola][.]
[lola][.] Time elapsed: 320 secs. Pages in use: 501
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 297/1190 509/2000 BugTracking-PT-q8m128-LTLFireability-02 60493929 m, 210887 m/sec, 70620372 t fired, .
[lola][.]
[lola][.] Time elapsed: 325 secs. Pages in use: 509
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 302/1190 518/2000 BugTracking-PT-q8m128-LTLFireability-02 61544214 m, 210057 m/sec, 71845701 t fired, .
[lola][.]
[lola][.] Time elapsed: 330 secs. Pages in use: 518
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 307/1190 527/2000 BugTracking-PT-q8m128-LTLFireability-02 62597666 m, 210690 m/sec, 73074730 t fired, .
[lola][.]
[lola][.] Time elapsed: 335 secs. Pages in use: 527
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 312/1190 536/2000 BugTracking-PT-q8m128-LTLFireability-02 63650080 m, 210482 m/sec, 74302548 t fired, .
[lola][.]
[lola][.] Time elapsed: 340 secs. Pages in use: 536
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 317/1190 545/2000 BugTracking-PT-q8m128-LTLFireability-02 64704838 m, 210951 m/sec, 75533098 t fired, .
[lola][.]
[lola][.] Time elapsed: 345 secs. Pages in use: 545
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 322/1190 554/2000 BugTracking-PT-q8m128-LTLFireability-02 65753646 m, 209761 m/sec, 76756705 t fired, .
[lola][.]
[lola][.] Time elapsed: 350 secs. Pages in use: 554
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 327/1190 562/2000 BugTracking-PT-q8m128-LTLFireability-02 66793864 m, 208043 m/sec, 77970296 t fired, .
[lola][.]
[lola][.] Time elapsed: 355 secs. Pages in use: 562
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 332/1190 571/2000 BugTracking-PT-q8m128-LTLFireability-02 67803831 m, 201993 m/sec, 79148590 t fired, .
[lola][.]
[lola][.] Time elapsed: 360 secs. Pages in use: 571
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 337/1190 579/2000 BugTracking-PT-q8m128-LTLFireability-02 68816916 m, 202617 m/sec, 80330524 t fired, .
[lola][.]
[lola][.] Time elapsed: 365 secs. Pages in use: 579
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 342/1190 588/2000 BugTracking-PT-q8m128-LTLFireability-02 69856853 m, 207987 m/sec, 81543780 t fired, .
[lola][.]
[lola][.] Time elapsed: 370 secs. Pages in use: 588
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 347/1190 597/2000 BugTracking-PT-q8m128-LTLFireability-02 70903220 m, 209273 m/sec, 82764543 t fired, .
[lola][.]
[lola][.] Time elapsed: 375 secs. Pages in use: 597
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 352/1190 606/2000 BugTracking-PT-q8m128-LTLFireability-02 71944844 m, 208324 m/sec, 83979772 t fired, .
[lola][.]
[lola][.] Time elapsed: 380 secs. Pages in use: 606
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 357/1190 614/2000 BugTracking-PT-q8m128-LTLFireability-02 72984674 m, 207966 m/sec, 85192905 t fired, .
[lola][.]
[lola][.] Time elapsed: 385 secs. Pages in use: 614
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 362/1190 623/2000 BugTracking-PT-q8m128-LTLFireability-02 74034594 m, 209984 m/sec, 86417814 t fired, .
[lola][.]
[lola][.] Time elapsed: 390 secs. Pages in use: 623
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 367/1190 632/2000 BugTracking-PT-q8m128-LTLFireability-02 75081111 m, 209303 m/sec, 87638750 t fired, .
[lola][.]
[lola][.] Time elapsed: 395 secs. Pages in use: 632
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 372/1190 641/2000 BugTracking-PT-q8m128-LTLFireability-02 76132840 m, 210345 m/sec, 88865767 t fired, .
[lola][.]
[lola][.] Time elapsed: 400 secs. Pages in use: 641
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 377/1190 650/2000 BugTracking-PT-q8m128-LTLFireability-02 77190197 m, 211471 m/sec, 90099348 t fired, .
[lola][.]
[lola][.] Time elapsed: 405 secs. Pages in use: 650
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 382/1190 659/2000 BugTracking-PT-q8m128-LTLFireability-02 78245578 m, 211076 m/sec, 91330630 t fired, .
[lola][.]
[lola][.] Time elapsed: 410 secs. Pages in use: 659
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 387/1190 667/2000 BugTracking-PT-q8m128-LTLFireability-02 79298815 m, 210647 m/sec, 92559404 t fired, .
[lola][.]
[lola][.] Time elapsed: 415 secs. Pages in use: 667
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 392/1190 676/2000 BugTracking-PT-q8m128-LTLFireability-02 80351038 m, 210444 m/sec, 93786998 t fired, .
[lola][.]
[lola][.] Time elapsed: 420 secs. Pages in use: 676
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 397/1190 685/2000 BugTracking-PT-q8m128-LTLFireability-02 81402022 m, 210196 m/sec, 95013145 t fired, .
[lola][.]
[lola][.] Time elapsed: 425 secs. Pages in use: 685
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 402/1190 694/2000 BugTracking-PT-q8m128-LTLFireability-02 82450780 m, 209751 m/sec, 96236696 t fired, .
[lola][.]
[lola][.] Time elapsed: 430 secs. Pages in use: 694
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 407/1190 703/2000 BugTracking-PT-q8m128-LTLFireability-02 83501221 m, 210088 m/sec, 97462213 t fired, .
[lola][.]
[lola][.] Time elapsed: 435 secs. Pages in use: 703
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 412/1190 712/2000 BugTracking-PT-q8m128-LTLFireability-02 84549400 m, 209635 m/sec, 98685087 t fired, .
[lola][.]
[lola][.] Time elapsed: 440 secs. Pages in use: 712
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 417/1190 720/2000 BugTracking-PT-q8m128-LTLFireability-02 85594199 m, 208959 m/sec, 99904019 t fired, .
[lola][.]
[lola][.] Time elapsed: 445 secs. Pages in use: 720
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 422/1190 729/2000 BugTracking-PT-q8m128-LTLFireability-02 86629302 m, 207020 m/sec, 101111638 t fired, .
[lola][.]
[lola][.] Time elapsed: 450 secs. Pages in use: 729
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 427/1190 738/2000 BugTracking-PT-q8m128-LTLFireability-02 87673554 m, 208850 m/sec, 102329933 t fired, .
[lola][.]
[lola][.] Time elapsed: 455 secs. Pages in use: 738
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 432/1190 747/2000 BugTracking-PT-q8m128-LTLFireability-02 88719950 m, 209279 m/sec, 103550730 t fired, .
[lola][.]
[lola][.] Time elapsed: 460 secs. Pages in use: 747
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 437/1190 756/2000 BugTracking-PT-q8m128-LTLFireability-02 89771347 m, 210279 m/sec, 104777358 t fired, .
[lola][.]
[lola][.] Time elapsed: 465 secs. Pages in use: 756
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 442/1190 764/2000 BugTracking-PT-q8m128-LTLFireability-02 90821256 m, 209981 m/sec, 106002251 t fired, .
[lola][.]
[lola][.] Time elapsed: 470 secs. Pages in use: 764
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 447/1190 773/2000 BugTracking-PT-q8m128-LTLFireability-02 91869391 m, 209627 m/sec, 107225075 t fired, .
[lola][.]
[lola][.] Time elapsed: 475 secs. Pages in use: 773
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 452/1190 782/2000 BugTracking-PT-q8m128-LTLFireability-02 92919129 m, 209947 m/sec, 108449770 t fired, .
[lola][.]
[lola][.] Time elapsed: 480 secs. Pages in use: 782
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 457/1190 790/2000 BugTracking-PT-q8m128-LTLFireability-02 93904494 m, 197073 m/sec, 109599362 t fired, .
[lola][.]
[lola][.] Time elapsed: 485 secs. Pages in use: 790
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] BugTracking-PT-q8m128-LTLFireability-01: CONJ false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-03: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-04: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-06: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-07: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-08: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-09: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-10: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-11: INITIAL false preprocessing
[lola][.] BugTracking-PT-q8m128-LTLFireability-12: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-13: LTL/CTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-14: LTL false LTL model checker
[lola][.] BugTracking-PT-q8m128-LTLFireability-15: LTL false LTL model checker
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] BugTracking-PT-q8m128-LTLFireability-00: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-02: LTL 0 0 1 0 1 0 0 0
[lola][.] BugTracking-PT-q8m128-LTLFireability-05: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 11 LTL EXCL 462/1190 798/2000 BugTracking-PT-q8m128-LTLFireability-02 94859644 m, 191030 m/sec, 110713704 t fired, .
[lola][.]
[lola][.] Time elapsed: 490 secs. Pages in use: 798
[lola][.] # running tasks: 1 of 4. Visible: 16
/home/mcc/BenchKit/BenchKit_head.sh: line 23: 418 Killed $BK_TOOL --conf=/home/mcc/BenchKit/bin/myconf --formula=$BK_EXAMINATION.xml $LOLA_TIMELIMIT $LOLA_MEMLIMIT model.pnml

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BugTracking-PT-q8m128"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool lola"
echo " Input is BugTracking-PT-q8m128, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r049-tajo-171620400800436"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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