Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
SAT Solving on SATLIB SW
Loading...
30.2
Sample Solved Rate
Gödel Trick Uniform
-1.208
6.946
15.1
23.254
Mar 3, 2025
Sample Solved Rate
Best Solution Rate
Updated 1mo ago
Evaluation Results
Method
Method
Links
Sample Solved Rate
Best Solution Rate
Gödel Trick Uniform
Logic Variant=Uniform
2025.03
30.2
38
Product Logic
Logic Variant=Product
2025.03
0
0
Gödel Logic
Logic Variant=Gödel
2025.03
0
0
Gödel Trick Logistic
Logic Variant=Logistic
2025.03
0
0
Feedback
Search any
task
Search any
task