Using vector and string instead of std::vector, std::string
Printing command line parameters
main.h has nothing from MiniSat, so change header
don't exit(-1), exit with assert fail
More precise time counting for blocking tri clauses
More precise couting of time for binary clause blocking
There is a bug in asymmetric tautology elimination

Disable it for the moment