FACT- and SAT-solvers on different types of semiprimes