[SMT-LIB] Past SMT-COMP results on starexec

[Alberto Griggio]

Hello Aaron,

> Good news, all.  It looks like yes, there is a display bug (different from
> the one on the forum) that is causing these jobs not to be displayed,
> though they are still present on disk and in the database.  So they should
> reappear once we redeploy (might be Monday).  Very sorry for the
> scare!

Great, thanks!

> Just for us to confirm, can you send an id for a solver or benchmark that
> has gone missing, too?

I've only seen missing jobs, solvers and benchmarks seem to be there (or
maybe I just didn't try hard enough...).

Alberto