Boolean Satisfiability on 3-SAT 5 variables (test)
0.06Time p95PySAT (Glucose4)
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| PySAT (Glucose4)Solver=PySAT (Glucose4)2026.06 | 0.06 | 5.11 | 1.56 | 6 | 3 | |
| CP+First+TrueSolver=CP+First+True2026.06 | 0.2 | 5.14 | 2.07 | 7 | 4 | |
| CP+MRV+TrueSolver=CP+MRV+True2026.06 | 0.26 | 5.04 | 1.97 | 7 | 4 | |
| CP+MRV+JWSolver=CP+MRV+JW2026.06 | 0.33 | 3.52 | 0.45 | 6 | 3 | |
| DiBSSolver=DiBS2026.06 | 5.61 | 3.81 | 0.73 | 6 | 3 |