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

[Tjark Weber]

Alberto,

On Wed, 2017-03-29 at 16:12 +0200, Alberto Griggio wrote:
> I'm getting 404 errors when trying to access the results of the previous
> SMT-COMPs on StarExec. Is this normal? If yes, are the results stored
> somewhere else?

The results were intended to be accessible from StarExec for as long as
reasonably possible.

I can still see some of the jobs (which I created) from my StarExec
account page, but I also cannot find them in sub-spaces of
"SMT/Competitions and Evaluations" anymore. Solvers and benchmarks
likewise seem to have disappeared for me.

A related bug was recently reported on the StarExec forum at
http://starexec.lefora.com/topic/118/cant-see-my-jobssolversbenchmarks-or-subspaces
so perhaps Aaron could (forward this discussion to someone who could)
look into the issue.

Meanwhile, if it's urgent, I could send you a copy of the job CSV files
if you let me know for which year(s) and track(s).

Best,
Tjark