Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
SAT Solving on PRET structured SAT family
Loading...
1
MRPP r-tilde
CaDiCaL
0.0224
0.2762
0.53
0.7838
Sep 29, 2025
MRPP r-tilde
W1%
Updated 1mo 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
probing=disabled, calls=3
2025.09
0.21
1
ImitSAT
num_calls=3
2025.09
0.13
1
ImitSAT
num_calls=5
2025.09
0.1
1
ImitSAT
probing=disabled, calls=5
2025.09
0.06
1
Feedback
Search any
task
Search any
task
