Boolean Satisfiability on 3-SAT 5 variables (test)
0.06Time p95
PySAT (Glucose4)
Updated 1mo ago
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
2026.06 | 0.06 | 5.11 | 1.56 | 6 | 3 | |
2026.06 | 0.2 | 5.14 | 2.07 | 7 | 4 | |
2026.06 | 0.26 | 5.04 | 1.97 | 7 | 4 | |
2026.06 | 0.33 | 3.52 | 0.45 | 6 | 3 | |
2026.06 | 5.61 | 3.81 | 0.73 | 6 | 3 |