Downloads

• SAT Competition 2025 Benchmarks
  Instructions:
  • Download the file track_main_2025.uri
  • Use wget --content-disposition -i track_main_2025.uri to fetch the instances
• Main Track Solvers
  • AE_kissat2025_bump.tar.xz
  • AE_kissat2025_MAB.tar.xz
  • AE_kissat2025_rescale.tar.xz
  • cadical-sc2025.tar.xz
  • Dynamiccadical.tar.xz
  • hCaD-psbva.tar.xz
  • hCaD-sbva.tar.xz
  • hKis2-psids.tar.xz
  • hKis-sbva.tar.xz
  • Kissat_CoRephase_CoReward.tar.xz
  • Kissat-CURE.tar.xz
  • Kissat_MAB_CoRephase.tar.xz
  • kissat-pred-aggressive.tar.xz
  • kissat-pred.tar.xz
  • kissat-public.tar.xz
  • kissat-sc2025.tar.xz
  • kissat_scavel2025.tar.xz
  • kissat_scavel_rs.tar.xz
  • satsuma-kissat-sc.tar.xz
  • ulc-cadical-cadical-alignable-independent-ulc.tar.xz
  • ulc-cadical-cadical-alignable-ulc-order.tar.xz
  • ulc-cadical-cadical-alignable-ulc.tar.xz
  • ulc-cadical-cadical-xlc.tar.xz
  • vsa.tar.xz