[SMT-COMP] SMT-COMP 2015: All Jobs Complete

[Tjark Weber]

Matthias,

On Wed, 2015-06-24 at 16:30 +0200, Matthias Heizmann wrote:
> is there also a website for the application track?

Not yet, I am afraid. (The full application track data is of course
available on StarExec.)

> The missing application track results on the website leave the impression that 
> we consider the application track as a "second class track".
> However, since I am developing a tool that intensively communicates with SMT 
> solvers, the application track results are the most interesting results for 
> me.

I agree that result pages for the application track would be desirable.
The reasons why they don't exist yet are mainly historical; also, we
are still investigating irregularities in some of the (preliminary)
competition results just now. We are certainly not trying to devalue
either track.

Best,
Tjark