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

[Alberto Griggio]

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