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

[Antti Hyvärinen]

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