[zero_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.html

[bmc7505]

That’s SATComp, I was talking about the MAXSAT competition.