Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
SAT Solving on SATLIB UF
Loading...
74.5
Solved Rate
Gödel Trick Uniform
-2.044
17.828
37.7
57.572
Mar 3, 2025
Solved Rate
Best Solution Rate
Updated 1mo ago
Evaluation Results
Method
Method
Links
Solved Rate
Best Solution Rate
Gödel Trick Uniform
Logic Variant=Uniform
2025.03
74.5
99.4
Gödel Trick Logistic
Logic Variant=Logistic
2025.03
25
57.5
Product Logic
Logic Variant=Product
2025.03
2.9
6.6
Gödel Logic
Logic Variant=Gödel
2025.03
0.9
11.5
Feedback
Search any
task
Search any
task