[SMT-LIB] Application track - SMT-COMP 2014

[David Cok]

SMT-COMP 2014 participants, particularly application track, and 
interested onlookers:

With apologies for the delay, the SMT-COMP 2014 organizers finally had 
time to evaluate the results of the application track of 2014. The 
results are part of a paper submitted to JSAT - the report on SMT-COMP 2014.

I have attached an extract of the submission (with a slight edit) 
showing the results of the application track - congratulations to Yices2 
for (nearly) sweeping this part of the competition. Consider this a 
preliminary preprint. Edits and clarifications may alter this as a 
result of the review process.

- David Cok
-------------- next part --------------
A non-text attachment was scrubbed...
Name: ApplicationTrack.pdf
Type: application/unknown
Size: 81618 bytes
Desc: not available
URL: </pipermail/smt-lib/attachments/20141211/eeecd65d/attachment-0001.bin>