[SMT-COMP] Results of test jobs for the Unsat Core track

[Antti Hyvärinen]

Dear SMT-COMP participants,

I did some fixes to the process on my side and published the new Unsat
Core track test results here:

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

Please let me know if there are (unexpected) problems.

Cheers,
Antti


On Thu, May 30, 2019 at 8:54 AM Antti Hyvärinen
<antti.hyvarinen at gmail.com> wrote:
>
> Dear SMT-COMP participants,
>
> We have now run small test jobs on StarExec to exercise all Unsat Core
> track solvers on a small number of benchmarks from each division, in
> addition to the incremental and model validation track results Aina
> reported a little while ago. I also suggest to investigate results
> flagged as wrong.
>
> The results for the Unsat Core track are available at
>
> https://www.starexec.org/starexec/secure/explore/spaces.jsp?id=353349
>
> Aslo here, please let us know if your solver was tested in divisions
> where it should not be competing, and vice versa.
>
> Cheers,
> Antti