SAT Solving on SATLIB BEIJING
14.8Solved Samples (%)Gödel Trick Uniform
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| Gödel Trick UniformLogic Variant=Uniform2025.03 | 14.8 | 15.4 | |
| Gödel Trick LogisticLogic Variant=Logistic2025.03 | 5.9 | 15.4 | |
| Product LogicLogic Variant=Product2025.03 | 0 | 0 | |
| Gödel LogicLogic Variant=Gödel2025.03 | 0 | 0 |