Boolean Satisfiability on 3-SAT 7 variables (test)
0.07Time p95 (s)PySAT (Glucose4)
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| PySAT (Glucose4)Solver=PySAT (Glucose4)2026.06 | 0.07 | 5.96 | 1.98 | 8 | 4 | |
| CP+First+TrueSolver=CP+First+True2026.06 | 0.3 | 6.23 | 2.58 | 10 | 6 | |
| CP+MRV+TrueSolver=CP+MRV+True2026.06 | 0.4 | 5.96 | 2.41 | 10 | 6 | |
| CP+MRV+JWSolver=CP+MRV+JW2026.06 | 0.51 | 4.69 | 1.12 | 8 | 5 | |
| DiBSSolver=DiBS2026.06 | 8.5 | 4.65 | 1.19 | 8 | 5 |