The 303 difficult instances by Moshe Rubin in compact Prolog format.
dzn files for sb.mzn
03 difficult instances and an explanation of the file format (pdf) kindly donated by Moshe Rubin (email@example.com). Moshe’s Fathom It! (http://www.mountainvistasoft.com/) rule-based solver cannot currently solve these instances.