alarm
#grid-3-3_valid
hmm1
hmm10
hmm11
hmm12
hmm13
hmm14
hmm15
hmm16
#hmm17
#hmm18
#hmm19
hmm2
#hmm20
hmm3
hmm4
hmm5
hmm6
hmm7
hmm8
hmm9
latin31
latin31_valid
#latin41
#latin51
montyhall
pin1
#pin10
pin2
pin3
pin4
pin5
#pin6
#pin7
#pin8
#pin9
#queens1
#queens10
queens2
queens3
queens4
queens5
#queens6
#queens7
#queens8
#queens9
simple
simple_w_constraint
#sudoku_easy
#sudoku_hard
#sudoku_medium
