Hi all, I have generated some sudoku based instances. Would those be interesting for SMTCOMP? Want me to send them in? Cheers, -- Paulo Jorge Matos - pocm at sat inesc-id pt Web: http://sat.inesc-id.pt/~pocm Computer and Software Engineering INESC-ID - SAT Group