Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Boolean Satisfiability on SAT 10 to 20 variables (test)
Loading...
96.4
Overall Accuracy
UCK+DSP
93.696
94.398
95.1
95.802
Feb 19, 2026
Overall Accuracy
Positive Accuracy
Negative Accuracy
Balance Score
Updated 3mo ago
Evaluation Results
Method
Method
Links
Overall Accuracy
Positive Accuracy
Negative Accuracy
Balance Score
UCK+DSP
2026.02
96.4
99.6
93.2
0.936
GIN
2026.02
93.8
93.7
93.9
0.999
Feedback
Search any
task
Search any
task
