See the official SMT-COMP results
here
!