[tgflynn]

> there is no parallel track and parallel solvers are disqualified [1] from participating.

Maybe that's as much a cause as an effect. What's the incentive to create and improve parallel solvers if there's no place that evaluates and rewards your work ?

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