Our new X account is live! Follow @wizwand_team for updates
Home
/
Benchmarks
SAT Solving on PRET
Loading...
1
MRPP r~
SATformer
0.3968
0.5534
0.71
0.8666
Sep 29, 2025
MRPP r~
W1%
Updated 4d ago
Evaluation Results
Method
Method
Links
MRPP r~
W1%
SATformer
2025.09
1
0
GQSAT*
Query budget=3 calls
2025.09
1
25
SATformer*
2025.09
1
0
GQSAT
Query budget=5 calls
2025.09
0.92
50
GQSAT
Query budget=3 calls
2025.09
0.88
50
KeyTrace
2025.09
0.56
100
GQSAT*
Query budget=5 calls
2025.09
0.54
75
ImitSAT
Query budget=3 calls
2025.09
0.42
100
ImitSAT
Query budget=5 calls
2025.09
0.42
100
Feedback
Search any
task
Search any
task
