| Rank | Solver | Score |
| 1 | CVC4 | 211.99 |
| - | z3-4.7.1n | 186.19 |
| 2 | Yices 2.6.0 | 115.26 |
| 3 | SMTInterpol | 65.32 |
| 4 | veriT | 62.75 |
| - | MathSATn | 59.41 |
| 5 | Vampire 4.3 | 41.34 |
| 6 | Boolector | 34.37 |
| 7 | SPASS-SATT | 14.81 |
| 8 | Alt-Ergo | 13.78 |
| 9 | Ctrl-Ergo | 12.82 |
| 10 | SMTRAT-MCSAT | 9.74 |
| 11 | Minkeyrink-ST | 8.49 |
| 12 | STP-CMS-st-2018 | 8.17 |
| 13 | veriT+raSAT+Reduce | 7.83 |
| 14 | Minkeyrink-MT | 7.70 |
| 15 | STP-Riss-st-2018 | 7.63 |
| 16 | STP-CMS-mt-2018 | 7.54 |
| 17 | AProVE | 1.07 |
| 18 | COLIBRI | -21.71 |
| 19 | opensmt2 | -25.83 |
| 20 | CVC4-experimental-idl-2 | -30.77 |
| 21 | Q3B | -34.63 |
| 22 | SMTRAT-Rat | -97.36 |
|
| Rank | Solver | Score |
| 1 | CVC4 | 211.99 |
| - | z3-4.7.1n | 186.19 |
| 2 | Yices 2.6.0 | 115.26 |
| 3 | SMTInterpol | 65.38 |
| 4 | veriT | 62.75 |
| - | MathSATn | 59.41 |
| 5 | Vampire 4.3 | 47.88 |
| 6 | Boolector | 34.44 |
| 7 | SPASS-SATT | 14.81 |
| 8 | Alt-Ergo | 13.88 |
| 9 | Ctrl-Ergo | 13.32 |
| 10 | SMTRAT-MCSAT | 9.74 |
| 11 | Minkeyrink-MT | 8.76 |
| 12 | Minkeyrink-ST | 8.49 |
| 13 | STP-CMS-mt-2018 | 8.46 |
| 14 | STP-CMS-st-2018 | 8.17 |
| 15 | veriT+raSAT+Reduce | 7.83 |
| 16 | STP-Riss-st-2018 | 7.63 |
| 17 | AProVE | 1.07 |
| 18 | COLIBRI | -21.71 |
| 19 | opensmt2 | -25.83 |
| 20 | CVC4-experimental-idl-2 | -30.77 |
| 21 | Q3B | -34.63 |
| 22 | SMTRAT-Rat | -97.36 |
|