List your company
ResearchFormerly WizWand

SAT Solving on PARITY structured SAT family

1MRPP r-tildeCaDiCaL
0.07440.31470.5550.7953Sep 29, 2025
Updated 8mo ago

Evaluation results

MethodLinks
CaDiCaLconfiguration=baseline2025.0910
Kissatprobing=disabled, variant=baseline2025.0910
ImitSATprobing=disabled, calls=32025.090.90.8
ImitSATnum_calls=32025.090.840.8
GQSATQuery budget=3 calls2025.090.8280
ImitSATprobing=disabled, calls=52025.090.810.8
SATformer2025.090.7360
SATformer*2025.090.7360
ImitSATnum_calls=52025.090.660.8
GQSAT*Query budget=3 calls2025.090.6660
GQSATQuery budget=5 calls2025.090.5680
GQSAT*Query budget=5 calls2025.090.5180
ImitSATQuery budget=3 calls2025.090.380
ImitSATQuery budget=5 calls2025.090.380
KeyTrace2025.090.11100