ResearchBenchmarksSAT Solving on AIM structured SATFollow1.03MRPP r-tildeImitSAT0.91560.94530.9751.0047Sep 29, 2025Evaluation ResultsMethodMethodLinksMRPP r-tildeW1 ScoreImitSATprobing=disabled, calls=5probing=disabled, calls=52025.091.030.44CaDiCaLconfiguration=baselineconfiguration=baseline2025.0910Kissatprobing=disabled, vari...probing=disabled, variant=baseline2025.0910ImitSATnum_calls=5num_calls=52025.090.950.56ImitSATprobing=disabled, calls=3probing=disabled, calls=32025.090.940.56ImitSATnum_calls=3num_calls=32025.090.920.63