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

[Tjark Weber]

Aaron,

On Fri, 2017-03-31 at 07:50 -0500, Aaron Stump wrote:

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

There should be numerous solvers in the "Solvers - *" subspaces of
SMT/Competitions and Evaluations/SMT-COMP 2016. See the column "Final
version solver id" at
http://smtcomp.sourceforge.net/2016/participants.shtml for some ids.

At the moment, it appears that I see 0 jobs/solvers/benchmarks/users/
subspaces in any space.

Best,
Tjark