List your company
ResearchFormerly WizWand

SAT Solving on JNH structured SAT family

1.84MRPP r-tildeGQSAT*
0.11360.56181.011.4582Sep 29, 2025
Updated 8mo ago

Evaluation results

MethodLinks
GQSAT*Query budget=5 calls2025.091.840.31
SATformer*2025.091.750.13
ImitSATnum_calls=52025.091.460.33
GQSAT*Query budget=3 calls2025.091.390.38
SATformer2025.091.360.25
GQSATQuery budget=3 calls2025.091.290.38
ImitSATnum_calls=32025.091.150.33
GQSATQuery budget=5 calls2025.091.110.44
CaDiCaLconfiguration=baseline2025.0910
ImitSATQuery budget=3 calls2025.0910.44
Kissatprobing=disabled, variant=baseline2025.0910
ImitSATprobing=disabled, calls=52025.0910.44
ImitSATprobing=disabled, calls=32025.090.980.5
ImitSATQuery budget=5 calls2025.090.850.5
KeyTrace2025.090.181