Using "s" as prefix all the time printing solutions
Graph generator didn't work for more than 6000s
Moving stamps to a separate file and class
Some memory usage counting enhancements
Fixing printing of stats lines

The std::left was not undone to std::right
Removing a variable unused when STATS_NEEDED is not turned on
Version number need not be added like this to CMakeLists.txt
Better status message in CMakeLists.txt
Using malloc and realloc in bitarray
Cleaner and more sensible code in vec.h
More sane memory printing and memory usage
Return solver->okay() from Simplifier
More sane memory usage (one-time alloc) in renumberer
Adding perf tools to CMakeLists
Limit memory usage of occurrance list in Simplifier
Don't check correctness of renumberer when in NDEBUG mode
Fixing a number of mem leak problems
Better high-verbosity output
Cleaner code

No need to worry about UNSAT and dangling clause pointers. The memory
will be freed in one go by ClauseAllocator
A better memory allocator that doesn't need 2x memory during consolidation