SAT Solving on KnightTour (in-domain)
7,864.93PAR-2 ScoreAutoModSAT
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| AutoModSATParallelization=false, In-domain generalization=true2025.07 | 7,864.93 | 13 | |
| ModSAT paraParallelization=true, In-domain generalization=true2025.07 | 8,127.46 | 11 | |
| CaDiCaL paraParallelization=true, In-domain generalization=true2025.07 | 8,310.58 | 10 | |
| CaDiCaLParallelization=false, In-domain generalization=true2025.07 | 8,386.27 | 9 | |
| Kissat paraParallelization=true, In-domain generalization=true2025.07 | 8,599.41 | 8 | |
| KissatParallelization=false, In-domain generalization=true2025.07 | 8,771.08 | 7 | |
| ModSATParallelization=false, In-domain generalization=true2025.07 | 8,794.12 | 7 | |
| MiniSatParallelization=false, In-domain generalization=true2025.07 | 9,198.35 | 5 |