[SMT-COMP] SMT-COMP 2019: Competition Jobs

[Tjark Weber]

Aina,

On Fri, 2019-06-21 at 05:48 -0700, Aina Niemetz wrote:
> Please inform us if you notice any irregularities.

First, thank you again for running the competition! I noticed two
issues in the Single Query Track (job 35215):

1. Two job pairs (450148409 and 450151847) have a "pre-processor error"
status.

2. Job pair 450174012 has a CPU time of 18933.9 (which is almost twice
the timeout).

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