Fixing verbosity check misses
Better name for the database cleaning method
Partial XorClause support
Be more accepting for long clauses
Fix regression testing
Reset var_inc in case of need
Disable extensive stats by default
Don't give default for 'restart' option

It will overwrite what's in sovlerconf.cpp, and that's bad