Question: does "sat" function cause the solution width to go higher than 16?

[Elmohound]

For example, will it ever go to 32 or 64 if necessary?

[Jeff Daily]

Great question. I just looked at the code in satcheck.c and it will attempt at most the 32-bit version.

There is a memory consideration if you're using creating query profiles first and reusing them. If you have lots of queries, the profile creation functions for the "sat" routines will create profiles for 8-, 16-, and 32- bit. It's worth knowing about the extra memory you're using.