Boolean Satisfiability on 3-SAT 9 variables (test)
0.11T p95PySAT (Glucose4)
Evaluation results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| PySAT (Glucose4)Solver=PySAT (Glucose4)2026.06 | 0.11 | 6.71 | 2.31 | 10 | 5 | |
| CP+First+TrueSolver=CP+First+True2026.06 | 0.52 | 7.92 | 3.57 | 14 | 9 | |
| CP+MRV+TrueSolver=CP+MRV+True2026.06 | 0.66 | 7.18 | 2.98 | 12 | 8 | |
| CP+MRV+JWSolver=CP+MRV+JW2026.06 | 0.83 | 5.95 | 1.66 | 11 | 6 | |
| DiBSSolver=DiBS2026.06 | 13.53 | 5.88 | 1.66 | 10 | 6 |