[SMT-COMP] SMT-COMP 2018: Unsat-Core Track Test Job

[Matthias Heizmann]

An embedded and charset-unspecified text was scrubbed...
Name: warning1.txt
URL: </pipermail/smt-comp/attachments/20180624/7e64a9bf/attachment-0001.txt>
-------------- next part --------------
Dear participants of the Unsat-Core Track,

I run a test job on a small subset of the benchmarks using a 5 min timeout.

The results are available at StarExec.
https://www.starexec.org/starexec/secure/details/job.jsp?id=29068

Please let me know in case you spot any problems. Note however that I cannot 
offer you to re-upload your solver.

Luckily, no solver produced an erroneous result. 
In order to inspect the results, you can download the "job information". The 
job information is a .csv file whose unsat-core specific column headings are 
explained in the attached pdf.

You can analyze this file using your favorite spreadsheet tool or some shell 
commands. You can e.g. use the attached bash script in order to check that no 
solver produced an erroneous result. 
/filterLinesByColumnContent.sh Job29068_info.csv result-is-erroneous 1

Best,
Matthias
-------------- next part --------------
A non-text attachment was scrubbed...
Name: UnsatCoreTrackJobInformationColumnHeadings.pdf
Type: application/pdf
Size: 28560 bytes
Desc: not available
URL: </pipermail/smt-comp/attachments/20180624/7e64a9bf/attachment-0001.pdf>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part.
URL: </pipermail/smt-comp/attachments/20180624/7e64a9bf/attachment-0001.asc>