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

[Aaron Stump]

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!

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

Thanks,
Aaron

On Thu, Mar 30, 2017 at 2:43 AM, Alberto Griggio <griggio at fbk.eu> wrote:

> Hello Aaron,
>
> > This is why it would be very helpful to have the actual StarExec id of a
> > specific job or solver or something that is supposed to be there but
> > appears to be missing.  Then we can try to understand if it is a StarExec
> > issue or user issue.
>
> Here is one example:
> https://www.starexec.org/starexec/secure/details/job.jsp?id=16025
>
> > Another question: do you have any guess about when these jobs seem to
> have
> > disappeared?  We do keep backups of StarExec, and so could attempt to
> > resurrect deleted primitives (solvers/benchmarks) certainly, if we know
> how
> > far back to look -- and again, what to look for specifically.
>
> Sorry, no idea, I just noticed it yesterday.
>
> Alberto
>