SAT Solving on hamiltonian (in-domain)
118.39PAR-2 ScoreAutoModSAT
Evaluation results
| Method | Links | ||
|---|---|---|---|
| AutoModSATParallelization=false, In-domain generalization=true2025.07 | 118.39 | 100 | |
| CaDiCaL paraParallelization=true, In-domain generalization=true2025.07 | 245.67 | 98 | |
| Kissat paraParallelization=true, In-domain generalization=true2025.07 | 410.55 | 97 | |
| CaDiCaLParallelization=false, In-domain generalization=true2025.07 | 560.34 | 96 | |
| KissatParallelization=false, In-domain generalization=true2025.07 | 640.2 | 95 | |
| ModSAT paraParallelization=true, In-domain generalization=true2025.07 | 690.73 | 94 | |
| ModSATParallelization=false, In-domain generalization=true2025.07 | 820.15 | 92 | |
| MiniSatParallelization=false, In-domain generalization=true2025.07 | 980.44 | 90 |