Better time-out for implicit sub&str
Improving cache
Better option description in main.cpp
Fixing analyze() from prober()
Fixing time-out for implicit subsumption&strengthening
Fixing cache freeing
Fixing typos
OTF subsumed new clause cannot be unitary

Otherwise it would be 1-UIP
Print whether there was a time-out, not whether it finished
Better code readability
Oops, giant bug: forgot to close timestamps on timeout