[SMT-COMP] StarExec questions

Tjark Weber tjark.weber at it.uu.se
Mon Jun 12 11:55:04 EDT 2017


On Mon, 2017-06-12 at 16:48 +0100, Delcypher wrote:
> Under the "result" column does "starexec-unknown" mean the same thing
> as the solver responding "unknown"?

Not quite. It depends on the post-processor; if you are using the
"SMT-COMP 2016" post-processor, the result will be starexec-unknown
*unless* the solver output contains either sat or unsat (and not both).
For instance, it could also mean that the solver generated no output at


More information about the SMT-COMP mailing list