[SMT-COMP] StarExec questions

Delcypher delcypher at gmail.com
Mon Jun 12 11:48:10 EDT 2017


Thanks for the information.

On 12 June 2017 at 15:57, Giles Reger <giles.reger at manchester.ac.uk> wrote:
> Hi,
> No preprocessor should be required to check the output of your tool.
> In `SMT-COMP 2016 (273)’ the 273 is just the identifier of the post processor (e.g. it is the 273rd one that was uploaded). This is the post processor that you should use.
> You are correct that the table summarises the results as given by the post processor. However, I don’t always find the numbers in this table that helpful and tend to rely more on the downloaded CSV file (see next). For some post processors “wrong” does not always mean an error.
> In the “actions" tab you can download the results of the post processing as a CSV file by selecting “job information”. Hopefully the fields are self-explanatory.

Under the "result" column does "starexec-unknown" mean the same thing
as the solver responding "unknown"?


More information about the SMT-COMP mailing list