SMT-COMP Test Runs

[Jochen Hoenicke]

Hello,

as Haniel already mentioned the first test runs are available here:

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

Since there were some problems, I plan to run another round of tests
at the end of the week and maybe a third around the middle of the next
week. So if you fixed the problems and want the solver to be tested,
send us your new solver id.

You can, of course, run your own tests. Note that for the incremental
track you need to wrap the trace executor and for the proof track you
need to include the starexec_default_proof script.

There is a known problem with the model validation track and the
experimental FP divisions. We hope to have a new post-processor that
fixes this problem soon.

Regards,
Haniel Barbosa (chair), Universidade Federal de Minas Gerais, Brazil
François Bobot, CEA List, France
Jochen Hoenicke, Albert-Ludwigs-Universität Freiburg, Germany