By default, sbsat searches using the backtracking SMURF solver. But this can be changed using command line switches. The table below summarizes the switches and results.
| Search | Default | Switch | Description |
| SMURF | yes | -b | Backtrack w/ learning |
| BDD WalkSAT | no | -w | Local search |
| WVF (experts) | no | -m | For debugging and research |
| Simple (experts) | no | -t | For debugging and research |
| No solver | no | -n | Exit sbsat after preprocessing |