In some situations preprocessing time exceeds the savings in time realized during search. In this case sbsat offers some ways to change the amount of preprocessing time performed. These include:
An example of item 2 is the following:
$ sbsat example.cnf -max-preproc-time 180
which allows 3 minutes for preprocessing and continues to the search phase after that. This time constraint is checked between preprocessing options, so preprocessing could potentially terminate much later than desired.
Search time can also be controlled on the command line using a similar
switch. For example,
$ sbsat example.cnf -max-branching-time 180
limits search time to 3 minutes.