SAT Solving on argumentation (in-domain)
5,083.01PAR-2 ScoreAutoModSAT
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| AutoModSATParallelization=false, In-domain generalization=true2025.07 | 5,083.01 | 54 | |
| CaDiCaL paraParallelization=true, In-domain generalization=true2025.07 | 5,324.11 | 50 | |
| Kissat paraParallelization=true, In-domain generalization=true2025.07 | 5,488.76 | 48 | |
| CaDiCaLParallelization=false, In-domain generalization=true2025.07 | 5,597.02 | 47 | |
| KissatParallelization=false, In-domain generalization=true2025.07 | 5,755.32 | 45 | |
| ModSAT paraParallelization=true, In-domain generalization=true2025.07 | 6,012.45 | 44 | |
| ModSATParallelization=false, In-domain generalization=true2025.07 | 6,420.14 | 41 | |
| MiniSatParallelization=false, In-domain generalization=true2025.07 | 8,750.66 | 30 |