[SMT-COMP] Results of test jobs for the Single Query track

[Tjark Weber]

On Thu, 2019-05-30 at 07:24 +0000, Giles Reger wrote:
> An extra job running with a strict post-processor has started running here
> https://www.starexec.org/starexec/secure/details/job.jsp?id=34910

I noticed that a (relatively small) number of benchmarks have an
expected result of "-" or "" in the job information
(Job34910_info.csv).

I am pointing this out mainly because some of the scripts for
post-/result processing might get confused by it. In previous years,
the expected result for each non-incremental benchmark on StarExec was
either sat, unsat or starexec-unknown.

Best,
Tjark









När du har kontakt med oss på Uppsala universitet med e-post så innebär det att vi behandlar dina personuppgifter. För att läsa mer om hur vi gör det kan du läsa här: http://www.uu.se/om-uu/dataskydd-personuppgifter/

E-mailing Uppsala University means that we will process your personal data. For more information on how this is performed, please read here: http://www.uu.se/en/about-uu/data-protection-policy