XCSP 2.1 Benchmarks

---

wordsVg

Lecoutre's category
REAL (Real-World Instances) - Crossword
Lecoutre's tooltips
Given a grid and a dictionary, the problem is to fulfill the grid with the words contained in the dictionary. Here, three series of grids (Herald, puzzle, Vg) and four dictionaries (lex, ogd, uk, words) have been used. Herald refers to crossword puzzles taken from the Herald Tribune (Spring, 1999), Puzzle refers to crossword puzzles mentioned in [Ginsberg, Dynamic Backtracking, JAIR, 93] and [Ginsberg et al., Search Lessons Learned from Crossword Puzzles, AAAI-90] and Vg refers to blank grids. Lex is a dictionary used in [Samaras-Stergiou, Binary encodings of non binary satisfaction problems: algorithms and experimental results, JAIR, 2005], Uk corresponds to the UK cryptic solvers dictionary, words corresponds to the dictionary found in /usr/dict/words under Linux and Ogd corresponds to a french dictionary. Lex and words are small dictionaries whereas Uk and Ogd are large ones. The model used to represent the instances is the one identified by m1 in [Beacham-Chen-Silito-vanBeek, Constraint Programming lessons learned from crossword puzzles, 2001]. However, for the Vg grids, all instances only involve constraints in extension as for these grids, putting two times the same word has been authorized. Thank you to Hadrien Cambazard, Kostas Stergiou and Julian Ullmann for their help.
Source
http://www.cril.univ-artois.fr/~lecoutre/research/benchmarks/wordsVg.tgz
Comments
None

Number of instances: 65 (65 processed, 0 partially processed, 0 failed)

Processing completed
crossword-m1c-words-vg10-10_ext
crossword-m1c-words-vg10-11_ext
crossword-m1c-words-vg10-12_ext
crossword-m1c-words-vg10-13_ext
crossword-m1c-words-vg10-14_ext
crossword-m1c-words-vg11-11_ext
crossword-m1c-words-vg11-12_ext
crossword-m1c-words-vg11-13_ext
crossword-m1c-words-vg11-14_ext
crossword-m1c-words-vg11-15_ext
crossword-m1c-words-vg12-12_ext
crossword-m1c-words-vg12-13_ext
crossword-m1c-words-vg12-14_ext
crossword-m1c-words-vg12-15_ext
crossword-m1c-words-vg12-16_ext
crossword-m1c-words-vg13-13_ext
crossword-m1c-words-vg13-14_ext
crossword-m1c-words-vg13-15_ext
crossword-m1c-words-vg13-16_ext
crossword-m1c-words-vg13-17_ext
crossword-m1c-words-vg14-14_ext
crossword-m1c-words-vg14-15_ext
crossword-m1c-words-vg14-16_ext
crossword-m1c-words-vg14-17_ext
crossword-m1c-words-vg14-18_ext
crossword-m1c-words-vg15-15_ext
crossword-m1c-words-vg15-16_ext
crossword-m1c-words-vg15-17_ext
crossword-m1c-words-vg15-18_ext
crossword-m1c-words-vg15-19_ext
crossword-m1c-words-vg16-16_ext
crossword-m1c-words-vg16-17_ext
crossword-m1c-words-vg16-18_ext
crossword-m1c-words-vg16-19_ext
crossword-m1c-words-vg16-20_ext
crossword-m1c-words-vg4-4_ext
crossword-m1c-words-vg4-5_ext
crossword-m1c-words-vg4-6_ext
crossword-m1c-words-vg4-7_ext
crossword-m1c-words-vg4-8_ext
crossword-m1c-words-vg5-5_ext
crossword-m1c-words-vg5-6_ext
crossword-m1c-words-vg5-7_ext
crossword-m1c-words-vg5-8_ext
crossword-m1c-words-vg5-9_ext
crossword-m1c-words-vg6-10_ext
crossword-m1c-words-vg6-6_ext
crossword-m1c-words-vg6-7_ext
crossword-m1c-words-vg6-8_ext
crossword-m1c-words-vg6-9_ext
crossword-m1c-words-vg7-10_ext
crossword-m1c-words-vg7-11_ext
crossword-m1c-words-vg7-7_ext
crossword-m1c-words-vg7-8_ext
crossword-m1c-words-vg7-9_ext
crossword-m1c-words-vg8-10_ext
crossword-m1c-words-vg8-11_ext
crossword-m1c-words-vg8-12_ext
crossword-m1c-words-vg8-8_ext
crossword-m1c-words-vg8-9_ext
crossword-m1c-words-vg9-10_ext
crossword-m1c-words-vg9-11_ext
crossword-m1c-words-vg9-12_ext
crossword-m1c-words-vg9-13_ext
crossword-m1c-words-vg9-9_ext

Partially processed

Processing failed