[SMT-COMP] SMT-COMP 2016: Main Track Test Job
Tjark Weber
tjark.weber at it.uu.se
Fri May 27 08:03:30 EDT 2016
Dear SMT-COMP participants,
I have run a small test job on StarExec to exercise all main track
solvers on a small number of benchmarks from each division. The results
are available at
https://www.starexec.org/starexec/secure/details/job.jsp?id=15862
I would suggest that you investigate results flagged as wrong. The
competition will use a more liberal post-processor that attempts to
ignore malformed output, but you might still want to ensure that your
solver is compliant with SMT-LIB (or notify us if there are ill-formed
benchmarks).
Please let me know if your solver was tested in divisions where it
should not be competing, and vice versa.
If your main track solver was not tested, then it was not visible to me
on StarExec. If you have updated your solver since its first
submission, please let me know the new solver ID before the final
solver deadline, and remember to make your solver visible.
Best,
Tjark
More information about the SMT-COMP
mailing list