Boolean Satisfiability on 3-SAT 7 variables (test)
0.07Time p95 (s)
PySAT (Glucose4)
Updated 1mo ago
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
2026.06 | 0.07 | 5.96 | 1.98 | 8 | 4 | |
2026.06 | 0.3 | 6.23 | 2.58 | 10 | 6 | |
2026.06 | 0.4 | 5.96 | 2.41 | 10 | 6 | |
2026.06 | 0.51 | 4.69 | 1.12 | 8 | 5 | |
2026.06 | 8.5 | 4.65 | 1.19 | 8 | 5 |