ResearchBenchmarksSAT Solving on PHOLE structured SAT familySAT Solving on PHOLE structured SAT familyFollow1MRPP r-tildeCaDiCaL0.9480.96150.9750.9885Sep 29, 2025Evaluation resultsMethodMethodLinksMRPP r-tildeW1%CaDiCaLconfiguration=baselineconfiguration=baseline2025.0910Kissatprobing=disabled, vari...probing=disabled, variant=baseline2025.0910ImitSATnum_calls=5num_calls=52025.090.990.67ImitSATnum_calls=3num_calls=32025.090.960.67ImitSATprobing=disabled, calls=5probing=disabled, calls=52025.090.960.75ImitSATprobing=disabled, calls=3probing=disabled, calls=32025.090.950.75