🌳 Performance of SAT Solvers