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

[Aina Niemetz]

Tjark,

thanks for spotting this!

For the first two job pairs I'm already on it. The underlying cause is a
job gone haywire (pre-SMT-COMP that caused space running out), which
caused lots of runscript errors (one of the issues I mentioned in my
previous email). And for some reason StarExec doesn't let me rerun these
pairs (I already contacted Aaron about this).

The second job pair is indeed suspicious, good catch! I reported this to
Aaron and hope he'll figure out what is going on here.

Thanks for looking into this!

Aina


On 6/23/19 10:02 AM, Tjark Weber wrote:
> 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
> 

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 488 bytes
Desc: OpenPGP digital signature
URL: </pipermail/smt-comp/attachments/20190623/7e42a9ec/attachment.asc>