CDCL SAT Solvers on the Tech Tree