See the official SMT-COMP results here!