Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
SAT Solving on PHOLE
Loading...
1.05
MRPP r˜
GQSAT*
0.7588
0.8344
0.91
0.9856
Sep 29, 2025
MRPP r˜
W1%
Updated 1mo ago
Evaluation Results
Method
Method
Links
MRPP r˜
W1%
GQSAT*
Query budget=3 calls
2025.09
1.05
50
GQSAT
Query budget=3 calls
2025.09
1.03
50
SATformer
2025.09
1
0
SATformer*
2025.09
1
0
ImitSAT
Query budget=3 calls
2025.09
1
50
KeyTrace
2025.09
0.97
50
GQSAT
Query budget=5 calls
2025.09
0.82
75
ImitSAT
Query budget=5 calls
2025.09
0.82
75
GQSAT*
Query budget=5 calls
2025.09
0.77
75
Feedback
Search any
task
Search any
task
