Our new X account is live! Follow @wizwand_team for updates
Home
/
Benchmarks
SAT Solving on AIM
Loading...
1.2
MRPP r˜
GQSAT
0.524
0.6995
0.875
1.0505
Sep 29, 2025
MRPP r˜
W1%
Updated 4d ago
Evaluation Results
Method
Method
Links
MRPP r˜
W1%
GQSAT
Query budget=3 calls
2025.09
1.2
31
GQSAT
Query budget=5 calls
2025.09
1.18
38
GQSAT*
Query budget=3 calls
2025.09
1.15
31
SATformer
2025.09
1.01
44
SATformer*
2025.09
0.95
50
ImitSAT
Query budget=3 calls
2025.09
0.88
63
GQSAT*
Query budget=5 calls
2025.09
0.82
56
ImitSAT
Query budget=5 calls
2025.09
0.81
63
KeyTrace
2025.09
0.55
75
Feedback
Search any
task
Search any
task