SAT Compretition 2021 Results

 https://satcompetition.github.io/2021/results.html

BaseSolverが、Cadicalになって、CadicalのCベースバージョンKissatをベースにしたバージョンが上位を占めています。今年は、Cryptminisatは、参加していないようです。