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

[Aaron Stump]

Hello, all.

We deployed this afternoon and we believe the display bug is fixed. 
Under SMT-COMP 2015, for example, I can see many solvers, benchmarks, 
and jobs in the corresponding subspaces.

https://www.starexec.org/starexec/secure/explore/spaces.jsp?id=67618

So we think this is corrected now.  Please let us know if you still 
observe this problem or any other issues, of course.  Sorry again for 
the bug, and thank you again for using StarExec.

Sincerely,
Aaron



On 03/31/2017 09:14 AM, Tjark Weber wrote:
> 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
>
>