Comparison of modern and competitive SAT solvers