Boolean Satisfiability on 3-SAT 9 variables (test)
0.11T p95
PySAT (Glucose4)
Updated 1mo ago
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
2026.06 | 0.11 | 6.71 | 2.31 | 10 | 5 | |
2026.06 | 0.52 | 7.92 | 3.57 | 14 | 9 | |
2026.06 | 0.66 | 7.18 | 2.98 | 12 | 8 | |
2026.06 | 0.83 | 5.95 | 1.66 | 11 | 6 | |
2026.06 | 13.53 | 5.88 | 1.66 | 10 | 6 |