Dear SMT-COMP participants, The results pages are now complete here: http://smtcomp.sourceforge.net/2018/results-toc.shtml As always, these are ‘preliminary’ in the sense that we invite you to check them for possible mistakes/omissions. Best, Giles