This year, the three judges decided, from an anonymized version of the rankings presented before which solvers should enter the second stage of the competition.
| solver | #series | #benchs | solver | #series | #benchs |
| INDUSTRIAL | |||||
| Complete solvers on all benchs | All solvers on SAT benchs | ||||
| forklift | 34 | 143 | forklift | 9 | 33 |
| berkmin561 | 32 | 136 | berkmin62 | 8 | 32 |
| satzoo1 | 31 | 124 | zchaff | 8 | 31 |
| oepir | 30 | 126 | oepir | 8 | 31 |
| funex | 29 | 127 | jerusat1b | 8 | 31 |
| satnik | 29 | 116 | funex | 8 | 31 |
| jquest2 | 29 | 116 | satnik | 8 | 30 |
| zchaff | 29 | 115 | limmat | 8 | 30 |
| jerusat1b | 28 | 120 | satzoo1 | 7 | 30 |
| limmat | 28 | 114 | jquest2 | 7 | 29 |
| HANDMADE | |||||
| Complete solvers on all benchs | All solvers on SAT benchs | ||||
| jerusat1b | 22 | 81 | satzoo1 | 11 | 37 |
| satzoo1 | 21 | 102 | jerusat1b | 11 | 35 |
| satzilla | 21 | 89 | satzilla | 11 | 25 |
| satnik | 20 | 88 | forklift | 10 | 30 |
| marchsp | 19 | 84 | oepir | 9 | 31 |
| lsat | 15 | 128 | satnik | 9 | 30 |
| berkmin561 | 9 | 30 | |||
| saturn | 7 | 29 | |||
| RANDOM | |||||
| Complete solvers on all benchs | All solvers on SAT benchs | ||||
| kcnfs | 25 | 163 | kcnfs | 18 | 112 |
| satzilla | 19 | 121 | unitwalk | 15 | 139 |
| marchsp | 18 | 131 | saturn | 14 | 127 |
| oksolver | 16 | 96 | satzilla | 14 | 89 |
| satnik | 13 | 64 | marchsp | 13 | 100 |