SAT Solving on MineSweeper (in-domain)
7.51PAR-2AutoModSAT
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| AutoModSATParallelization=false, In-domain generalization=true2025.07 | 7.51 | 88 | |
| ModSAT paraParallelization=true, In-domain generalization=true2025.07 | 8.07 | 88 | |
| ModSATParallelization=false, In-domain generalization=true2025.07 | 9.31 | 88 | |
| MiniSatParallelization=false, In-domain generalization=true2025.07 | 10.42 | 88 | |
| CaDiCaL paraParallelization=true, In-domain generalization=true2025.07 | 44.02 | 88 | |
| Kissat paraParallelization=true, In-domain generalization=true2025.07 | 49.28 | 88 | |
| CaDiCaLParallelization=false, In-domain generalization=true2025.07 | 56.14 | 88 | |
| KissatParallelization=false, In-domain generalization=true2025.07 | 148.76 | 88 |