I think you’re trying to solve a NP Complete problem (Boolean Satisfiability) via brute force. It’s expected you will hit this wall. Try to use heuristics/guess work.