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

Alberto Griggio griggio at fbk.eu
Thu Mar 30 03:43:55 EDT 2017


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


More information about the SMT-LIB mailing list