SAT Solving on social-golfer (in-domain)
4,067.68PAR-2 ScoreAutoModSAT
Evaluation results
| Method | Links | ||
|---|---|---|---|
| AutoModSATParallelization=false, In-domain generalization=true2025.07 | 4,067.68 | 14 | |
| CaDiCaL paraParallelization=true, In-domain generalization=true2025.07 | 4,154.32 | 13 | |
| CaDiCaLParallelization=false, In-domain generalization=true2025.07 | 4,269.09 | 13 | |
| Kissat paraParallelization=true, In-domain generalization=true2025.07 | 4,288.9 | 13 | |
| KissatParallelization=false, In-domain generalization=true2025.07 | 4,321.08 | 13 | |
| ModSAT paraParallelization=true, In-domain generalization=true2025.07 | 4,552.61 | 12 | |
| ModSATParallelization=false, In-domain generalization=true2025.07 | 4,805.77 | 11 | |
| MiniSatParallelization=false, In-domain generalization=true2025.07 | 5,100.23 | 10 |