ParentFull threadzero_k·No, parallel SAT solvers are NOT disqualified, in fact there is a parallel track. Seriously? Every year there is a winner for the parallel track. Here's last year's:https://satcompetition.github.io/2022/results.htmlView on HN