About the Execution of LoLA for BugTracking-PT-q3m008
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16199.920 | 398140.00 | 1062298.00 | 1492.50 | FFT?FTFTFFFTFF?T | normal |
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-171620400600340.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-q3m008, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r049-tajo-171620400600340
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 11K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 92K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.7K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 75K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Apr 22 14:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 22 14:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 19 07:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 19 17:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.4K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 74K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.1K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 56K 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:23 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-q3m008-LTLFireability-00
FORMULA_NAME BugTracking-PT-q3m008-LTLFireability-01
FORMULA_NAME BugTracking-PT-q3m008-LTLFireability-02
FORMULA_NAME BugTracking-PT-q3m008-LTLFireability-03
FORMULA_NAME BugTracking-PT-q3m008-LTLFireability-04
FORMULA_NAME BugTracking-PT-q3m008-LTLFireability-05
FORMULA_NAME BugTracking-PT-q3m008-LTLFireability-06
FORMULA_NAME BugTracking-PT-q3m008-LTLFireability-07
FORMULA_NAME BugTracking-PT-q3m008-LTLFireability-08
FORMULA_NAME BugTracking-PT-q3m008-LTLFireability-09
FORMULA_NAME BugTracking-PT-q3m008-LTLFireability-10
FORMULA_NAME BugTracking-PT-q3m008-LTLFireability-11
FORMULA_NAME BugTracking-PT-q3m008-LTLFireability-12
FORMULA_NAME BugTracking-PT-q3m008-LTLFireability-13
FORMULA_NAME BugTracking-PT-q3m008-LTLFireability-14
FORMULA_NAME BugTracking-PT-q3m008-LTLFireability-15
=== Now, execution of the tool begins
BK_START 1717021109788
FORMULA BugTracking-PT-q3m008-LTLFireability-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BugTracking-PT-q3m008-LTLFireability-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BugTracking-PT-q3m008-LTLFireability-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BugTracking-PT-q3m008-LTLFireability-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BugTracking-PT-q3m008-LTLFireability-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BugTracking-PT-q3m008-LTLFireability-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BugTracking-PT-q3m008-LTLFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BugTracking-PT-q3m008-LTLFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BugTracking-PT-q3m008-LTLFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BugTracking-PT-q3m008-LTLFireability-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BugTracking-PT-q3m008-LTLFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BugTracking-PT-q3m008-LTLFireability-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BugTracking-PT-q3m008-LTLFireability-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BugTracking-PT-q3m008-LTLFireability-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1717021507928
--------------------
content from stderr:
[[35mlola[0m][I] LoLA will run for 3600 seconds at most ([1m[36m--timelimit[0m)
[[35mlola[0m][W] [1m[33munknown unit in memory specification: using default[0m
[[35mlola[0m][I] MEM LIMIT 5
[[35mlola[0m][I] NET
[[35mlola[0m][I] reading [1m[34mnet[0m from [4m[34mmodel.pnml[0m
[[35mlola[0m][I] input: PNML file ([1m[36m--pnmlnet[0m)
[[35mlola[0m][I] reading pnml
[[35mlola[0m][I] PNML file contains place/transition net
[[35mlola[0m][I] closed [1m[34mnet[0m file [4m[34mmodel.pnml[0m
[[35mlola[0m][I] finished parsing
[[35mlola[0m][I] Reading formula.
[[35mlola[0m][I] Using XML format ([1m[36m--xmlformula[0m)
[[35mlola[0m][I] reading XML formula
[[35mlola[0m][I] reading [1m[34mformula[0m from [4m[34mLTLFireability.xml[0m
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-00: INITIAL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-01: INITIAL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-02: INITIAL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-04: INITIAL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-05: LTL/CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-06: LTL/CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-07: INITIAL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-08: LTL/CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-09: LTL/CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-10: LTL/CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-11: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-12: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-13: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-15: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 6 secs. Pages in use: 0
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-00: INITIAL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-01: INITIAL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-02: INITIAL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-04: INITIAL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-05: LTL/CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-06: LTL/CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-07: INITIAL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-08: LTL/CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-09: LTL/CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-10: LTL/CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-11: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-12: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-13: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-15: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 11 secs. Pages in use: 0
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] Rule S: 24601 transitions removed,514 places removed
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-00: INITIAL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-01: INITIAL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-02: INITIAL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-04: INITIAL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-05: LTL/CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-06: LTL/CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-07: INITIAL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-08: LTL/CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-09: LTL/CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-10: LTL/CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-12: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-13: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-15: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 16 secs. Pages in use: 0
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-00: INITIAL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-01: INITIAL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-02: INITIAL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-04: INITIAL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-05: LTL/CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-06: LTL/CTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-07: INITIAL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-08: LTL/CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-09: LTL/CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-10: LTL/CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-12: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-15: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 21 secs. Pages in use: 0
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] LAUNCH task # 1 (type CNST) for 0 BugTracking-PT-q3m008-LTLFireability-00
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] LAUNCH task # 7 (type CNST) for 6 BugTracking-PT-q3m008-LTLFireability-02
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] LAUNCH task # 13 (type CNST) for 12 BugTracking-PT-q3m008-LTLFireability-04
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] FINISHED task # 7 (type CNST) for BugTracking-PT-q3m008-LTLFireability-02
[[35mlola[0m][I] result : true
[[35mlola[0m][I] LAUNCH task # 4 (type CNST) for 3 BugTracking-PT-q3m008-LTLFireability-01
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] FINISHED task # 13 (type CNST) for BugTracking-PT-q3m008-LTLFireability-04
[[35mlola[0m][I] result : false
[[35mlola[0m][I] LAUNCH task # 22 (type CNST) for 21 BugTracking-PT-q3m008-LTLFireability-07
[[35mlola[0m][I] time limit : 0 sec
[[35mlola[0m][I] memory limit: 0 pages
[[35mlola[0m][I] FINISHED task # 22 (type CNST) for BugTracking-PT-q3m008-LTLFireability-07
[[35mlola[0m][I] result : true
[[35mlola[0m][I] FINISHED task # 1 (type CNST) for BugTracking-PT-q3m008-LTLFireability-00
[[35mlola[0m][I] result : false
[[35mlola[0m][I] FINISHED task # 4 (type CNST) for BugTracking-PT-q3m008-LTLFireability-01
[[35mlola[0m][I] result : false
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-05: LTL/CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-06: LTL/CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-08: LTL/CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-09: LTL/CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-10: LTL/CTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-11: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-12: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-13: LTL 0 0 0 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 0 0 0 0 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-15: LTL 0 0 0 0 0 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 26 secs. Pages in use: 0
[[35mlola[0m][.] # running tasks: 0 of 4. Visible: 16
[[35mlola[0m][I] LAUNCH task # 28 (type EXCL) for 27 BugTracking-PT-q3m008-LTLFireability-09
[[35mlola[0m][I] time limit : 357 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 49 (type FNDP) for 42 BugTracking-PT-q3m008-LTLFireability-14
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 50 (type EQUN) for 42 BugTracking-PT-q3m008-LTLFireability-14
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 28 (type EXCL) for BugTracking-PT-q3m008-LTLFireability-09
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 9
[[35mlola[0m][I] fired transitions : 9
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 46 (type EXCL) for 45 BugTracking-PT-q3m008-LTLFireability-15
[[35mlola[0m][I] time limit : 357 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 46 (type EXCL) for BugTracking-PT-q3m008-LTLFireability-15
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 5
[[35mlola[0m][I] fired transitions : 4
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 40 (type EXCL) for 39 BugTracking-PT-q3m008-LTLFireability-13
[[35mlola[0m][I] time limit : 396 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 40 (type EXCL) for BugTracking-PT-q3m008-LTLFireability-13
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 9
[[35mlola[0m][I] fired transitions : 9
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 37 (type EXCL) for 36 BugTracking-PT-q3m008-LTLFireability-12
[[35mlola[0m][I] time limit : 446 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 37 (type EXCL) for BugTracking-PT-q3m008-LTLFireability-12
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 9
[[35mlola[0m][I] fired transitions : 9
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 34 (type EXCL) for 33 BugTracking-PT-q3m008-LTLFireability-11
[[35mlola[0m][I] time limit : 510 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 34 (type EXCL) for BugTracking-PT-q3m008-LTLFireability-11
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 7
[[35mlola[0m][I] fired transitions : 7
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 31 (type EXCL) for 30 BugTracking-PT-q3m008-LTLFireability-10
[[35mlola[0m][I] time limit : 595 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 31 (type EXCL) for BugTracking-PT-q3m008-LTLFireability-10
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 9
[[35mlola[0m][I] fired transitions : 9
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 25 (type EXCL) for 24 BugTracking-PT-q3m008-LTLFireability-08
[[35mlola[0m][I] time limit : 714 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 25 (type EXCL) for BugTracking-PT-q3m008-LTLFireability-08
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 9
[[35mlola[0m][I] fired transitions : 9
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 19 (type EXCL) for 18 BugTracking-PT-q3m008-LTLFireability-06
[[35mlola[0m][I] time limit : 892 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 19 (type EXCL) for BugTracking-PT-q3m008-LTLFireability-06
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 9
[[35mlola[0m][I] fired transitions : 9
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 16 (type EXCL) for 15 BugTracking-PT-q3m008-LTLFireability-05
[[35mlola[0m][I] time limit : 1190 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 16 (type EXCL) for BugTracking-PT-q3m008-LTLFireability-05
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 3
[[35mlola[0m][I] fired transitions : 2
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 10 (type EXCL) for 9 BugTracking-PT-q3m008-LTLFireability-03
[[35mlola[0m][I] time limit : 1785 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 1/1785 2/2000 BugTracking-PT-q3m008-LTLFireability-03 114977 m, 22995 m/sec, 134335 t fired, .
[[35mlola[0m][.] 49 EF FNDP 1/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 35 attempts, .
[[35mlola[0m][.] 50 EF STEQ 1/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 31 secs. Pages in use: 2
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 6/1785 13/2000 BugTracking-PT-q3m008-LTLFireability-03 1268615 m, 230727 m/sec, 1480248 t fired, .
[[35mlola[0m][.] 49 EF FNDP 6/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 554 attempts, .
[[35mlola[0m][.] 50 EF STEQ 6/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 36 secs. Pages in use: 13
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 11/1785 24/2000 BugTracking-PT-q3m008-LTLFireability-03 2326091 m, 211495 m/sec, 2713970 t fired, .
[[35mlola[0m][.] 49 EF FNDP 11/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 1194 attempts, .
[[35mlola[0m][.] 50 EF STEQ 11/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 41 secs. Pages in use: 24
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 16/1785 35/2000 BugTracking-PT-q3m008-LTLFireability-03 3412442 m, 217270 m/sec, 3981378 t fired, .
[[35mlola[0m][.] 49 EF FNDP 16/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 1861 attempts, .
[[35mlola[0m][.] 50 EF STEQ 16/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 46 secs. Pages in use: 35
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 21/1785 45/2000 BugTracking-PT-q3m008-LTLFireability-03 4485905 m, 214692 m/sec, 5233751 t fired, .
[[35mlola[0m][.] 49 EF FNDP 21/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 2510 attempts, .
[[35mlola[0m][.] 50 EF STEQ 21/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 51 secs. Pages in use: 45
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 26/1785 56/2000 BugTracking-PT-q3m008-LTLFireability-03 5577259 m, 218270 m/sec, 6506999 t fired, .
[[35mlola[0m][.] 49 EF FNDP 26/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 3194 attempts, .
[[35mlola[0m][.] 50 EF STEQ 26/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 56 secs. Pages in use: 56
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 31/1785 67/2000 BugTracking-PT-q3m008-LTLFireability-03 6669929 m, 218534 m/sec, 7781780 t fired, .
[[35mlola[0m][.] 49 EF FNDP 31/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 3839 attempts, .
[[35mlola[0m][.] 50 EF STEQ 31/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 61 secs. Pages in use: 67
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 36/1785 77/2000 BugTracking-PT-q3m008-LTLFireability-03 7676018 m, 201217 m/sec, 8955550 t fired, .
[[35mlola[0m][.] 49 EF FNDP 36/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 4467 attempts, .
[[35mlola[0m][.] 50 EF STEQ 36/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 66 secs. Pages in use: 77
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 41/1785 87/2000 BugTracking-PT-q3m008-LTLFireability-03 8634181 m, 191632 m/sec, 10073407 t fired, .
[[35mlola[0m][.] 49 EF FNDP 41/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 5069 attempts, .
[[35mlola[0m][.] 50 EF STEQ 41/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 71 secs. Pages in use: 87
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 46/1785 98/2000 BugTracking-PT-q3m008-LTLFireability-03 9730242 m, 219212 m/sec, 11352147 t fired, .
[[35mlola[0m][.] 49 EF FNDP 46/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 5718 attempts, .
[[35mlola[0m][.] 50 EF STEQ 46/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 76 secs. Pages in use: 98
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 51/1785 109/2000 BugTracking-PT-q3m008-LTLFireability-03 10830146 m, 219980 m/sec, 12635366 t fired, .
[[35mlola[0m][.] 49 EF FNDP 51/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 6387 attempts, .
[[35mlola[0m][.] 50 EF STEQ 51/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 81 secs. Pages in use: 109
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 56/1785 118/2000 BugTracking-PT-q3m008-LTLFireability-03 11707349 m, 175440 m/sec, 13658769 t fired, .
[[35mlola[0m][.] 49 EF FNDP 56/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 7052 attempts, .
[[35mlola[0m][.] 50 EF STEQ 56/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 86 secs. Pages in use: 118
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 61/1785 129/2000 BugTracking-PT-q3m008-LTLFireability-03 12788285 m, 216187 m/sec, 14919861 t fired, .
[[35mlola[0m][.] 49 EF FNDP 61/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 7722 attempts, .
[[35mlola[0m][.] 50 EF STEQ 61/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 91 secs. Pages in use: 129
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 66/1785 139/2000 BugTracking-PT-q3m008-LTLFireability-03 13836152 m, 209573 m/sec, 16142375 t fired, .
[[35mlola[0m][.] 49 EF FNDP 66/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 8396 attempts, .
[[35mlola[0m][.] 50 EF STEQ 66/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 96 secs. Pages in use: 139
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 71/1785 149/2000 BugTracking-PT-q3m008-LTLFireability-03 14820965 m, 196962 m/sec, 17291321 t fired, .
[[35mlola[0m][.] 49 EF FNDP 71/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 9057 attempts, .
[[35mlola[0m][.] 50 EF STEQ 71/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 101 secs. Pages in use: 149
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 76/1785 160/2000 BugTracking-PT-q3m008-LTLFireability-03 15972647 m, 230336 m/sec, 18634951 t fired, .
[[35mlola[0m][.] 49 EF FNDP 76/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 9715 attempts, .
[[35mlola[0m][.] 50 EF STEQ 76/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 106 secs. Pages in use: 160
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 81/1785 171/2000 BugTracking-PT-q3m008-LTLFireability-03 17064953 m, 218461 m/sec, 19909307 t fired, .
[[35mlola[0m][.] 49 EF FNDP 81/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 10411 attempts, .
[[35mlola[0m][.] 50 EF STEQ 81/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 111 secs. Pages in use: 171
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 86/1785 182/2000 BugTracking-PT-q3m008-LTLFireability-03 18103593 m, 207728 m/sec, 21121056 t fired, .
[[35mlola[0m][.] 49 EF FNDP 86/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 11008 attempts, .
[[35mlola[0m][.] 50 EF STEQ 86/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 116 secs. Pages in use: 182
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 91/1785 192/2000 BugTracking-PT-q3m008-LTLFireability-03 19091820 m, 197645 m/sec, 22273987 t fired, .
[[35mlola[0m][.] 49 EF FNDP 91/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 11605 attempts, .
[[35mlola[0m][.] 50 EF STEQ 91/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 121 secs. Pages in use: 192
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 96/1785 202/2000 BugTracking-PT-q3m008-LTLFireability-03 20088274 m, 199290 m/sec, 23436517 t fired, .
[[35mlola[0m][.] 49 EF FNDP 96/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 12149 attempts, .
[[35mlola[0m][.] 50 EF STEQ 96/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 126 secs. Pages in use: 202
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 101/1785 213/2000 BugTracking-PT-q3m008-LTLFireability-03 21209317 m, 224208 m/sec, 24744400 t fired, .
[[35mlola[0m][.] 49 EF FNDP 101/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 12737 attempts, .
[[35mlola[0m][.] 50 EF STEQ 101/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 131 secs. Pages in use: 213
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 106/1785 224/2000 BugTracking-PT-q3m008-LTLFireability-03 22327352 m, 223607 m/sec, 26048774 t fired, .
[[35mlola[0m][.] 49 EF FNDP 106/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 13326 attempts, .
[[35mlola[0m][.] 50 EF STEQ 106/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 136 secs. Pages in use: 224
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 111/1785 235/2000 BugTracking-PT-q3m008-LTLFireability-03 23389789 m, 212487 m/sec, 27288284 t fired, .
[[35mlola[0m][.] 49 EF FNDP 111/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 13902 attempts, .
[[35mlola[0m][.] 50 EF STEQ 111/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 141 secs. Pages in use: 235
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 116/1785 246/2000 BugTracking-PT-q3m008-LTLFireability-03 24468202 m, 215682 m/sec, 28546433 t fired, .
[[35mlola[0m][.] 49 EF FNDP 116/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 14451 attempts, .
[[35mlola[0m][.] 50 EF STEQ 116/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 146 secs. Pages in use: 246
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 121/1785 257/2000 BugTracking-PT-q3m008-LTLFireability-03 25613903 m, 229140 m/sec, 29883084 t fired, .
[[35mlola[0m][.] 49 EF FNDP 121/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 15028 attempts, .
[[35mlola[0m][.] 50 EF STEQ 121/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 151 secs. Pages in use: 257
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 126/1785 267/2000 BugTracking-PT-q3m008-LTLFireability-03 26644009 m, 206021 m/sec, 31084873 t fired, .
[[35mlola[0m][.] 49 EF FNDP 126/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 15600 attempts, .
[[35mlola[0m][.] 50 EF STEQ 126/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 156 secs. Pages in use: 267
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 131/1785 278/2000 BugTracking-PT-q3m008-LTLFireability-03 27701190 m, 211436 m/sec, 32318252 t fired, .
[[35mlola[0m][.] 49 EF FNDP 131/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 16162 attempts, .
[[35mlola[0m][.] 50 EF STEQ 131/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 161 secs. Pages in use: 278
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 136/1785 289/2000 BugTracking-PT-q3m008-LTLFireability-03 28802567 m, 220275 m/sec, 33603191 t fired, .
[[35mlola[0m][.] 49 EF FNDP 136/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 16738 attempts, .
[[35mlola[0m][.] 50 EF STEQ 136/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 166 secs. Pages in use: 289
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 141/1785 300/2000 BugTracking-PT-q3m008-LTLFireability-03 29947752 m, 229037 m/sec, 34939241 t fired, .
[[35mlola[0m][.] 49 EF FNDP 141/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 17369 attempts, .
[[35mlola[0m][.] 50 EF STEQ 141/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 171 secs. Pages in use: 300
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 146/1785 312/2000 BugTracking-PT-q3m008-LTLFireability-03 31098544 m, 230158 m/sec, 36281830 t fired, .
[[35mlola[0m][.] 49 EF FNDP 146/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 17978 attempts, .
[[35mlola[0m][.] 50 EF STEQ 146/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 176 secs. Pages in use: 312
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 151/1785 323/2000 BugTracking-PT-q3m008-LTLFireability-03 32240221 m, 228335 m/sec, 37613788 t fired, .
[[35mlola[0m][.] 49 EF FNDP 151/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 18623 attempts, .
[[35mlola[0m][.] 50 EF STEQ 151/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 181 secs. Pages in use: 323
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 156/1785 335/2000 BugTracking-PT-q3m008-LTLFireability-03 33386872 m, 229330 m/sec, 38951546 t fired, .
[[35mlola[0m][.] 49 EF FNDP 156/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 19254 attempts, .
[[35mlola[0m][.] 50 EF STEQ 156/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 186 secs. Pages in use: 335
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 161/1785 346/2000 BugTracking-PT-q3m008-LTLFireability-03 34535935 m, 229812 m/sec, 40292121 t fired, .
[[35mlola[0m][.] 49 EF FNDP 161/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 19865 attempts, .
[[35mlola[0m][.] 50 EF STEQ 161/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 191 secs. Pages in use: 346
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 166/1785 358/2000 BugTracking-PT-q3m008-LTLFireability-03 35692541 m, 231321 m/sec, 41641493 t fired, .
[[35mlola[0m][.] 49 EF FNDP 166/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 20474 attempts, .
[[35mlola[0m][.] 50 EF STEQ 166/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 196 secs. Pages in use: 358
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 171/1785 369/2000 BugTracking-PT-q3m008-LTLFireability-03 36844729 m, 230437 m/sec, 42985714 t fired, .
[[35mlola[0m][.] 49 EF FNDP 171/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 21083 attempts, .
[[35mlola[0m][.] 50 EF STEQ 171/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 201 secs. Pages in use: 369
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 176/1785 381/2000 BugTracking-PT-q3m008-LTLFireability-03 37995206 m, 230095 m/sec, 44327936 t fired, .
[[35mlola[0m][.] 49 EF FNDP 176/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 21704 attempts, .
[[35mlola[0m][.] 50 EF STEQ 176/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 206 secs. Pages in use: 381
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 181/1785 393/2000 BugTracking-PT-q3m008-LTLFireability-03 39157638 m, 232486 m/sec, 45684107 t fired, .
[[35mlola[0m][.] 49 EF FNDP 181/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 22304 attempts, .
[[35mlola[0m][.] 50 EF STEQ 181/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 211 secs. Pages in use: 393
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 186/1785 404/2000 BugTracking-PT-q3m008-LTLFireability-03 40309335 m, 230339 m/sec, 47027753 t fired, .
[[35mlola[0m][.] 49 EF FNDP 186/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 22926 attempts, .
[[35mlola[0m][.] 50 EF STEQ 186/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 216 secs. Pages in use: 404
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 191/1785 416/2000 BugTracking-PT-q3m008-LTLFireability-03 41461397 m, 230412 m/sec, 48371825 t fired, .
[[35mlola[0m][.] 49 EF FNDP 191/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 23534 attempts, .
[[35mlola[0m][.] 50 EF STEQ 191/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 221 secs. Pages in use: 416
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 196/1785 427/2000 BugTracking-PT-q3m008-LTLFireability-03 42618143 m, 231349 m/sec, 49721364 t fired, .
[[35mlola[0m][.] 49 EF FNDP 196/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 24148 attempts, .
[[35mlola[0m][.] 50 EF STEQ 196/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 226 secs. Pages in use: 427
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 201/1785 439/2000 BugTracking-PT-q3m008-LTLFireability-03 43770738 m, 230519 m/sec, 51066058 t fired, .
[[35mlola[0m][.] 49 EF FNDP 201/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 24746 attempts, .
[[35mlola[0m][.] 50 EF STEQ 201/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 231 secs. Pages in use: 439
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 206/1785 450/2000 BugTracking-PT-q3m008-LTLFireability-03 44878109 m, 221474 m/sec, 52357991 t fired, .
[[35mlola[0m][.] 49 EF FNDP 206/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 25313 attempts, .
[[35mlola[0m][.] 50 EF STEQ 206/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 236 secs. Pages in use: 450
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 211/1785 460/2000 BugTracking-PT-q3m008-LTLFireability-03 45928019 m, 209982 m/sec, 53582885 t fired, .
[[35mlola[0m][.] 49 EF FNDP 211/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 25866 attempts, .
[[35mlola[0m][.] 50 EF STEQ 211/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 241 secs. Pages in use: 460
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 216/1785 471/2000 BugTracking-PT-q3m008-LTLFireability-03 46991526 m, 212701 m/sec, 54823643 t fired, .
[[35mlola[0m][.] 49 EF FNDP 216/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 26381 attempts, .
[[35mlola[0m][.] 50 EF STEQ 216/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 246 secs. Pages in use: 471
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 221/1785 483/2000 BugTracking-PT-q3m008-LTLFireability-03 48142266 m, 230148 m/sec, 56166174 t fired, .
[[35mlola[0m][.] 49 EF FNDP 221/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 26927 attempts, .
[[35mlola[0m][.] 50 EF STEQ 221/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 251 secs. Pages in use: 483
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 226/1785 494/2000 BugTracking-PT-q3m008-LTLFireability-03 49297356 m, 231018 m/sec, 57513778 t fired, .
[[35mlola[0m][.] 49 EF FNDP 226/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 27462 attempts, .
[[35mlola[0m][.] 50 EF STEQ 226/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 256 secs. Pages in use: 494
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 231/1785 506/2000 BugTracking-PT-q3m008-LTLFireability-03 50449157 m, 230360 m/sec, 58857546 t fired, .
[[35mlola[0m][.] 49 EF FNDP 231/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 28023 attempts, .
[[35mlola[0m][.] 50 EF STEQ 231/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 261 secs. Pages in use: 506
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 236/1785 517/2000 BugTracking-PT-q3m008-LTLFireability-03 51609361 m, 232040 m/sec, 60211117 t fired, .
[[35mlola[0m][.] 49 EF FNDP 236/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 28604 attempts, .
[[35mlola[0m][.] 50 EF STEQ 236/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 266 secs. Pages in use: 517
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 241/1785 529/2000 BugTracking-PT-q3m008-LTLFireability-03 52767209 m, 231569 m/sec, 61561941 t fired, .
[[35mlola[0m][.] 49 EF FNDP 241/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 29187 attempts, .
[[35mlola[0m][.] 50 EF STEQ 241/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 271 secs. Pages in use: 529
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 246/1785 540/2000 BugTracking-PT-q3m008-LTLFireability-03 53924252 m, 231408 m/sec, 62911824 t fired, .
[[35mlola[0m][.] 49 EF FNDP 246/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 29780 attempts, .
[[35mlola[0m][.] 50 EF STEQ 246/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 276 secs. Pages in use: 540
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 251/1785 552/2000 BugTracking-PT-q3m008-LTLFireability-03 55083265 m, 231802 m/sec, 64264006 t fired, .
[[35mlola[0m][.] 49 EF FNDP 251/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 30358 attempts, .
[[35mlola[0m][.] 50 EF STEQ 251/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 281 secs. Pages in use: 552
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 256/1785 564/2000 BugTracking-PT-q3m008-LTLFireability-03 56236320 m, 230611 m/sec, 65609236 t fired, .
[[35mlola[0m][.] 49 EF FNDP 256/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 30934 attempts, .
[[35mlola[0m][.] 50 EF STEQ 256/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 286 secs. Pages in use: 564
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 261/1785 575/2000 BugTracking-PT-q3m008-LTLFireability-03 57376537 m, 228043 m/sec, 66939489 t fired, .
[[35mlola[0m][.] 49 EF FNDP 261/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 31512 attempts, .
[[35mlola[0m][.] 50 EF STEQ 261/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 291 secs. Pages in use: 575
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 266/1785 586/2000 BugTracking-PT-q3m008-LTLFireability-03 58491575 m, 223007 m/sec, 68240367 t fired, .
[[35mlola[0m][.] 49 EF FNDP 266/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 32089 attempts, .
[[35mlola[0m][.] 50 EF STEQ 266/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 296 secs. Pages in use: 586
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 271/1785 598/2000 BugTracking-PT-q3m008-LTLFireability-03 59619512 m, 225587 m/sec, 69556294 t fired, .
[[35mlola[0m][.] 49 EF FNDP 271/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 32666 attempts, .
[[35mlola[0m][.] 50 EF STEQ 271/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 301 secs. Pages in use: 598
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 276/1785 609/2000 BugTracking-PT-q3m008-LTLFireability-03 60754358 m, 226969 m/sec, 70880280 t fired, .
[[35mlola[0m][.] 49 EF FNDP 276/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 33247 attempts, .
[[35mlola[0m][.] 50 EF STEQ 276/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 306 secs. Pages in use: 609
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 281/1785 620/2000 BugTracking-PT-q3m008-LTLFireability-03 61886425 m, 226413 m/sec, 72201025 t fired, .
[[35mlola[0m][.] 49 EF FNDP 281/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 33834 attempts, .
[[35mlola[0m][.] 50 EF STEQ 281/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 311 secs. Pages in use: 620
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 286/1785 632/2000 BugTracking-PT-q3m008-LTLFireability-03 63025479 m, 227810 m/sec, 73529922 t fired, .
[[35mlola[0m][.] 49 EF FNDP 286/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 34399 attempts, .
[[35mlola[0m][.] 50 EF STEQ 286/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 316 secs. Pages in use: 632
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 291/1785 643/2000 BugTracking-PT-q3m008-LTLFireability-03 64165720 m, 228048 m/sec, 74860203 t fired, .
[[35mlola[0m][.] 49 EF FNDP 291/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 34949 attempts, .
[[35mlola[0m][.] 50 EF STEQ 291/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 321 secs. Pages in use: 643
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 2 0 1 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 296/1785 654/2000 BugTracking-PT-q3m008-LTLFireability-03 65309059 m, 228667 m/sec, 76194100 t fired, .
[[35mlola[0m][.] 49 EF FNDP 296/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 35538 attempts, .
[[35mlola[0m][.] 50 EF STEQ 296/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 sara not yet started (preprocessing).
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 326 secs. Pages in use: 654
[[35mlola[0m][.] # running tasks: 3 of 4. Visible: 16
[[35mlola[0m][I] FINISHED task # 50 (type EQUN) for BugTracking-PT-q3m008-LTLFireability-14
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 301/1785 666/2000 BugTracking-PT-q3m008-LTLFireability-03 66454230 m, 229034 m/sec, 77530133 t fired, .
[[35mlola[0m][.] 49 EF FNDP 301/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 36122 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 331 secs. Pages in use: 666
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 306/1785 677/2000 BugTracking-PT-q3m008-LTLFireability-03 67596386 m, 228431 m/sec, 78862646 t fired, .
[[35mlola[0m][.] 49 EF FNDP 306/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 36674 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 336 secs. Pages in use: 677
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 311/1785 689/2000 BugTracking-PT-q3m008-LTLFireability-03 68745728 m, 229868 m/sec, 80203547 t fired, .
[[35mlola[0m][.] 49 EF FNDP 311/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 37290 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 341 secs. Pages in use: 689
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 316/1785 700/2000 BugTracking-PT-q3m008-LTLFireability-03 69898632 m, 230580 m/sec, 81548600 t fired, .
[[35mlola[0m][.] 49 EF FNDP 316/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 37877 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 346 secs. Pages in use: 700
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 321/1785 712/2000 BugTracking-PT-q3m008-LTLFireability-03 71051922 m, 230658 m/sec, 82894106 t fired, .
[[35mlola[0m][.] 49 EF FNDP 321/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 38445 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 351 secs. Pages in use: 712
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 326/1785 724/2000 BugTracking-PT-q3m008-LTLFireability-03 72204678 m, 230551 m/sec, 84238988 t fired, .
[[35mlola[0m][.] 49 EF FNDP 326/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 39023 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 356 secs. Pages in use: 724
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 331/1785 735/2000 BugTracking-PT-q3m008-LTLFireability-03 73355093 m, 230083 m/sec, 85581137 t fired, .
[[35mlola[0m][.] 49 EF FNDP 331/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 39600 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 361 secs. Pages in use: 735
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 336/1785 746/2000 BugTracking-PT-q3m008-LTLFireability-03 74401073 m, 209196 m/sec, 86801447 t fired, .
[[35mlola[0m][.] 49 EF FNDP 336/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 40127 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 366 secs. Pages in use: 746
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 341/1785 756/2000 BugTracking-PT-q3m008-LTLFireability-03 75459573 m, 211700 m/sec, 88036366 t fired, .
[[35mlola[0m][.] 49 EF FNDP 341/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 40654 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 371 secs. Pages in use: 756
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 346/1785 767/2000 BugTracking-PT-q3m008-LTLFireability-03 76568435 m, 221772 m/sec, 89330037 t fired, .
[[35mlola[0m][.] 49 EF FNDP 346/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 41191 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 376 secs. Pages in use: 767
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 351/1785 778/2000 BugTracking-PT-q3m008-LTLFireability-03 77674565 m, 221226 m/sec, 90620522 t fired, .
[[35mlola[0m][.] 49 EF FNDP 351/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 41749 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 381 secs. Pages in use: 778
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 358/1785 789/2000 BugTracking-PT-q3m008-LTLFireability-03 78735411 m, 212169 m/sec, 91858175 t fired, .
[[35mlola[0m][.] 49 EF FNDP 358/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 42306 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 388 secs. Pages in use: 789
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY VALUE PRODUCED BY[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-00: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-01: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-02: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-04: INITIAL false preprocessing[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-05: LTL/CTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-06: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-07: INITIAL true preprocessing[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-08: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-09: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-10: LTL/CTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-11: LTL true LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-12: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[31mBugTracking-PT-q3m008-LTLFireability-13: LTL false LTL model checker[0m
[[35mlola[0m][.] [1m[32mBugTracking-PT-q3m008-LTLFireability-15: LTL true LTL model checker[0m
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS[0m
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-03: LTL 0 0 1 0 1 0 0 0
[[35mlola[0m][.] BugTracking-PT-q3m008-LTLFireability-14: AG 0 1 1 0 2 0 0 0
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS[0m
[[35mlola[0m][.] 10 LTL EXCL 366/1785 790/2000 BugTracking-PT-q3m008-LTLFireability-03 78827683 m, 18454 m/sec, 91965828 t fired, .
[[35mlola[0m][.] 49 EF FNDP 366/3570 0/5 BugTracking-PT-q3m008-LTLFireability-14 42353 attempts, .
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 396 secs. Pages in use: 790
[[35mlola[0m][.] # running tasks: 2 of 4. Visible: 16
/home/mcc/BenchKit/BenchKit_head.sh: line 23: 410 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-q3m008"
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-q3m008, 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-171620400600340"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BugTracking-PT-q3m008.tgz
mv BugTracking-PT-q3m008 execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;