Report of the first competition for Satisfiability Modulo Theories (SMT-COMP 2005).