Our new X account is live! Follow @wizwand_team for updates
Home
/
Benchmarks
SAT Solving on AIM structured SAT
Loading...
1.03
MRPP r-tilde
ImitSAT
0.9156
0.9453
0.975
1.0047
Sep 29, 2025
MRPP r-tilde
W1 Score
Updated 4d ago
Evaluation Results
Method
Method
Links
MRPP r-tilde
W1 Score
ImitSAT
probing=disabled, calls=5
2025.09
1.03
0.44
CaDiCaL
configuration=baseline
2025.09
1
0
Kissat
probing=disabled, vari...
2025.09
1
0
ImitSAT
num_calls=5
2025.09
0.95
0.56
ImitSAT
probing=disabled, calls=3
2025.09
0.94
0.56
ImitSAT
num_calls=3
2025.09
0.92
0.63
Feedback
Search any
task
Search any
task
