Our new X account is live! Follow @wizwand_team for updates
Home
/
Benchmarks
SAT Solving on PHOLE structured SAT family
Loading...
1
MRPP r-tilde
CaDiCaL
0.948
0.9615
0.975
0.9885
Sep 29, 2025
MRPP r-tilde
W1%
Updated 4d ago
Evaluation Results
Method
Method
Links
MRPP r-tilde
W1%
CaDiCaL
configuration=baseline
2025.09
1
0
Kissat
probing=disabled, vari...
2025.09
1
0
ImitSAT
num_calls=5
2025.09
0.99
0.67
ImitSAT
num_calls=3
2025.09
0.96
0.67
ImitSAT
probing=disabled, calls=5
2025.09
0.96
0.75
ImitSAT
probing=disabled, calls=3
2025.09
0.95
0.75
Feedback
Search any
task
Search any
task
