ResearchBenchmarksSAT Solving on PRET structured SAT familySAT Solving on PRET structured SAT familyFollow1MRPP r-tildeCaDiCaL0.02240.27620.530.7838Sep 29, 2025Evaluation resultsMethodMethodLinksMRPP r-tildeW1%CaDiCaLconfiguration=baselineconfiguration=baseline2025.0910Kissatprobing=disabled, vari...probing=disabled, variant=baseline2025.0910ImitSATprobing=disabled, calls=3probing=disabled, calls=32025.090.211ImitSATnum_calls=3num_calls=32025.090.131ImitSATnum_calls=5num_calls=52025.090.11ImitSATprobing=disabled, calls=5probing=disabled, calls=52025.090.061