Tool for testing a set of SAT solvers on a set of CNFs