Downloads

• Benchmark Compilation Script
• The file track_main_2026.uri contains the download links for the selected instances. You can download the instances with wget as follows:
  wget --content-disposition -i track_main_2026.uri.
• Main Track Solver Sources (by Submitting Author):
  • anders.tar.xz
  • biere.tar.xz
  • ding.tar.xz
  • faraja.tar.xz
  • gopalan.tar.xz
  • green.tar.xz
  • hangjiang.tar.xz
  • liang.tar.xz
  • oertel.tar.xz
  • reeves.tar.xz
  • yalun.tar.xz
  • zheng.tar.xz
  • zhenwei.tar.xz