Sudoku Puzzles

Daily-Sudoku-2006-03-17-Diabolical.smt

(set-info :smt-lib-version 2.6)
(set-logic QF_LIA)
(set-option :produce-models true)
(set-info :status sat)
(declare-const board11 Int)(assert (= 9 board11))
(declare-const board12 Int)(assert (and (<= 1 board12)(<= board12 9)))
(declare-const board13 Int)(assert (and (<= 1 board13)(<= board13 9)))
(declare-const board14 Int)(assert (and (<= 1 board14)(<= board14 9)))
(declare-const board15 Int)(assert (and (<= 1 board15)(<= board15 9)))
(declare-const board16 Int)(assert (and (<= 1 board16)(<= board16 9)))
(declare-const board17 Int)(assert (and (<= 1 board17)(<= board17 9)))
(declare-const board18 Int)(assert (= 4 board18))
(declare-const board19 Int)(assert (and (<= 1 board19)(<= board19 9)))
(declare-const board21 Int)(assert (and (<= 1 board21)(<= board21 9)))
(declare-const board22 Int)(assert (and (<= 1 board22)(<= board22 9)))
(declare-const board23 Int)(assert (and (<= 1 board23)(<= board23 9)))
(declare-const board24 Int)(assert (= 4 board24))
(declare-const board25 Int)(assert (= 3 board25))
(declare-const board26 Int)(assert (= 8 board26))
(declare-const board27 Int)(assert (and (<= 1 board27)(<= board27 9)))
(declare-const board28 Int)(assert (= 1 board28))
(declare-const board29 Int)(assert (and (<= 1 board29)(<= board29 9)))
(declare-const board31 Int)(assert (and (<= 1 board31)(<= board31 9)))
(declare-const board32 Int)(assert (and (<= 1 board32)(<= board32 9)))
(declare-const board33 Int)(assert (= 8 board33))
(declare-const board34 Int)(assert (and (<= 1 board34)(<= board34 9)))
(declare-const board35 Int)(assert (and (<= 1 board35)(<= board35 9)))
(declare-const board36 Int)(assert (and (<= 1 board36)(<= board36 9)))
(declare-const board37 Int)(assert (= 3 board37))
(declare-const board38 Int)(assert (and (<= 1 board38)(<= board38 9)))
(declare-const board39 Int)(assert (and (<= 1 board39)(<= board39 9)))
(declare-const board41 Int)(assert (= 1 board41))
(declare-const board42 Int)(assert (and (<= 1 board42)(<= board42 9)))
(declare-const board43 Int)(assert (and (<= 1 board43)(<= board43 9)))
(declare-const board44 Int)(assert (and (<= 1 board44)(<= board44 9)))
(declare-const board45 Int)(assert (= 7 board45))
(declare-const board46 Int)(assert (and (<= 1 board46)(<= board46 9)))
(declare-const board47 Int)(assert (and (<= 1 board47)(<= board47 9)))
(declare-const board48 Int)(assert (and (<= 1 board48)(<= board48 9)))
(declare-const board49 Int)(assert (= 9 board49))
(declare-const board51 Int)(assert (= 6 board51))
(declare-const board52 Int)(assert (and (<= 1 board52)(<= board52 9)))
(declare-const board53 Int)(assert (and (<= 1 board53)(<= board53 9)))
(declare-const board54 Int)(assert (= 8 board54))
(declare-const board55 Int)(assert (= 9 board55))
(declare-const board56 Int)(assert (= 1 board56))
(declare-const board57 Int)(assert (and (<= 1 board57)(<= board57 9)))
(declare-const board58 Int)(assert (and (<= 1 board58)(<= board58 9)))
(declare-const board59 Int)(assert (= 3 board59))
(declare-const board61 Int)(assert (= 8 board61))
(declare-const board62 Int)(assert (and (<= 1 board62)(<= board62 9)))
(declare-const board63 Int)(assert (and (<= 1 board63)(<= board63 9)))
(declare-const board64 Int)(assert (and (<= 1 board64)(<= board64 9)))
(declare-const board65 Int)(assert (= 5 board65))
(declare-const board66 Int)(assert (and (<= 1 board66)(<= board66 9)))
(declare-const board67 Int)(assert (and (<= 1 board67)(<= board67 9)))
(declare-const board68 Int)(assert (and (<= 1 board68)(<= board68 9)))
(declare-const board69 Int)(assert (= 1 board69))
(declare-const board71 Int)(assert (and (<= 1 board71)(<= board71 9)))
(declare-const board72 Int)(assert (and (<= 1 board72)(<= board72 9)))
(declare-const board73 Int)(assert (= 5 board73))
(declare-const board74 Int)(assert (and (<= 1 board74)(<= board74 9)))
(declare-const board75 Int)(assert (and (<= 1 board75)(<= board75 9)))
(declare-const board76 Int)(assert (and (<= 1 board76)(<= board76 9)))
(declare-const board77 Int)(assert (= 2 board77))
(declare-const board78 Int)(assert (and (<= 1 board78)(<= board78 9)))
(declare-const board79 Int)(assert (and (<= 1 board79)(<= board79 9)))
(declare-const board81 Int)(assert (and (<= 1 board81)(<= board81 9)))
(declare-const board82 Int)(assert (= 9 board82))
(declare-const board83 Int)(assert (and (<= 1 board83)(<= board83 9)))
(declare-const board84 Int)(assert (= 7 board84))
(declare-const board85 Int)(assert (= 8 board85))
(declare-const board86 Int)(assert (= 2 board86))
(declare-const board87 Int)(assert (and (<= 1 board87)(<= board87 9)))
(declare-const board88 Int)(assert (and (<= 1 board88)(<= board88 9)))
(declare-const board89 Int)(assert (and (<= 1 board89)(<= board89 9)))
(declare-const board91 Int)(assert (and (<= 1 board91)(<= board91 9)))
(declare-const board92 Int)(assert (= 7 board92))
(declare-const board93 Int)(assert (and (<= 1 board93)(<= board93 9)))
(declare-const board94 Int)(assert (and (<= 1 board94)(<= board94 9)))
(declare-const board95 Int)(assert (and (<= 1 board95)(<= board95 9)))
(declare-const board96 Int)(assert (and (<= 1 board96)(<= board96 9)))
(declare-const board97 Int)(assert (and (<= 1 board97)(<= board97 9)))
(declare-const board98 Int)(assert (and (<= 1 board98)(<= board98 9)))
(declare-const board99 Int)(assert (= 4 board99))
(assert (distinct board11 board12 board13 board14 board15 board16 board17 board18 board19))
(assert (distinct board11 board21 board31 board41 board51 board61 board71 board81 board91))
(assert (distinct board21 board22 board23 board24 board25 board26 board27 board28 board29))
(assert (distinct board12 board22 board32 board42 board52 board62 board72 board82 board92))
(assert (distinct board31 board32 board33 board34 board35 board36 board37 board38 board39))
(assert (distinct board13 board23 board33 board43 board53 board63 board73 board83 board93))
(assert (distinct board41 board42 board43 board44 board45 board46 board47 board48 board49))
(assert (distinct board14 board24 board34 board44 board54 board64 board74 board84 board94))
(assert (distinct board51 board52 board53 board54 board55 board56 board57 board58 board59))
(assert (distinct board15 board25 board35 board45 board55 board65 board75 board85 board95))
(assert (distinct board61 board62 board63 board64 board65 board66 board67 board68 board69))
(assert (distinct board16 board26 board36 board46 board56 board66 board76 board86 board96))
(assert (distinct board71 board72 board73 board74 board75 board76 board77 board78 board79))
(assert (distinct board17 board27 board37 board47 board57 board67 board77 board87 board97))
(assert (distinct board81 board82 board83 board84 board85 board86 board87 board88 board89))
(assert (distinct board18 board28 board38 board48 board58 board68 board78 board88 board98))
(assert (distinct board91 board92 board93 board94 board95 board96 board97 board98 board99))
(assert (distinct board19 board29 board39 board49 board59 board69 board79 board89 board99))
(assert (distinct board11 board12 board13 board21 board22 board23 board31 board32 board33))
(assert (distinct board14 board15 board16 board24 board25 board26 board34 board35 board36))
(assert (distinct board17 board18 board19 board27 board28 board29 board37 board38 board39))
(assert (distinct board41 board42 board43 board51 board52 board53 board61 board62 board63))
(assert (distinct board44 board45 board46 board54 board55 board56 board64 board65 board66))
(assert (distinct board47 board48 board49 board57 board58 board59 board67 board68 board69))
(assert (distinct board71 board72 board73 board81 board82 board83 board91 board92 board93))
(assert (distinct board74 board75 board76 board84 board85 board86 board94 board95 board96))
(assert (distinct board77 board78 board79 board87 board88 board89 board97 board98 board99))
(check-sat)
(get-value ( board11 board12 board13 board14 board15 board16 board17 board18 board19))
(get-value ( board21 board22 board23 board24 board25 board26 board27 board28 board29))
(get-value ( board31 board32 board33 board34 board35 board36 board37 board38 board39))
(get-value ( board41 board42 board43 board44 board45 board46 board47 board48 board49))
(get-value ( board51 board52 board53 board54 board55 board56 board57 board58 board59))
(get-value ( board61 board62 board63 board64 board65 board66 board67 board68 board69))
(get-value ( board71 board72 board73 board74 board75 board76 board77 board78 board79))
(get-value ( board81 board82 board83 board84 board85 board86 board87 board88 board89))
(get-value ( board91 board92 board93 board94 board95 board96 board97 board98 board99))

Daily-Sudoku-2006-04-02-Diabolical.smt

(set-info :smt-lib-version 2.6)
(set-logic QF_LIA)
(set-option :produce-models true)
(set-info :status sat)
(declare-const board11 Int)(assert (and (<= 1 board11)(<= board11 9)))
(declare-const board12 Int)(assert (= 4 board12))
(declare-const board13 Int)(assert (= 5 board13))
(declare-const board14 Int)(assert (and (<= 1 board14)(<= board14 9)))
(declare-const board15 Int)(assert (= 6 board15))
(declare-const board16 Int)(assert (and (<= 1 board16)(<= board16 9)))
(declare-const board17 Int)(assert (= 7 board17))
(declare-const board18 Int)(assert (and (<= 1 board18)(<= board18 9)))
(declare-const board19 Int)(assert (and (<= 1 board19)(<= board19 9)))
(declare-const board21 Int)(assert (= 1 board21))
(declare-const board22 Int)(assert (and (<= 1 board22)(<= board22 9)))
(declare-const board23 Int)(assert (and (<= 1 board23)(<= board23 9)))
(declare-const board24 Int)(assert (and (<= 1 board24)(<= board24 9)))
(declare-const board25 Int)(assert (and (<= 1 board25)(<= board25 9)))
(declare-const board26 Int)(assert (and (<= 1 board26)(<= board26 9)))
(declare-const board27 Int)(assert (and (<= 1 board27)(<= board27 9)))
(declare-const board28 Int)(assert (and (<= 1 board28)(<= board28 9)))
(declare-const board29 Int)(assert (= 2 board29))
(declare-const board31 Int)(assert (and (<= 1 board31)(<= board31 9)))
(declare-const board32 Int)(assert (and (<= 1 board32)(<= board32 9)))
(declare-const board33 Int)(assert (= 6 board33))
(declare-const board34 Int)(assert (= 4 board34))
(declare-const board35 Int)(assert (and (<= 1 board35)(<= board35 9)))
(declare-const board36 Int)(assert (= 3 board36))
(declare-const board37 Int)(assert (and (<= 1 board37)(<= board37 9)))
(declare-const board38 Int)(assert (and (<= 1 board38)(<= board38 9)))
(declare-const board39 Int)(assert (and (<= 1 board39)(<= board39 9)))
(declare-const board41 Int)(assert (and (<= 1 board41)(<= board41 9)))
(declare-const board42 Int)(assert (and (<= 1 board42)(<= board42 9)))
(declare-const board43 Int)(assert (and (<= 1 board43)(<= board43 9)))
(declare-const board44 Int)(assert (= 2 board44))
(declare-const board45 Int)(assert (and (<= 1 board45)(<= board45 9)))
(declare-const board46 Int)(assert (and (<= 1 board46)(<= board46 9)))
(declare-const board47 Int)(assert (and (<= 1 board47)(<= board47 9)))
(declare-const board48 Int)(assert (and (<= 1 board48)(<= board48 9)))
(declare-const board49 Int)(assert (and (<= 1 board49)(<= board49 9)))
(declare-const board51 Int)(assert (= 7 board51))
(declare-const board52 Int)(assert (and (<= 1 board52)(<= board52 9)))
(declare-const board53 Int)(assert (= 3 board53))
(declare-const board54 Int)(assert (and (<= 1 board54)(<= board54 9)))
(declare-const board55 Int)(assert (and (<= 1 board55)(<= board55 9)))
(declare-const board56 Int)(assert (and (<= 1 board56)(<= board56 9)))
(declare-const board57 Int)(assert (= 4 board57))
(declare-const board58 Int)(assert (and (<= 1 board58)(<= board58 9)))
(declare-const board59 Int)(assert (= 5 board59))
(declare-const board61 Int)(assert (and (<= 1 board61)(<= board61 9)))
(declare-const board62 Int)(assert (and (<= 1 board62)(<= board62 9)))
(declare-const board63 Int)(assert (and (<= 1 board63)(<= board63 9)))
(declare-const board64 Int)(assert (= 8 board64))
(declare-const board65 Int)(assert (and (<= 1 board65)(<= board65 9)))
(declare-const board66 Int)(assert (= 5 board66))
(declare-const board67 Int)(assert (and (<= 1 board67)(<= board67 9)))
(declare-const board68 Int)(assert (and (<= 1 board68)(<= board68 9)))
(declare-const board69 Int)(assert (and (<= 1 board69)(<= board69 9)))
(declare-const board71 Int)(assert (and (<= 1 board71)(<= board71 9)))
(declare-const board72 Int)(assert (and (<= 1 board72)(<= board72 9)))
(declare-const board73 Int)(assert (and (<= 1 board73)(<= board73 9)))
(declare-const board74 Int)(assert (= 3 board74))
(declare-const board75 Int)(assert (and (<= 1 board75)(<= board75 9)))
(declare-const board76 Int)(assert (= 4 board76))
(declare-const board77 Int)(assert (and (<= 1 board77)(<= board77 9)))
(declare-const board78 Int)(assert (and (<= 1 board78)(<= board78 9)))
(declare-const board79 Int)(assert (and (<= 1 board79)(<= board79 9)))
(declare-const board81 Int)(assert (= 6 board81))
(declare-const board82 Int)(assert (and (<= 1 board82)(<= board82 9)))
(declare-const board83 Int)(assert (and (<= 1 board83)(<= board83 9)))
(declare-const board84 Int)(assert (and (<= 1 board84)(<= board84 9)))
(declare-const board85 Int)(assert (and (<= 1 board85)(<= board85 9)))
(declare-const board86 Int)(assert (and (<= 1 board86)(<= board86 9)))
(declare-const board87 Int)(assert (and (<= 1 board87)(<= board87 9)))
(declare-const board88 Int)(assert (and (<= 1 board88)(<= board88 9)))
(declare-const board89 Int)(assert (= 1 board89))
(declare-const board91 Int)(assert (and (<= 1 board91)(<= board91 9)))
(declare-const board92 Int)(assert (and (<= 1 board92)(<= board92 9)))
(declare-const board93 Int)(assert (= 7 board93))
(declare-const board94 Int)(assert (and (<= 1 board94)(<= board94 9)))
(declare-const board95 Int)(assert (= 1 board95))
(declare-const board96 Int)(assert (and (<= 1 board96)(<= board96 9)))
(declare-const board97 Int)(assert (= 2 board97))
(declare-const board98 Int)(assert (= 9 board98))
(declare-const board99 Int)(assert (and (<= 1 board99)(<= board99 9)))
(assert (distinct board11 board12 board13 board14 board15 board16 board17 board18 board19))
(assert (distinct board11 board21 board31 board41 board51 board61 board71 board81 board91))
(assert (distinct board21 board22 board23 board24 board25 board26 board27 board28 board29))
(assert (distinct board12 board22 board32 board42 board52 board62 board72 board82 board92))
(assert (distinct board31 board32 board33 board34 board35 board36 board37 board38 board39))
(assert (distinct board13 board23 board33 board43 board53 board63 board73 board83 board93))
(assert (distinct board41 board42 board43 board44 board45 board46 board47 board48 board49))
(assert (distinct board14 board24 board34 board44 board54 board64 board74 board84 board94))
(assert (distinct board51 board52 board53 board54 board55 board56 board57 board58 board59))
(assert (distinct board15 board25 board35 board45 board55 board65 board75 board85 board95))
(assert (distinct board61 board62 board63 board64 board65 board66 board67 board68 board69))
(assert (distinct board16 board26 board36 board46 board56 board66 board76 board86 board96))
(assert (distinct board71 board72 board73 board74 board75 board76 board77 board78 board79))
(assert (distinct board17 board27 board37 board47 board57 board67 board77 board87 board97))
(assert (distinct board81 board82 board83 board84 board85 board86 board87 board88 board89))
(assert (distinct board18 board28 board38 board48 board58 board68 board78 board88 board98))
(assert (distinct board91 board92 board93 board94 board95 board96 board97 board98 board99))
(assert (distinct board19 board29 board39 board49 board59 board69 board79 board89 board99))
(assert (distinct board11 board12 board13 board21 board22 board23 board31 board32 board33))
(assert (distinct board14 board15 board16 board24 board25 board26 board34 board35 board36))
(assert (distinct board17 board18 board19 board27 board28 board29 board37 board38 board39))
(assert (distinct board41 board42 board43 board51 board52 board53 board61 board62 board63))
(assert (distinct board44 board45 board46 board54 board55 board56 board64 board65 board66))
(assert (distinct board47 board48 board49 board57 board58 board59 board67 board68 board69))
(assert (distinct board71 board72 board73 board81 board82 board83 board91 board92 board93))
(assert (distinct board74 board75 board76 board84 board85 board86 board94 board95 board96))
(assert (distinct board77 board78 board79 board87 board88 board89 board97 board98 board99))
(check-sat)
(get-value ( board11 board12 board13 board14 board15 board16 board17 board18 board19))
(get-value ( board21 board22 board23 board24 board25 board26 board27 board28 board29))
(get-value ( board31 board32 board33 board34 board35 board36 board37 board38 board39))
(get-value ( board41 board42 board43 board44 board45 board46 board47 board48 board49))
(get-value ( board51 board52 board53 board54 board55 board56 board57 board58 board59))
(get-value ( board61 board62 board63 board64 board65 board66 board67 board68 board69))
(get-value ( board71 board72 board73 board74 board75 board76 board77 board78 board79))
(get-value ( board81 board82 board83 board84 board85 board86 board87 board88 board89))
(get-value ( board91 board92 board93 board94 board95 board96 board97 board98 board99))

Daily-Sudoku-2006-04-28-Diabolical.smt

(set-info :smt-lib-version 2.6)
(set-logic QF_LIA)
(set-option :produce-models true)
(set-info :status sat)
(declare-const board11 Int)(assert (= 7 board11))
(declare-const board12 Int)(assert (and (<= 1 board12)(<= board12 9)))
(declare-const board13 Int)(assert (and (<= 1 board13)(<= board13 9)))
(declare-const board14 Int)(assert (and (<= 1 board14)(<= board14 9)))
(declare-const board15 Int)(assert (and (<= 1 board15)(<= board15 9)))
(declare-const board16 Int)(assert (and (<= 1 board16)(<= board16 9)))
(declare-const board17 Int)(assert (and (<= 1 board17)(<= board17 9)))
(declare-const board18 Int)(assert (= 3 board18))
(declare-const board19 Int)(assert (= 2 board19))
(declare-const board21 Int)(assert (and (<= 1 board21)(<= board21 9)))
(declare-const board22 Int)(assert (= 5 board22))
(declare-const board23 Int)(assert (= 3 board23))
(declare-const board24 Int)(assert (and (<= 1 board24)(<= board24 9)))
(declare-const board25 Int)(assert (= 7 board25))
(declare-const board26 Int)(assert (and (<= 1 board26)(<= board26 9)))
(declare-const board27 Int)(assert (= 8 board27))
(declare-const board28 Int)(assert (and (<= 1 board28)(<= board28 9)))
(declare-const board29 Int)(assert (and (<= 1 board29)(<= board29 9)))
(declare-const board31 Int)(assert (= 4 board31))
(declare-const board32 Int)(assert (and (<= 1 board32)(<= board32 9)))
(declare-const board33 Int)(assert (and (<= 1 board33)(<= board33 9)))
(declare-const board34 Int)(assert (and (<= 1 board34)(<= board34 9)))
(declare-const board35 Int)(assert (and (<= 1 board35)(<= board35 9)))
(declare-const board36 Int)(assert (and (<= 1 board36)(<= board36 9)))
(declare-const board37 Int)(assert (and (<= 1 board37)(<= board37 9)))
(declare-const board38 Int)(assert (and (<= 1 board38)(<= board38 9)))
(declare-const board39 Int)(assert (= 6 board39))
(declare-const board41 Int)(assert (and (<= 1 board41)(<= board41 9)))
(declare-const board42 Int)(assert (= 2 board42))
(declare-const board43 Int)(assert (and (<= 1 board43)(<= board43 9)))
(declare-const board44 Int)(assert (= 3 board44))
(declare-const board45 Int)(assert (and (<= 1 board45)(<= board45 9)))
(declare-const board46 Int)(assert (= 7 board46))
(declare-const board47 Int)(assert (and (<= 1 board47)(<= board47 9)))
(declare-const board48 Int)(assert (= 4 board48))
(declare-const board49 Int)(assert (and (<= 1 board49)(<= board49 9)))
(declare-const board51 Int)(assert (= 3 board51))
(declare-const board52 Int)(assert (and (<= 1 board52)(<= board52 9)))
(declare-const board53 Int)(assert (and (<= 1 board53)(<= board53 9)))
(declare-const board54 Int)(assert (and (<= 1 board54)(<= board54 9)))
(declare-const board55 Int)(assert (and (<= 1 board55)(<= board55 9)))
(declare-const board56 Int)(assert (and (<= 1 board56)(<= board56 9)))
(declare-const board57 Int)(assert (and (<= 1 board57)(<= board57 9)))
(declare-const board58 Int)(assert (and (<= 1 board58)(<= board58 9)))
(declare-const board59 Int)(assert (= 8 board59))
(declare-const board61 Int)(assert (and (<= 1 board61)(<= board61 9)))
(declare-const board62 Int)(assert (= 4 board62))
(declare-const board63 Int)(assert (and (<= 1 board63)(<= board63 9)))
(declare-const board64 Int)(assert (= 9 board64))
(declare-const board65 Int)(assert (and (<= 1 board65)(<= board65 9)))
(declare-const board66 Int)(assert (= 1 board66))
(declare-const board67 Int)(assert (and (<= 1 board67)(<= board67 9)))
(declare-const board68 Int)(assert (= 2 board68))
(declare-const board69 Int)(assert (and (<= 1 board69)(<= board69 9)))
(declare-const board71 Int)(assert (= 1 board71))
(declare-const board72 Int)(assert (and (<= 1 board72)(<= board72 9)))
(declare-const board73 Int)(assert (and (<= 1 board73)(<= board73 9)))
(declare-const board74 Int)(assert (and (<= 1 board74)(<= board74 9)))
(declare-const board75 Int)(assert (and (<= 1 board75)(<= board75 9)))
(declare-const board76 Int)(assert (and (<= 1 board76)(<= board76 9)))
(declare-const board77 Int)(assert (and (<= 1 board77)(<= board77 9)))
(declare-const board78 Int)(assert (and (<= 1 board78)(<= board78 9)))
(declare-const board79 Int)(assert (= 3 board79))
(declare-const board81 Int)(assert (and (<= 1 board81)(<= board81 9)))
(declare-const board82 Int)(assert (and (<= 1 board82)(<= board82 9)))
(declare-const board83 Int)(assert (= 7 board83))
(declare-const board84 Int)(assert (and (<= 1 board84)(<= board84 9)))
(declare-const board85 Int)(assert (= 4 board85))
(declare-const board86 Int)(assert (and (<= 1 board86)(<= board86 9)))
(declare-const board87 Int)(assert (= 6 board87))
(declare-const board88 Int)(assert (= 8 board88))
(declare-const board89 Int)(assert (and (<= 1 board89)(<= board89 9)))
(declare-const board91 Int)(assert (= 6 board91))
(declare-const board92 Int)(assert (= 9 board92))
(declare-const board93 Int)(assert (and (<= 1 board93)(<= board93 9)))
(declare-const board94 Int)(assert (and (<= 1 board94)(<= board94 9)))
(declare-const board95 Int)(assert (and (<= 1 board95)(<= board95 9)))
(declare-const board96 Int)(assert (and (<= 1 board96)(<= board96 9)))
(declare-const board97 Int)(assert (and (<= 1 board97)(<= board97 9)))
(declare-const board98 Int)(assert (and (<= 1 board98)(<= board98 9)))
(declare-const board99 Int)(assert (= 5 board99))
(assert (distinct board11 board12 board13 board14 board15 board16 board17 board18 board19))
(assert (distinct board11 board21 board31 board41 board51 board61 board71 board81 board91))
(assert (distinct board21 board22 board23 board24 board25 board26 board27 board28 board29))
(assert (distinct board12 board22 board32 board42 board52 board62 board72 board82 board92))
(assert (distinct board31 board32 board33 board34 board35 board36 board37 board38 board39))
(assert (distinct board13 board23 board33 board43 board53 board63 board73 board83 board93))
(assert (distinct board41 board42 board43 board44 board45 board46 board47 board48 board49))
(assert (distinct board14 board24 board34 board44 board54 board64 board74 board84 board94))
(assert (distinct board51 board52 board53 board54 board55 board56 board57 board58 board59))
(assert (distinct board15 board25 board35 board45 board55 board65 board75 board85 board95))
(assert (distinct board61 board62 board63 board64 board65 board66 board67 board68 board69))
(assert (distinct board16 board26 board36 board46 board56 board66 board76 board86 board96))
(assert (distinct board71 board72 board73 board74 board75 board76 board77 board78 board79))
(assert (distinct board17 board27 board37 board47 board57 board67 board77 board87 board97))
(assert (distinct board81 board82 board83 board84 board85 board86 board87 board88 board89))
(assert (distinct board18 board28 board38 board48 board58 board68 board78 board88 board98))
(assert (distinct board91 board92 board93 board94 board95 board96 board97 board98 board99))
(assert (distinct board19 board29 board39 board49 board59 board69 board79 board89 board99))
(assert (distinct board11 board12 board13 board21 board22 board23 board31 board32 board33))
(assert (distinct board14 board15 board16 board24 board25 board26 board34 board35 board36))
(assert (distinct board17 board18 board19 board27 board28 board29 board37 board38 board39))
(assert (distinct board41 board42 board43 board51 board52 board53 board61 board62 board63))
(assert (distinct board44 board45 board46 board54 board55 board56 board64 board65 board66))
(assert (distinct board47 board48 board49 board57 board58 board59 board67 board68 board69))
(assert (distinct board71 board72 board73 board81 board82 board83 board91 board92 board93))
(assert (distinct board74 board75 board76 board84 board85 board86 board94 board95 board96))
(assert (distinct board77 board78 board79 board87 board88 board89 board97 board98 board99))
(check-sat)
(get-value ( board11 board12 board13 board14 board15 board16 board17 board18 board19))
(get-value ( board21 board22 board23 board24 board25 board26 board27 board28 board29))
(get-value ( board31 board32 board33 board34 board35 board36 board37 board38 board39))
(get-value ( board41 board42 board43 board44 board45 board46 board47 board48 board49))
(get-value ( board51 board52 board53 board54 board55 board56 board57 board58 board59))
(get-value ( board61 board62 board63 board64 board65 board66 board67 board68 board69))
(get-value ( board71 board72 board73 board74 board75 board76 board77 board78 board79))
(get-value ( board81 board82 board83 board84 board85 board86 board87 board88 board89))
(get-value ( board91 board92 board93 board94 board95 board96 board97 board98 board99))

DSM-REG-2005-09-12-White-Belt.smt

(set-info :smt-lib-version 2.6)
(set-logic QF_LIA)
(set-option :produce-models true)
(set-info :status sat)
(declare-const board11 Int)(assert (= 1 board11))
(declare-const board12 Int)(assert (= 9 board12))
(declare-const board13 Int)(assert (and (<= 1 board13)(<= board13 9)))
(declare-const board14 Int)(assert (and (<= 1 board14)(<= board14 9)))
(declare-const board15 Int)(assert (and (<= 1 board15)(<= board15 9)))
(declare-const board16 Int)(assert (and (<= 1 board16)(<= board16 9)))
(declare-const board17 Int)(assert (and (<= 1 board17)(<= board17 9)))
(declare-const board18 Int)(assert (= 2 board18))
(declare-const board19 Int)(assert (= 5 board19))
(declare-const board21 Int)(assert (and (<= 1 board21)(<= board21 9)))
(declare-const board22 Int)(assert (and (<= 1 board22)(<= board22 9)))
(declare-const board23 Int)(assert (= 5 board23))
(declare-const board24 Int)(assert (= 6 board24))
(declare-const board25 Int)(assert (and (<= 1 board25)(<= board25 9)))
(declare-const board26 Int)(assert (= 2 board26))
(declare-const board27 Int)(assert (= 8 board27))
(declare-const board28 Int)(assert (and (<= 1 board28)(<= board28 9)))
(declare-const board29 Int)(assert (and (<= 1 board29)(<= board29 9)))
(declare-const board31 Int)(assert (and (<= 1 board31)(<= board31 9)))
(declare-const board32 Int)(assert (= 3 board32))
(declare-const board33 Int)(assert (and (<= 1 board33)(<= board33 9)))
(declare-const board34 Int)(assert (and (<= 1 board34)(<= board34 9)))
(declare-const board35 Int)(assert (and (<= 1 board35)(<= board35 9)))
(declare-const board36 Int)(assert (and (<= 1 board36)(<= board36 9)))
(declare-const board37 Int)(assert (and (<= 1 board37)(<= board37 9)))
(declare-const board38 Int)(assert (= 7 board38))
(declare-const board39 Int)(assert (and (<= 1 board39)(<= board39 9)))
(declare-const board41 Int)(assert (and (<= 1 board41)(<= board41 9)))
(declare-const board42 Int)(assert (and (<= 1 board42)(<= board42 9)))
(declare-const board43 Int)(assert (= 4 board43))
(declare-const board44 Int)(assert (= 5 board44))
(declare-const board45 Int)(assert (and (<= 1 board45)(<= board45 9)))
(declare-const board46 Int)(assert (= 3 board46))
(declare-const board47 Int)(assert (= 7 board47))
(declare-const board48 Int)(assert (and (<= 1 board48)(<= board48 9)))
(declare-const board49 Int)(assert (and (<= 1 board49)(<= board49 9)))
(declare-const board51 Int)(assert (= 6 board51))
(declare-const board52 Int)(assert (and (<= 1 board52)(<= board52 9)))
(declare-const board53 Int)(assert (and (<= 1 board53)(<= board53 9)))
(declare-const board54 Int)(assert (and (<= 1 board54)(<= board54 9)))
(declare-const board55 Int)(assert (and (<= 1 board55)(<= board55 9)))
(declare-const board56 Int)(assert (and (<= 1 board56)(<= board56 9)))
(declare-const board57 Int)(assert (and (<= 1 board57)(<= board57 9)))
(declare-const board58 Int)(assert (and (<= 1 board58)(<= board58 9)))
(declare-const board59 Int)(assert (= 3 board59))
(declare-const board61 Int)(assert (and (<= 1 board61)(<= board61 9)))
(declare-const board62 Int)(assert (and (<= 1 board62)(<= board62 9)))
(declare-const board63 Int)(assert (= 7 board63))
(declare-const board64 Int)(assert (= 2 board64))
(declare-const board65 Int)(assert (and (<= 1 board65)(<= board65 9)))
(declare-const board66 Int)(assert (= 8 board66))
(declare-const board67 Int)(assert (= 6 board67))
(declare-const board68 Int)(assert (and (<= 1 board68)(<= board68 9)))
(declare-const board69 Int)(assert (and (<= 1 board69)(<= board69 9)))
(declare-const board71 Int)(assert (and (<= 1 board71)(<= board71 9)))
(declare-const board72 Int)(assert (= 6 board72))
(declare-const board73 Int)(assert (and (<= 1 board73)(<= board73 9)))
(declare-const board74 Int)(assert (and (<= 1 board74)(<= board74 9)))
(declare-const board75 Int)(assert (and (<= 1 board75)(<= board75 9)))
(declare-const board76 Int)(assert (and (<= 1 board76)(<= board76 9)))
(declare-const board77 Int)(assert (and (<= 1 board77)(<= board77 9)))
(declare-const board78 Int)(assert (= 9 board78))
(declare-const board79 Int)(assert (and (<= 1 board79)(<= board79 9)))
(declare-const board81 Int)(assert (and (<= 1 board81)(<= board81 9)))
(declare-const board82 Int)(assert (and (<= 1 board82)(<= board82 9)))
(declare-const board83 Int)(assert (= 2 board83))
(declare-const board84 Int)(assert (= 3 board84))
(declare-const board85 Int)(assert (and (<= 1 board85)(<= board85 9)))
(declare-const board86 Int)(assert (= 9 board86))
(declare-const board87 Int)(assert (= 5 board87))
(declare-const board88 Int)(assert (and (<= 1 board88)(<= board88 9)))
(declare-const board89 Int)(assert (and (<= 1 board89)(<= board89 9)))
(declare-const board91 Int)(assert (= 5 board91))
(declare-const board92 Int)(assert (= 4 board92))
(declare-const board93 Int)(assert (and (<= 1 board93)(<= board93 9)))
(declare-const board94 Int)(assert (and (<= 1 board94)(<= board94 9)))
(declare-const board95 Int)(assert (and (<= 1 board95)(<= board95 9)))
(declare-const board96 Int)(assert (and (<= 1 board96)(<= board96 9)))
(declare-const board97 Int)(assert (and (<= 1 board97)(<= board97 9)))
(declare-const board98 Int)(assert (= 8 board98))
(declare-const board99 Int)(assert (= 7 board99))
(assert (distinct board11 board12 board13 board14 board15 board16 board17 board18 board19))
(assert (distinct board11 board21 board31 board41 board51 board61 board71 board81 board91))
(assert (distinct board21 board22 board23 board24 board25 board26 board27 board28 board29))
(assert (distinct board12 board22 board32 board42 board52 board62 board72 board82 board92))
(assert (distinct board31 board32 board33 board34 board35 board36 board37 board38 board39))
(assert (distinct board13 board23 board33 board43 board53 board63 board73 board83 board93))
(assert (distinct board41 board42 board43 board44 board45 board46 board47 board48 board49))
(assert (distinct board14 board24 board34 board44 board54 board64 board74 board84 board94))
(assert (distinct board51 board52 board53 board54 board55 board56 board57 board58 board59))
(assert (distinct board15 board25 board35 board45 board55 board65 board75 board85 board95))
(assert (distinct board61 board62 board63 board64 board65 board66 board67 board68 board69))
(assert (distinct board16 board26 board36 board46 board56 board66 board76 board86 board96))
(assert (distinct board71 board72 board73 board74 board75 board76 board77 board78 board79))
(assert (distinct board17 board27 board37 board47 board57 board67 board77 board87 board97))
(assert (distinct board81 board82 board83 board84 board85 board86 board87 board88 board89))
(assert (distinct board18 board28 board38 board48 board58 board68 board78 board88 board98))
(assert (distinct board91 board92 board93 board94 board95 board96 board97 board98 board99))
(assert (distinct board19 board29 board39 board49 board59 board69 board79 board89 board99))
(assert (distinct board11 board12 board13 board21 board22 board23 board31 board32 board33))
(assert (distinct board14 board15 board16 board24 board25 board26 board34 board35 board36))
(assert (distinct board17 board18 board19 board27 board28 board29 board37 board38 board39))
(assert (distinct board41 board42 board43 board51 board52 board53 board61 board62 board63))
(assert (distinct board44 board45 board46 board54 board55 board56 board64 board65 board66))
(assert (distinct board47 board48 board49 board57 board58 board59 board67 board68 board69))
(assert (distinct board71 board72 board73 board81 board82 board83 board91 board92 board93))
(assert (distinct board74 board75 board76 board84 board85 board86 board94 board95 board96))
(assert (distinct board77 board78 board79 board87 board88 board89 board97 board98 board99))
(check-sat)
(get-value ( board11 board12 board13 board14 board15 board16 board17 board18 board19))
(get-value ( board21 board22 board23 board24 board25 board26 board27 board28 board29))
(get-value ( board31 board32 board33 board34 board35 board36 board37 board38 board39))
(get-value ( board41 board42 board43 board44 board45 board46 board47 board48 board49))
(get-value ( board51 board52 board53 board54 board55 board56 board57 board58 board59))
(get-value ( board61 board62 board63 board64 board65 board66 board67 board68 board69))
(get-value ( board71 board72 board73 board74 board75 board76 board77 board78 board79))
(get-value ( board81 board82 board83 board84 board85 board86 board87 board88 board89))
(get-value ( board91 board92 board93 board94 board95 board96 board97 board98 board99))

DSM-REG-2005-09-13-White-Belt.smt

(set-info :smt-lib-version 2.6)
(set-logic QF_LIA)
(set-option :produce-models true)
(set-info :status sat)
(declare-const board11 Int)(assert (and (<= 1 board11)(<= board11 9)))
(declare-const board12 Int)(assert (and (<= 1 board12)(<= board12 9)))
(declare-const board13 Int)(assert (= 9 board13))
(declare-const board14 Int)(assert (and (<= 1 board14)(<= board14 9)))
(declare-const board15 Int)(assert (and (<= 1 board15)(<= board15 9)))
(declare-const board16 Int)(assert (= 5 board16))
(declare-const board17 Int)(assert (and (<= 1 board17)(<= board17 9)))
(declare-const board18 Int)(assert (and (<= 1 board18)(<= board18 9)))
(declare-const board19 Int)(assert (and (<= 1 board19)(<= board19 9)))
(declare-const board21 Int)(assert (and (<= 1 board21)(<= board21 9)))
(declare-const board22 Int)(assert (and (<= 1 board22)(<= board22 9)))
(declare-const board23 Int)(assert (and (<= 1 board23)(<= board23 9)))
(declare-const board24 Int)(assert (= 9 board24))
(declare-const board25 Int)(assert (= 3 board25))
(declare-const board26 Int)(assert (and (<= 1 board26)(<= board26 9)))
(declare-const board27 Int)(assert (= 6 board27))
(declare-const board28 Int)(assert (and (<= 1 board28)(<= board28 9)))
(declare-const board29 Int)(assert (and (<= 1 board29)(<= board29 9)))
(declare-const board31 Int)(assert (= 6 board31))
(declare-const board32 Int)(assert (and (<= 1 board32)(<= board32 9)))
(declare-const board33 Int)(assert (and (<= 1 board33)(<= board33 9)))
(declare-const board34 Int)(assert (= 8 board34))
(declare-const board35 Int)(assert (= 1 board35))
(declare-const board36 Int)(assert (and (<= 1 board36)(<= board36 9)))
(declare-const board37 Int)(assert (and (<= 1 board37)(<= board37 9)))
(declare-const board38 Int)(assert (= 7 board38))
(declare-const board39 Int)(assert (= 5 board39))
(declare-const board41 Int)(assert (and (<= 1 board41)(<= board41 9)))
(declare-const board42 Int)(assert (and (<= 1 board42)(<= board42 9)))
(declare-const board43 Int)(assert (= 6 board43))
(declare-const board44 Int)(assert (and (<= 1 board44)(<= board44 9)))
(declare-const board45 Int)(assert (and (<= 1 board45)(<= board45 9)))
(declare-const board46 Int)(assert (and (<= 1 board46)(<= board46 9)))
(declare-const board47 Int)(assert (and (<= 1 board47)(<= board47 9)))
(declare-const board48 Int)(assert (= 3 board48))
(declare-const board49 Int)(assert (= 2 board49))
(declare-const board51 Int)(assert (and (<= 1 board51)(<= board51 9)))
(declare-const board52 Int)(assert (= 1 board52))
(declare-const board53 Int)(assert (and (<= 1 board53)(<= board53 9)))
(declare-const board54 Int)(assert (and (<= 1 board54)(<= board54 9)))
(declare-const board55 Int)(assert (and (<= 1 board55)(<= board55 9)))
(declare-const board56 Int)(assert (and (<= 1 board56)(<= board56 9)))
(declare-const board57 Int)(assert (and (<= 1 board57)(<= board57 9)))
(declare-const board58 Int)(assert (= 5 board58))
(declare-const board59 Int)(assert (and (<= 1 board59)(<= board59 9)))
(declare-const board61 Int)(assert (= 4 board61))
(declare-const board62 Int)(assert (= 8 board62))
(declare-const board63 Int)(assert (and (<= 1 board63)(<= board63 9)))
(declare-const board64 Int)(assert (and (<= 1 board64)(<= board64 9)))
(declare-const board65 Int)(assert (and (<= 1 board65)(<= board65 9)))
(declare-const board66 Int)(assert (and (<= 1 board66)(<= board66 9)))
(declare-const board67 Int)(assert (= 7 board67))
(declare-const board68 Int)(assert (and (<= 1 board68)(<= board68 9)))
(declare-const board69 Int)(assert (and (<= 1 board69)(<= board69 9)))
(declare-const board71 Int)(assert (= 5 board71))
(declare-const board72 Int)(assert (= 9 board72))
(declare-const board73 Int)(assert (and (<= 1 board73)(<= board73 9)))
(declare-const board74 Int)(assert (and (<= 1 board74)(<= board74 9)))
(declare-const board75 Int)(assert (= 2 board75))
(declare-const board76 Int)(assert (= 3 board76))
(declare-const board77 Int)(assert (and (<= 1 board77)(<= board77 9)))
(declare-const board78 Int)(assert (and (<= 1 board78)(<= board78 9)))
(declare-const board79 Int)(assert (= 8 board79))
(declare-const board81 Int)(assert (and (<= 1 board81)(<= board81 9)))
(declare-const board82 Int)(assert (and (<= 1 board82)(<= board82 9)))
(declare-const board83 Int)(assert (= 4 board83))
(declare-const board84 Int)(assert (and (<= 1 board84)(<= board84 9)))
(declare-const board85 Int)(assert (= 7 board85))
(declare-const board86 Int)(assert (= 1 board86))
(declare-const board87 Int)(assert (and (<= 1 board87)(<= board87 9)))
(declare-const board88 Int)(assert (and (<= 1 board88)(<= board88 9)))
(declare-const board89 Int)(assert (and (<= 1 board89)(<= board89 9)))
(declare-const board91 Int)(assert (and (<= 1 board91)(<= board91 9)))
(declare-const board92 Int)(assert (and (<= 1 board92)(<= board92 9)))
(declare-const board93 Int)(assert (and (<= 1 board93)(<= board93 9)))
(declare-const board94 Int)(assert (= 5 board94))
(declare-const board95 Int)(assert (and (<= 1 board95)(<= board95 9)))
(declare-const board96 Int)(assert (and (<= 1 board96)(<= board96 9)))
(declare-const board97 Int)(assert (= 2 board97))
(declare-const board98 Int)(assert (and (<= 1 board98)(<= board98 9)))
(declare-const board99 Int)(assert (and (<= 1 board99)(<= board99 9)))
(assert (distinct board11 board12 board13 board14 board15 board16 board17 board18 board19))
(assert (distinct board11 board21 board31 board41 board51 board61 board71 board81 board91))
(assert (distinct board21 board22 board23 board24 board25 board26 board27 board28 board29))
(assert (distinct board12 board22 board32 board42 board52 board62 board72 board82 board92))
(assert (distinct board31 board32 board33 board34 board35 board36 board37 board38 board39))
(assert (distinct board13 board23 board33 board43 board53 board63 board73 board83 board93))
(assert (distinct board41 board42 board43 board44 board45 board46 board47 board48 board49))
(assert (distinct board14 board24 board34 board44 board54 board64 board74 board84 board94))
(assert (distinct board51 board52 board53 board54 board55 board56 board57 board58 board59))
(assert (distinct board15 board25 board35 board45 board55 board65 board75 board85 board95))
(assert (distinct board61 board62 board63 board64 board65 board66 board67 board68 board69))
(assert (distinct board16 board26 board36 board46 board56 board66 board76 board86 board96))
(assert (distinct board71 board72 board73 board74 board75 board76 board77 board78 board79))
(assert (distinct board17 board27 board37 board47 board57 board67 board77 board87 board97))
(assert (distinct board81 board82 board83 board84 board85 board86 board87 board88 board89))
(assert (distinct board18 board28 board38 board48 board58 board68 board78 board88 board98))
(assert (distinct board91 board92 board93 board94 board95 board96 board97 board98 board99))
(assert (distinct board19 board29 board39 board49 board59 board69 board79 board89 board99))
(assert (distinct board11 board12 board13 board21 board22 board23 board31 board32 board33))
(assert (distinct board14 board15 board16 board24 board25 board26 board34 board35 board36))
(assert (distinct board17 board18 board19 board27 board28 board29 board37 board38 board39))
(assert (distinct board41 board42 board43 board51 board52 board53 board61 board62 board63))
(assert (distinct board44 board45 board46 board54 board55 board56 board64 board65 board66))
(assert (distinct board47 board48 board49 board57 board58 board59 board67 board68 board69))
(assert (distinct board71 board72 board73 board81 board82 board83 board91 board92 board93))
(assert (distinct board74 board75 board76 board84 board85 board86 board94 board95 board96))
(assert (distinct board77 board78 board79 board87 board88 board89 board97 board98 board99))
(check-sat)
(get-value ( board11 board12 board13 board14 board15 board16 board17 board18 board19))
(get-value ( board21 board22 board23 board24 board25 board26 board27 board28 board29))
(get-value ( board31 board32 board33 board34 board35 board36 board37 board38 board39))
(get-value ( board41 board42 board43 board44 board45 board46 board47 board48 board49))
(get-value ( board51 board52 board53 board54 board55 board56 board57 board58 board59))
(get-value ( board61 board62 board63 board64 board65 board66 board67 board68 board69))
(get-value ( board71 board72 board73 board74 board75 board76 board77 board78 board79))
(get-value ( board81 board82 board83 board84 board85 board86 board87 board88 board89))
(get-value ( board91 board92 board93 board94 board95 board96 board97 board98 board99))

DSM-REG-2005-09-19-White-Belt.smt

(set-info :smt-lib-version 2.6)
(set-logic QF_LIA)
(set-option :produce-models true)
(set-info :status sat)
(declare-const board11 Int)(assert (and (<= 1 board11)(<= board11 9)))
(declare-const board12 Int)(assert (and (<= 1 board12)(<= board12 9)))
(declare-const board13 Int)(assert (= 2 board13))
(declare-const board14 Int)(assert (and (<= 1 board14)(<= board14 9)))
(declare-const board15 Int)(assert (= 9 board15))
(declare-const board16 Int)(assert (and (<= 1 board16)(<= board16 9)))
(declare-const board17 Int)(assert (= 8 board17))
(declare-const board18 Int)(assert (= 7 board18))
(declare-const board19 Int)(assert (and (<= 1 board19)(<= board19 9)))
(declare-const board21 Int)(assert (= 5 board21))
(declare-const board22 Int)(assert (= 1 board22))
(declare-const board23 Int)(assert (and (<= 1 board23)(<= board23 9)))
(declare-const board24 Int)(assert (= 6 board24))
(declare-const board25 Int)(assert (and (<= 1 board25)(<= board25 9)))
(declare-const board26 Int)(assert (and (<= 1 board26)(<= board26 9)))
(declare-const board27 Int)(assert (and (<= 1 board27)(<= board27 9)))
(declare-const board28 Int)(assert (= 9 board28))
(declare-const board29 Int)(assert (and (<= 1 board29)(<= board29 9)))
(declare-const board31 Int)(assert (and (<= 1 board31)(<= board31 9)))
(declare-const board32 Int)(assert (and (<= 1 board32)(<= board32 9)))
(declare-const board33 Int)(assert (= 9 board33))
(declare-const board34 Int)(assert (and (<= 1 board34)(<= board34 9)))
(declare-const board35 Int)(assert (and (<= 1 board35)(<= board35 9)))
(declare-const board36 Int)(assert (= 4 board36))
(declare-const board37 Int)(assert (and (<= 1 board37)(<= board37 9)))
(declare-const board38 Int)(assert (and (<= 1 board38)(<= board38 9)))
(declare-const board39 Int)(assert (and (<= 1 board39)(<= board39 9)))
(declare-const board41 Int)(assert (and (<= 1 board41)(<= board41 9)))
(declare-const board42 Int)(assert (and (<= 1 board42)(<= board42 9)))
(declare-const board43 Int)(assert (= 4 board43))
(declare-const board44 Int)(assert (and (<= 1 board44)(<= board44 9)))
(declare-const board45 Int)(assert (= 7 board45))
(declare-const board46 Int)(assert (and (<= 1 board46)(<= board46 9)))
(declare-const board47 Int)(assert (and (<= 1 board47)(<= board47 9)))
(declare-const board48 Int)(assert (and (<= 1 board48)(<= board48 9)))
(declare-const board49 Int)(assert (and (<= 1 board49)(<= board49 9)))
(declare-const board51 Int)(assert (= 6 board51))
(declare-const board52 Int)(assert (and (<= 1 board52)(<= board52 9)))
(declare-const board53 Int)(assert (= 8 board53))
(declare-const board54 Int)(assert (and (<= 1 board54)(<= board54 9)))
(declare-const board55 Int)(assert (and (<= 1 board55)(<= board55 9)))
(declare-const board56 Int)(assert (and (<= 1 board56)(<= board56 9)))
(declare-const board57 Int)(assert (= 5 board57))
(declare-const board58 Int)(assert (and (<= 1 board58)(<= board58 9)))
(declare-const board59 Int)(assert (= 2 board59))
(declare-const board61 Int)(assert (and (<= 1 board61)(<= board61 9)))
(declare-const board62 Int)(assert (and (<= 1 board62)(<= board62 9)))
(declare-const board63 Int)(assert (and (<= 1 board63)(<= board63 9)))
(declare-const board64 Int)(assert (and (<= 1 board64)(<= board64 9)))
(declare-const board65 Int)(assert (= 6 board65))
(declare-const board66 Int)(assert (and (<= 1 board66)(<= board66 9)))
(declare-const board67 Int)(assert (= 4 board67))
(declare-const board68 Int)(assert (and (<= 1 board68)(<= board68 9)))
(declare-const board69 Int)(assert (and (<= 1 board69)(<= board69 9)))
(declare-const board71 Int)(assert (and (<= 1 board71)(<= board71 9)))
(declare-const board72 Int)(assert (and (<= 1 board72)(<= board72 9)))
(declare-const board73 Int)(assert (and (<= 1 board73)(<= board73 9)))
(declare-const board74 Int)(assert (= 9 board74))
(declare-const board75 Int)(assert (and (<= 1 board75)(<= board75 9)))
(declare-const board76 Int)(assert (and (<= 1 board76)(<= board76 9)))
(declare-const board77 Int)(assert (= 2 board77))
(declare-const board78 Int)(assert (and (<= 1 board78)(<= board78 9)))
(declare-const board79 Int)(assert (and (<= 1 board79)(<= board79 9)))
(declare-const board81 Int)(assert (and (<= 1 board81)(<= board81 9)))
(declare-const board82 Int)(assert (= 9 board82))
(declare-const board83 Int)(assert (and (<= 1 board83)(<= board83 9)))
(declare-const board84 Int)(assert (and (<= 1 board84)(<= board84 9)))
(declare-const board85 Int)(assert (and (<= 1 board85)(<= board85 9)))
(declare-const board86 Int)(assert (= 1 board86))
(declare-const board87 Int)(assert (and (<= 1 board87)(<= board87 9)))
(declare-const board88 Int)(assert (= 4 board88))
(declare-const board89 Int)(assert (= 6 board89))
(declare-const board91 Int)(assert (and (<= 1 board91)(<= board91 9)))
(declare-const board92 Int)(assert (= 4 board92))
(declare-const board93 Int)(assert (= 3 board93))
(declare-const board94 Int)(assert (and (<= 1 board94)(<= board94 9)))
(declare-const board95 Int)(assert (= 2 board95))
(declare-const board96 Int)(assert (and (<= 1 board96)(<= board96 9)))
(declare-const board97 Int)(assert (= 9 board97))
(declare-const board98 Int)(assert (and (<= 1 board98)(<= board98 9)))
(declare-const board99 Int)(assert (and (<= 1 board99)(<= board99 9)))
(assert (distinct board11 board12 board13 board14 board15 board16 board17 board18 board19))
(assert (distinct board11 board21 board31 board41 board51 board61 board71 board81 board91))
(assert (distinct board21 board22 board23 board24 board25 board26 board27 board28 board29))
(assert (distinct board12 board22 board32 board42 board52 board62 board72 board82 board92))
(assert (distinct board31 board32 board33 board34 board35 board36 board37 board38 board39))
(assert (distinct board13 board23 board33 board43 board53 board63 board73 board83 board93))
(assert (distinct board41 board42 board43 board44 board45 board46 board47 board48 board49))
(assert (distinct board14 board24 board34 board44 board54 board64 board74 board84 board94))
(assert (distinct board51 board52 board53 board54 board55 board56 board57 board58 board59))
(assert (distinct board15 board25 board35 board45 board55 board65 board75 board85 board95))
(assert (distinct board61 board62 board63 board64 board65 board66 board67 board68 board69))
(assert (distinct board16 board26 board36 board46 board56 board66 board76 board86 board96))
(assert (distinct board71 board72 board73 board74 board75 board76 board77 board78 board79))
(assert (distinct board17 board27 board37 board47 board57 board67 board77 board87 board97))
(assert (distinct board81 board82 board83 board84 board85 board86 board87 board88 board89))
(assert (distinct board18 board28 board38 board48 board58 board68 board78 board88 board98))
(assert (distinct board91 board92 board93 board94 board95 board96 board97 board98 board99))
(assert (distinct board19 board29 board39 board49 board59 board69 board79 board89 board99))
(assert (distinct board11 board12 board13 board21 board22 board23 board31 board32 board33))
(assert (distinct board14 board15 board16 board24 board25 board26 board34 board35 board36))
(assert (distinct board17 board18 board19 board27 board28 board29 board37 board38 board39))
(assert (distinct board41 board42 board43 board51 board52 board53 board61 board62 board63))
(assert (distinct board44 board45 board46 board54 board55 board56 board64 board65 board66))
(assert (distinct board47 board48 board49 board57 board58 board59 board67 board68 board69))
(assert (distinct board71 board72 board73 board81 board82 board83 board91 board92 board93))
(assert (distinct board74 board75 board76 board84 board85 board86 board94 board95 board96))
(assert (distinct board77 board78 board79 board87 board88 board89 board97 board98 board99))
(check-sat)
(get-value ( board11 board12 board13 board14 board15 board16 board17 board18 board19))
(get-value ( board21 board22 board23 board24 board25 board26 board27 board28 board29))
(get-value ( board31 board32 board33 board34 board35 board36 board37 board38 board39))
(get-value ( board41 board42 board43 board44 board45 board46 board47 board48 board49))
(get-value ( board51 board52 board53 board54 board55 board56 board57 board58 board59))
(get-value ( board61 board62 board63 board64 board65 board66 board67 board68 board69))
(get-value ( board71 board72 board73 board74 board75 board76 board77 board78 board79))
(get-value ( board81 board82 board83 board84 board85 board86 board87 board88 board89))
(get-value ( board91 board92 board93 board94 board95 board96 board97 board98 board99))

DSM-REG-2005-09-20-White-Belt.smt

(set-info :smt-lib-version 2.6)
(set-logic QF_LIA)
(set-option :produce-models true)
(set-info :status sat)
(declare-const board11 Int)(assert (= 7 board11))
(declare-const board12 Int)(assert (= 4 board12))
(declare-const board13 Int)(assert (and (<= 1 board13)(<= board13 9)))
(declare-const board14 Int)(assert (= 5 board14))
(declare-const board15 Int)(assert (and (<= 1 board15)(<= board15 9)))
(declare-const board16 Int)(assert (and (<= 1 board16)(<= board16 9)))
(declare-const board17 Int)(assert (and (<= 1 board17)(<= board17 9)))
(declare-const board18 Int)(assert (and (<= 1 board18)(<= board18 9)))
(declare-const board19 Int)(assert (and (<= 1 board19)(<= board19 9)))
(declare-const board21 Int)(assert (and (<= 1 board21)(<= board21 9)))
(declare-const board22 Int)(assert (= 2 board22))
(declare-const board23 Int)(assert (and (<= 1 board23)(<= board23 9)))
(declare-const board24 Int)(assert (= 3 board24))
(declare-const board25 Int)(assert (= 7 board25))
(declare-const board26 Int)(assert (= 8 board26))
(declare-const board27 Int)(assert (and (<= 1 board27)(<= board27 9)))
(declare-const board28 Int)(assert (and (<= 1 board28)(<= board28 9)))
(declare-const board29 Int)(assert (= 6 board29))
(declare-const board31 Int)(assert (and (<= 1 board31)(<= board31 9)))
(declare-const board32 Int)(assert (and (<= 1 board32)(<= board32 9)))
(declare-const board33 Int)(assert (and (<= 1 board33)(<= board33 9)))
(declare-const board34 Int)(assert (and (<= 1 board34)(<= board34 9)))
(declare-const board35 Int)(assert (and (<= 1 board35)(<= board35 9)))
(declare-const board36 Int)(assert (= 9 board36))
(declare-const board37 Int)(assert (and (<= 1 board37)(<= board37 9)))
(declare-const board38 Int)(assert (= 5 board38))
(declare-const board39 Int)(assert (= 7 board39))
(declare-const board41 Int)(assert (= 4 board41))
(declare-const board42 Int)(assert (and (<= 1 board42)(<= board42 9)))
(declare-const board43 Int)(assert (and (<= 1 board43)(<= board43 9)))
(declare-const board44 Int)(assert (= 7 board44))
(declare-const board45 Int)(assert (and (<= 1 board45)(<= board45 9)))
(declare-const board46 Int)(assert (and (<= 1 board46)(<= board46 9)))
(declare-const board47 Int)(assert (and (<= 1 board47)(<= board47 9)))
(declare-const board48 Int)(assert (and (<= 1 board48)(<= board48 9)))
(declare-const board49 Int)(assert (and (<= 1 board49)(<= board49 9)))
(declare-const board51 Int)(assert (= 9 board51))
(declare-const board52 Int)(assert (and (<= 1 board52)(<= board52 9)))
(declare-const board53 Int)(assert (and (<= 1 board53)(<= board53 9)))
(declare-const board54 Int)(assert (and (<= 1 board54)(<= board54 9)))
(declare-const board55 Int)(assert (and (<= 1 board55)(<= board55 9)))
(declare-const board56 Int)(assert (and (<= 1 board56)(<= board56 9)))
(declare-const board57 Int)(assert (and (<= 1 board57)(<= board57 9)))
(declare-const board58 Int)(assert (and (<= 1 board58)(<= board58 9)))
(declare-const board59 Int)(assert (= 3 board59))
(declare-const board61 Int)(assert (and (<= 1 board61)(<= board61 9)))
(declare-const board62 Int)(assert (and (<= 1 board62)(<= board62 9)))
(declare-const board63 Int)(assert (and (<= 1 board63)(<= board63 9)))
(declare-const board64 Int)(assert (and (<= 1 board64)(<= board64 9)))
(declare-const board65 Int)(assert (and (<= 1 board65)(<= board65 9)))
(declare-const board66 Int)(assert (= 3 board66))
(declare-const board67 Int)(assert (and (<= 1 board67)(<= board67 9)))
(declare-const board68 Int)(assert (and (<= 1 board68)(<= board68 9)))
(declare-const board69 Int)(assert (= 2 board69))
(declare-const board71 Int)(assert (= 1 board71))
(declare-const board72 Int)(assert (= 5 board72))
(declare-const board73 Int)(assert (and (<= 1 board73)(<= board73 9)))
(declare-const board74 Int)(assert (= 9 board74))
(declare-const board75 Int)(assert (and (<= 1 board75)(<= board75 9)))
(declare-const board76 Int)(assert (and (<= 1 board76)(<= board76 9)))
(declare-const board77 Int)(assert (and (<= 1 board77)(<= board77 9)))
(declare-const board78 Int)(assert (and (<= 1 board78)(<= board78 9)))
(declare-const board79 Int)(assert (and (<= 1 board79)(<= board79 9)))
(declare-const board81 Int)(assert (= 2 board81))
(declare-const board82 Int)(assert (and (<= 1 board82)(<= board82 9)))
(declare-const board83 Int)(assert (and (<= 1 board83)(<= board83 9)))
(declare-const board84 Int)(assert (= 1 board84))
(declare-const board85 Int)(assert (= 4 board85))
(declare-const board86 Int)(assert (= 7 board86))
(declare-const board87 Int)(assert (and (<= 1 board87)(<= board87 9)))
(declare-const board88 Int)(assert (= 9 board88))
(declare-const board89 Int)(assert (and (<= 1 board89)(<= board89 9)))
(declare-const board91 Int)(assert (and (<= 1 board91)(<= board91 9)))
(declare-const board92 Int)(assert (and (<= 1 board92)(<= board92 9)))
(declare-const board93 Int)(assert (and (<= 1 board93)(<= board93 9)))
(declare-const board94 Int)(assert (and (<= 1 board94)(<= board94 9)))
(declare-const board95 Int)(assert (and (<= 1 board95)(<= board95 9)))
(declare-const board96 Int)(assert (= 2 board96))
(declare-const board97 Int)(assert (and (<= 1 board97)(<= board97 9)))
(declare-const board98 Int)(assert (= 1 board98))
(declare-const board99 Int)(assert (= 4 board99))
(assert (distinct board11 board12 board13 board14 board15 board16 board17 board18 board19))
(assert (distinct board11 board21 board31 board41 board51 board61 board71 board81 board91))
(assert (distinct board21 board22 board23 board24 board25 board26 board27 board28 board29))
(assert (distinct board12 board22 board32 board42 board52 board62 board72 board82 board92))
(assert (distinct board31 board32 board33 board34 board35 board36 board37 board38 board39))
(assert (distinct board13 board23 board33 board43 board53 board63 board73 board83 board93))
(assert (distinct board41 board42 board43 board44 board45 board46 board47 board48 board49))
(assert (distinct board14 board24 board34 board44 board54 board64 board74 board84 board94))
(assert (distinct board51 board52 board53 board54 board55 board56 board57 board58 board59))
(assert (distinct board15 board25 board35 board45 board55 board65 board75 board85 board95))
(assert (distinct board61 board62 board63 board64 board65 board66 board67 board68 board69))
(assert (distinct board16 board26 board36 board46 board56 board66 board76 board86 board96))
(assert (distinct board71 board72 board73 board74 board75 board76 board77 board78 board79))
(assert (distinct board17 board27 board37 board47 board57 board67 board77 board87 board97))
(assert (distinct board81 board82 board83 board84 board85 board86 board87 board88 board89))
(assert (distinct board18 board28 board38 board48 board58 board68 board78 board88 board98))
(assert (distinct board91 board92 board93 board94 board95 board96 board97 board98 board99))
(assert (distinct board19 board29 board39 board49 board59 board69 board79 board89 board99))
(assert (distinct board11 board12 board13 board21 board22 board23 board31 board32 board33))
(assert (distinct board14 board15 board16 board24 board25 board26 board34 board35 board36))
(assert (distinct board17 board18 board19 board27 board28 board29 board37 board38 board39))
(assert (distinct board41 board42 board43 board51 board52 board53 board61 board62 board63))
(assert (distinct board44 board45 board46 board54 board55 board56 board64 board65 board66))
(assert (distinct board47 board48 board49 board57 board58 board59 board67 board68 board69))
(assert (distinct board71 board72 board73 board81 board82 board83 board91 board92 board93))
(assert (distinct board74 board75 board76 board84 board85 board86 board94 board95 board96))
(assert (distinct board77 board78 board79 board87 board88 board89 board97 board98 board99))
(check-sat)
(get-value ( board11 board12 board13 board14 board15 board16 board17 board18 board19))
(get-value ( board21 board22 board23 board24 board25 board26 board27 board28 board29))
(get-value ( board31 board32 board33 board34 board35 board36 board37 board38 board39))
(get-value ( board41 board42 board43 board44 board45 board46 board47 board48 board49))
(get-value ( board51 board52 board53 board54 board55 board56 board57 board58 board59))
(get-value ( board61 board62 board63 board64 board65 board66 board67 board68 board69))
(get-value ( board71 board72 board73 board74 board75 board76 board77 board78 board79))
(get-value ( board81 board82 board83 board84 board85 board86 board87 board88 board89))
(get-value ( board91 board92 board93 board94 board95 board96 board97 board98 board99))

MJH-20060620-2045.smt

(set-info :smt-lib-version 2.6)
(set-logic QF_LIA)
(set-option :produce-models true)
(set-info :status sat)
(declare-const board11 Int)(assert (and (<= 1 board11)(<= board11 9)))
(declare-const board12 Int)(assert (= 3 board12))
(declare-const board13 Int)(assert (= 6 board13))
(declare-const board14 Int)(assert (and (<= 1 board14)(<= board14 9)))
(declare-const board15 Int)(assert (and (<= 1 board15)(<= board15 9)))
(declare-const board16 Int)(assert (and (<= 1 board16)(<= board16 9)))
(declare-const board17 Int)(assert (= 4 board17))
(declare-const board18 Int)(assert (and (<= 1 board18)(<= board18 9)))
(declare-const board19 Int)(assert (= 2 board19))
(declare-const board21 Int)(assert (and (<= 1 board21)(<= board21 9)))
(declare-const board22 Int)(assert (and (<= 1 board22)(<= board22 9)))
(declare-const board23 Int)(assert (and (<= 1 board23)(<= board23 9)))
(declare-const board24 Int)(assert (and (<= 1 board24)(<= board24 9)))
(declare-const board25 Int)(assert (and (<= 1 board25)(<= board25 9)))
(declare-const board26 Int)(assert (and (<= 1 board26)(<= board26 9)))
(declare-const board27 Int)(assert (and (<= 1 board27)(<= board27 9)))
(declare-const board28 Int)(assert (and (<= 1 board28)(<= board28 9)))
(declare-const board29 Int)(assert (and (<= 1 board29)(<= board29 9)))
(declare-const board31 Int)(assert (and (<= 1 board31)(<= board31 9)))
(declare-const board32 Int)(assert (and (<= 1 board32)(<= board32 9)))
(declare-const board33 Int)(assert (and (<= 1 board33)(<= board33 9)))
(declare-const board34 Int)(assert (= 3 board34))
(declare-const board35 Int)(assert (= 7 board35))
(declare-const board36 Int)(assert (= 2 board36))
(declare-const board37 Int)(assert (= 8 board37))
(declare-const board38 Int)(assert (and (<= 1 board38)(<= board38 9)))
(declare-const board39 Int)(assert (and (<= 1 board39)(<= board39 9)))
(declare-const board41 Int)(assert (and (<= 1 board41)(<= board41 9)))
(declare-const board42 Int)(assert (and (<= 1 board42)(<= board42 9)))
(declare-const board43 Int)(assert (= 5 board43))
(declare-const board44 Int)(assert (and (<= 1 board44)(<= board44 9)))
(declare-const board45 Int)(assert (and (<= 1 board45)(<= board45 9)))
(declare-const board46 Int)(assert (= 8 board46))
(declare-const board47 Int)(assert (= 2 board47))
(declare-const board48 Int)(assert (and (<= 1 board48)(<= board48 9)))
(declare-const board49 Int)(assert (= 4 board49))
(declare-const board51 Int)(assert (and (<= 1 board51)(<= board51 9)))
(declare-const board52 Int)(assert (and (<= 1 board52)(<= board52 9)))
(declare-const board53 Int)(assert (and (<= 1 board53)(<= board53 9)))
(declare-const board54 Int)(assert (and (<= 1 board54)(<= board54 9)))
(declare-const board55 Int)(assert (and (<= 1 board55)(<= board55 9)))
(declare-const board56 Int)(assert (and (<= 1 board56)(<= board56 9)))
(declare-const board57 Int)(assert (and (<= 1 board57)(<= board57 9)))
(declare-const board58 Int)(assert (and (<= 1 board58)(<= board58 9)))
(declare-const board59 Int)(assert (and (<= 1 board59)(<= board59 9)))
(declare-const board61 Int)(assert (= 7 board61))
(declare-const board62 Int)(assert (and (<= 1 board62)(<= board62 9)))
(declare-const board63 Int)(assert (= 9 board63))
(declare-const board64 Int)(assert (= 2 board64))
(declare-const board65 Int)(assert (and (<= 1 board65)(<= board65 9)))
(declare-const board66 Int)(assert (and (<= 1 board66)(<= board66 9)))
(declare-const board67 Int)(assert (= 5 board67))
(declare-const board68 Int)(assert (and (<= 1 board68)(<= board68 9)))
(declare-const board69 Int)(assert (and (<= 1 board69)(<= board69 9)))
(declare-const board71 Int)(assert (and (<= 1 board71)(<= board71 9)))
(declare-const board72 Int)(assert (and (<= 1 board72)(<= board72 9)))
(declare-const board73 Int)(assert (= 2 board73))
(declare-const board74 Int)(assert (= 1 board74))
(declare-const board75 Int)(assert (= 5 board75))
(declare-const board76 Int)(assert (= 9 board76))
(declare-const board77 Int)(assert (and (<= 1 board77)(<= board77 9)))
(declare-const board78 Int)(assert (and (<= 1 board78)(<= board78 9)))
(declare-const board79 Int)(assert (and (<= 1 board79)(<= board79 9)))
(declare-const board81 Int)(assert (and (<= 1 board81)(<= board81 9)))
(declare-const board82 Int)(assert (and (<= 1 board82)(<= board82 9)))
(declare-const board83 Int)(assert (and (<= 1 board83)(<= board83 9)))
(declare-const board84 Int)(assert (and (<= 1 board84)(<= board84 9)))
(declare-const board85 Int)(assert (and (<= 1 board85)(<= board85 9)))
(declare-const board86 Int)(assert (and (<= 1 board86)(<= board86 9)))
(declare-const board87 Int)(assert (and (<= 1 board87)(<= board87 9)))
(declare-const board88 Int)(assert (and (<= 1 board88)(<= board88 9)))
(declare-const board89 Int)(assert (and (<= 1 board89)(<= board89 9)))
(declare-const board91 Int)(assert (= 8 board91))
(declare-const board92 Int)(assert (and (<= 1 board92)(<= board92 9)))
(declare-const board93 Int)(assert (= 1 board93))
(declare-const board94 Int)(assert (and (<= 1 board94)(<= board94 9)))
(declare-const board95 Int)(assert (and (<= 1 board95)(<= board95 9)))
(declare-const board96 Int)(assert (and (<= 1 board96)(<= board96 9)))
(declare-const board97 Int)(assert (= 3 board97))
(declare-const board98 Int)(assert (= 9 board98))
(declare-const board99 Int)(assert (and (<= 1 board99)(<= board99 9)))
(assert (distinct board11 board12 board13 board14 board15 board16 board17 board18 board19))
(assert (distinct board11 board21 board31 board41 board51 board61 board71 board81 board91))
(assert (distinct board21 board22 board23 board24 board25 board26 board27 board28 board29))
(assert (distinct board12 board22 board32 board42 board52 board62 board72 board82 board92))
(assert (distinct board31 board32 board33 board34 board35 board36 board37 board38 board39))
(assert (distinct board13 board23 board33 board43 board53 board63 board73 board83 board93))
(assert (distinct board41 board42 board43 board44 board45 board46 board47 board48 board49))
(assert (distinct board14 board24 board34 board44 board54 board64 board74 board84 board94))
(assert (distinct board51 board52 board53 board54 board55 board56 board57 board58 board59))
(assert (distinct board15 board25 board35 board45 board55 board65 board75 board85 board95))
(assert (distinct board61 board62 board63 board64 board65 board66 board67 board68 board69))
(assert (distinct board16 board26 board36 board46 board56 board66 board76 board86 board96))
(assert (distinct board71 board72 board73 board74 board75 board76 board77 board78 board79))
(assert (distinct board17 board27 board37 board47 board57 board67 board77 board87 board97))
(assert (distinct board81 board82 board83 board84 board85 board86 board87 board88 board89))
(assert (distinct board18 board28 board38 board48 board58 board68 board78 board88 board98))
(assert (distinct board91 board92 board93 board94 board95 board96 board97 board98 board99))
(assert (distinct board19 board29 board39 board49 board59 board69 board79 board89 board99))
(assert (distinct board11 board12 board13 board21 board22 board23 board31 board32 board33))
(assert (distinct board14 board15 board16 board24 board25 board26 board34 board35 board36))
(assert (distinct board17 board18 board19 board27 board28 board29 board37 board38 board39))
(assert (distinct board41 board42 board43 board51 board52 board53 board61 board62 board63))
(assert (distinct board44 board45 board46 board54 board55 board56 board64 board65 board66))
(assert (distinct board47 board48 board49 board57 board58 board59 board67 board68 board69))
(assert (distinct board71 board72 board73 board81 board82 board83 board91 board92 board93))
(assert (distinct board74 board75 board76 board84 board85 board86 board94 board95 board96))
(assert (distinct board77 board78 board79 board87 board88 board89 board97 board98 board99))
(check-sat)
(get-value ( board11 board12 board13 board14 board15 board16 board17 board18 board19))
(get-value ( board21 board22 board23 board24 board25 board26 board27 board28 board29))
(get-value ( board31 board32 board33 board34 board35 board36 board37 board38 board39))
(get-value ( board41 board42 board43 board44 board45 board46 board47 board48 board49))
(get-value ( board51 board52 board53 board54 board55 board56 board57 board58 board59))
(get-value ( board61 board62 board63 board64 board65 board66 board67 board68 board69))
(get-value ( board71 board72 board73 board74 board75 board76 board77 board78 board79))
(get-value ( board81 board82 board83 board84 board85 board86 board87 board88 board89))
(get-value ( board91 board92 board93 board94 board95 board96 board97 board98 board99))

MJH-20060620-2046.smt

(set-info :smt-lib-version 2.6)
(set-logic QF_LIA)
(set-option :produce-models true)
(set-info :status sat)
(declare-const board11 Int)(assert (and (<= 1 board11)(<= board11 9)))
(declare-const board12 Int)(assert (and (<= 1 board12)(<= board12 9)))
(declare-const board13 Int)(assert (= 9 board13))
(declare-const board14 Int)(assert (= 6 board14))
(declare-const board15 Int)(assert (and (<= 1 board15)(<= board15 9)))
(declare-const board16 Int)(assert (and (<= 1 board16)(<= board16 9)))
(declare-const board17 Int)(assert (and (<= 1 board17)(<= board17 9)))
(declare-const board18 Int)(assert (and (<= 1 board18)(<= board18 9)))
(declare-const board19 Int)(assert (= 1 board19))
(declare-const board21 Int)(assert (and (<= 1 board21)(<= board21 9)))
(declare-const board22 Int)(assert (and (<= 1 board22)(<= board22 9)))
(declare-const board23 Int)(assert (= 2 board23))
(declare-const board24 Int)(assert (and (<= 1 board24)(<= board24 9)))
(declare-const board25 Int)(assert (= 5 board25))
(declare-const board26 Int)(assert (and (<= 1 board26)(<= board26 9)))
(declare-const board27 Int)(assert (and (<= 1 board27)(<= board27 9)))
(declare-const board28 Int)(assert (= 3 board28))
(declare-const board29 Int)(assert (and (<= 1 board29)(<= board29 9)))
(declare-const board31 Int)(assert (and (<= 1 board31)(<= board31 9)))
(declare-const board32 Int)(assert (= 3 board32))
(declare-const board33 Int)(assert (and (<= 1 board33)(<= board33 9)))
(declare-const board34 Int)(assert (= 9 board34))
(declare-const board35 Int)(assert (and (<= 1 board35)(<= board35 9)))
(declare-const board36 Int)(assert (and (<= 1 board36)(<= board36 9)))
(declare-const board37 Int)(assert (and (<= 1 board37)(<= board37 9)))
(declare-const board38 Int)(assert (and (<= 1 board38)(<= board38 9)))
(declare-const board39 Int)(assert (and (<= 1 board39)(<= board39 9)))
(declare-const board41 Int)(assert (= 6 board41))
(declare-const board42 Int)(assert (= 2 board42))
(declare-const board43 Int)(assert (= 3 board43))
(declare-const board44 Int)(assert (and (<= 1 board44)(<= board44 9)))
(declare-const board45 Int)(assert (and (<= 1 board45)(<= board45 9)))
(declare-const board46 Int)(assert (and (<= 1 board46)(<= board46 9)))
(declare-const board47 Int)(assert (and (<= 1 board47)(<= board47 9)))
(declare-const board48 Int)(assert (and (<= 1 board48)(<= board48 9)))
(declare-const board49 Int)(assert (and (<= 1 board49)(<= board49 9)))
(declare-const board51 Int)(assert (and (<= 1 board51)(<= board51 9)))
(declare-const board52 Int)(assert (= 5 board52))
(declare-const board53 Int)(assert (and (<= 1 board53)(<= board53 9)))
(declare-const board54 Int)(assert (and (<= 1 board54)(<= board54 9)))
(declare-const board55 Int)(assert (= 8 board55))
(declare-const board56 Int)(assert (and (<= 1 board56)(<= board56 9)))
(declare-const board57 Int)(assert (and (<= 1 board57)(<= board57 9)))
(declare-const board58 Int)(assert (= 6 board58))
(declare-const board59 Int)(assert (and (<= 1 board59)(<= board59 9)))
(declare-const board61 Int)(assert (and (<= 1 board61)(<= board61 9)))
(declare-const board62 Int)(assert (and (<= 1 board62)(<= board62 9)))
(declare-const board63 Int)(assert (and (<= 1 board63)(<= board63 9)))
(declare-const board64 Int)(assert (and (<= 1 board64)(<= board64 9)))
(declare-const board65 Int)(assert (and (<= 1 board65)(<= board65 9)))
(declare-const board66 Int)(assert (and (<= 1 board66)(<= board66 9)))
(declare-const board67 Int)(assert (= 2 board67))
(declare-const board68 Int)(assert (= 4 board68))
(declare-const board69 Int)(assert (= 5 board69))
(declare-const board71 Int)(assert (and (<= 1 board71)(<= board71 9)))
(declare-const board72 Int)(assert (and (<= 1 board72)(<= board72 9)))
(declare-const board73 Int)(assert (and (<= 1 board73)(<= board73 9)))
(declare-const board74 Int)(assert (and (<= 1 board74)(<= board74 9)))
(declare-const board75 Int)(assert (and (<= 1 board75)(<= board75 9)))
(declare-const board76 Int)(assert (= 3 board76))
(declare-const board77 Int)(assert (and (<= 1 board77)(<= board77 9)))
(declare-const board78 Int)(assert (= 1 board78))
(declare-const board79 Int)(assert (and (<= 1 board79)(<= board79 9)))
(declare-const board81 Int)(assert (and (<= 1 board81)(<= board81 9)))
(declare-const board82 Int)(assert (= 9 board82))
(declare-const board83 Int)(assert (and (<= 1 board83)(<= board83 9)))
(declare-const board84 Int)(assert (and (<= 1 board84)(<= board84 9)))
(declare-const board85 Int)(assert (= 2 board85))
(declare-const board86 Int)(assert (and (<= 1 board86)(<= board86 9)))
(declare-const board87 Int)(assert (= 6 board87))
(declare-const board88 Int)(assert (and (<= 1 board88)(<= board88 9)))
(declare-const board89 Int)(assert (and (<= 1 board89)(<= board89 9)))
(declare-const board91 Int)(assert (= 1 board91))
(declare-const board92 Int)(assert (and (<= 1 board92)(<= board92 9)))
(declare-const board93 Int)(assert (and (<= 1 board93)(<= board93 9)))
(declare-const board94 Int)(assert (and (<= 1 board94)(<= board94 9)))
(declare-const board95 Int)(assert (and (<= 1 board95)(<= board95 9)))
(declare-const board96 Int)(assert (= 4 board96))
(declare-const board97 Int)(assert (= 5 board97))
(declare-const board98 Int)(assert (and (<= 1 board98)(<= board98 9)))
(declare-const board99 Int)(assert (and (<= 1 board99)(<= board99 9)))
(assert (distinct board11 board12 board13 board14 board15 board16 board17 board18 board19))
(assert (distinct board11 board21 board31 board41 board51 board61 board71 board81 board91))
(assert (distinct board21 board22 board23 board24 board25 board26 board27 board28 board29))
(assert (distinct board12 board22 board32 board42 board52 board62 board72 board82 board92))
(assert (distinct board31 board32 board33 board34 board35 board36 board37 board38 board39))
(assert (distinct board13 board23 board33 board43 board53 board63 board73 board83 board93))
(assert (distinct board41 board42 board43 board44 board45 board46 board47 board48 board49))
(assert (distinct board14 board24 board34 board44 board54 board64 board74 board84 board94))
(assert (distinct board51 board52 board53 board54 board55 board56 board57 board58 board59))
(assert (distinct board15 board25 board35 board45 board55 board65 board75 board85 board95))
(assert (distinct board61 board62 board63 board64 board65 board66 board67 board68 board69))
(assert (distinct board16 board26 board36 board46 board56 board66 board76 board86 board96))
(assert (distinct board71 board72 board73 board74 board75 board76 board77 board78 board79))
(assert (distinct board17 board27 board37 board47 board57 board67 board77 board87 board97))
(assert (distinct board81 board82 board83 board84 board85 board86 board87 board88 board89))
(assert (distinct board18 board28 board38 board48 board58 board68 board78 board88 board98))
(assert (distinct board91 board92 board93 board94 board95 board96 board97 board98 board99))
(assert (distinct board19 board29 board39 board49 board59 board69 board79 board89 board99))
(assert (distinct board11 board12 board13 board21 board22 board23 board31 board32 board33))
(assert (distinct board14 board15 board16 board24 board25 board26 board34 board35 board36))
(assert (distinct board17 board18 board19 board27 board28 board29 board37 board38 board39))
(assert (distinct board41 board42 board43 board51 board52 board53 board61 board62 board63))
(assert (distinct board44 board45 board46 board54 board55 board56 board64 board65 board66))
(assert (distinct board47 board48 board49 board57 board58 board59 board67 board68 board69))
(assert (distinct board71 board72 board73 board81 board82 board83 board91 board92 board93))
(assert (distinct board74 board75 board76 board84 board85 board86 board94 board95 board96))
(assert (distinct board77 board78 board79 board87 board88 board89 board97 board98 board99))
(check-sat)
(get-value ( board11 board12 board13 board14 board15 board16 board17 board18 board19))
(get-value ( board21 board22 board23 board24 board25 board26 board27 board28 board29))
(get-value ( board31 board32 board33 board34 board35 board36 board37 board38 board39))
(get-value ( board41 board42 board43 board44 board45 board46 board47 board48 board49))
(get-value ( board51 board52 board53 board54 board55 board56 board57 board58 board59))
(get-value ( board61 board62 board63 board64 board65 board66 board67 board68 board69))
(get-value ( board71 board72 board73 board74 board75 board76 board77 board78 board79))
(get-value ( board81 board82 board83 board84 board85 board86 board87 board88 board89))
(get-value ( board91 board92 board93 board94 board95 board96 board97 board98 board99))

MJH-20060621-1502.smt

(set-info :smt-lib-version 2.6)
(set-logic QF_LIA)
(set-option :produce-models true)
(set-info :status sat)
(declare-const board11 Int)(assert (and (<= 1 board11)(<= board11 9)))
(declare-const board12 Int)(assert (and (<= 1 board12)(<= board12 9)))
(declare-const board13 Int)(assert (and (<= 1 board13)(<= board13 9)))
(declare-const board14 Int)(assert (= 8 board14))
(declare-const board15 Int)(assert (and (<= 1 board15)(<= board15 9)))
(declare-const board16 Int)(assert (= 2 board16))
(declare-const board17 Int)(assert (and (<= 1 board17)(<= board17 9)))
(declare-const board18 Int)(assert (and (<= 1 board18)(<= board18 9)))
(declare-const board19 Int)(assert (and (<= 1 board19)(<= board19 9)))
(declare-const board21 Int)(assert (= 2 board21))
(declare-const board22 Int)(assert (= 9 board22))
(declare-const board23 Int)(assert (and (<= 1 board23)(<= board23 9)))
(declare-const board24 Int)(assert (and (<= 1 board24)(<= board24 9)))
(declare-const board25 Int)(assert (= 7 board25))
(declare-const board26 Int)(assert (and (<= 1 board26)(<= board26 9)))
(declare-const board27 Int)(assert (and (<= 1 board27)(<= board27 9)))
(declare-const board28 Int)(assert (= 1 board28))
(declare-const board29 Int)(assert (= 3 board29))
(declare-const board31 Int)(assert (and (<= 1 board31)(<= board31 9)))
(declare-const board32 Int)(assert (= 8 board32))
(declare-const board33 Int)(assert (and (<= 1 board33)(<= board33 9)))
(declare-const board34 Int)(assert (and (<= 1 board34)(<= board34 9)))
(declare-const board35 Int)(assert (and (<= 1 board35)(<= board35 9)))
(declare-const board36 Int)(assert (and (<= 1 board36)(<= board36 9)))
(declare-const board37 Int)(assert (and (<= 1 board37)(<= board37 9)))
(declare-const board38 Int)(assert (= 7 board38))
(declare-const board39 Int)(assert (and (<= 1 board39)(<= board39 9)))
(declare-const board41 Int)(assert (and (<= 1 board41)(<= board41 9)))
(declare-const board42 Int)(assert (= 5 board42))
(declare-const board43 Int)(assert (= 4 board43))
(declare-const board44 Int)(assert (and (<= 1 board44)(<= board44 9)))
(declare-const board45 Int)(assert (and (<= 1 board45)(<= board45 9)))
(declare-const board46 Int)(assert (and (<= 1 board46)(<= board46 9)))
(declare-const board47 Int)(assert (= 1 board47))
(declare-const board48 Int)(assert (= 2 board48))
(declare-const board49 Int)(assert (and (<= 1 board49)(<= board49 9)))
(declare-const board51 Int)(assert (= 1 board51))
(declare-const board52 Int)(assert (and (<= 1 board52)(<= board52 9)))
(declare-const board53 Int)(assert (and (<= 1 board53)(<= board53 9)))
(declare-const board54 Int)(assert (and (<= 1 board54)(<= board54 9)))
(declare-const board55 Int)(assert (and (<= 1 board55)(<= board55 9)))
(declare-const board56 Int)(assert (and (<= 1 board56)(<= board56 9)))
(declare-const board57 Int)(assert (and (<= 1 board57)(<= board57 9)))
(declare-const board58 Int)(assert (and (<= 1 board58)(<= board58 9)))
(declare-const board59 Int)(assert (= 7 board59))
(declare-const board61 Int)(assert (and (<= 1 board61)(<= board61 9)))
(declare-const board62 Int)(assert (= 7 board62))
(declare-const board63 Int)(assert (= 9 board63))
(declare-const board64 Int)(assert (and (<= 1 board64)(<= board64 9)))
(declare-const board65 Int)(assert (and (<= 1 board65)(<= board65 9)))
(declare-const board66 Int)(assert (and (<= 1 board66)(<= board66 9)))
(declare-const board67 Int)(assert (= 6 board67))
(declare-const board68 Int)(assert (= 8 board68))
(declare-const board69 Int)(assert (and (<= 1 board69)(<= board69 9)))
(declare-const board71 Int)(assert (and (<= 1 board71)(<= board71 9)))
(declare-const board72 Int)(assert (= 4 board72))
(declare-const board73 Int)(assert (and (<= 1 board73)(<= board73 9)))
(declare-const board74 Int)(assert (and (<= 1 board74)(<= board74 9)))
(declare-const board75 Int)(assert (and (<= 1 board75)(<= board75 9)))
(declare-const board76 Int)(assert (and (<= 1 board76)(<= board76 9)))
(declare-const board77 Int)(assert (and (<= 1 board77)(<= board77 9)))
(declare-const board78 Int)(assert (= 6 board78))
(declare-const board79 Int)(assert (and (<= 1 board79)(<= board79 9)))
(declare-const board81 Int)(assert (= 7 board81))
(declare-const board82 Int)(assert (= 2 board82))
(declare-const board83 Int)(assert (and (<= 1 board83)(<= board83 9)))
(declare-const board84 Int)(assert (and (<= 1 board84)(<= board84 9)))
(declare-const board85 Int)(assert (= 6 board85))
(declare-const board86 Int)(assert (and (<= 1 board86)(<= board86 9)))
(declare-const board87 Int)(assert (and (<= 1 board87)(<= board87 9)))
(declare-const board88 Int)(assert (= 3 board88))
(declare-const board89 Int)(assert (= 5 board89))
(declare-const board91 Int)(assert (and (<= 1 board91)(<= board91 9)))
(declare-const board92 Int)(assert (and (<= 1 board92)(<= board92 9)))
(declare-const board93 Int)(assert (and (<= 1 board93)(<= board93 9)))
(declare-const board94 Int)(assert (= 4 board94))
(declare-const board95 Int)(assert (and (<= 1 board95)(<= board95 9)))
(declare-const board96 Int)(assert (= 3 board96))
(declare-const board97 Int)(assert (and (<= 1 board97)(<= board97 9)))
(declare-const board98 Int)(assert (and (<= 1 board98)(<= board98 9)))
(declare-const board99 Int)(assert (and (<= 1 board99)(<= board99 9)))
(assert (distinct board11 board12 board13 board14 board15 board16 board17 board18 board19))
(assert (distinct board11 board21 board31 board41 board51 board61 board71 board81 board91))
(assert (distinct board21 board22 board23 board24 board25 board26 board27 board28 board29))
(assert (distinct board12 board22 board32 board42 board52 board62 board72 board82 board92))
(assert (distinct board31 board32 board33 board34 board35 board36 board37 board38 board39))
(assert (distinct board13 board23 board33 board43 board53 board63 board73 board83 board93))
(assert (distinct board41 board42 board43 board44 board45 board46 board47 board48 board49))
(assert (distinct board14 board24 board34 board44 board54 board64 board74 board84 board94))
(assert (distinct board51 board52 board53 board54 board55 board56 board57 board58 board59))
(assert (distinct board15 board25 board35 board45 board55 board65 board75 board85 board95))
(assert (distinct board61 board62 board63 board64 board65 board66 board67 board68 board69))
(assert (distinct board16 board26 board36 board46 board56 board66 board76 board86 board96))
(assert (distinct board71 board72 board73 board74 board75 board76 board77 board78 board79))
(assert (distinct board17 board27 board37 board47 board57 board67 board77 board87 board97))
(assert (distinct board81 board82 board83 board84 board85 board86 board87 board88 board89))
(assert (distinct board18 board28 board38 board48 board58 board68 board78 board88 board98))
(assert (distinct board91 board92 board93 board94 board95 board96 board97 board98 board99))
(assert (distinct board19 board29 board39 board49 board59 board69 board79 board89 board99))
(assert (distinct board11 board12 board13 board21 board22 board23 board31 board32 board33))
(assert (distinct board14 board15 board16 board24 board25 board26 board34 board35 board36))
(assert (distinct board17 board18 board19 board27 board28 board29 board37 board38 board39))
(assert (distinct board41 board42 board43 board51 board52 board53 board61 board62 board63))
(assert (distinct board44 board45 board46 board54 board55 board56 board64 board65 board66))
(assert (distinct board47 board48 board49 board57 board58 board59 board67 board68 board69))
(assert (distinct board71 board72 board73 board81 board82 board83 board91 board92 board93))
(assert (distinct board74 board75 board76 board84 board85 board86 board94 board95 board96))
(assert (distinct board77 board78 board79 board87 board88 board89 board97 board98 board99))
(check-sat)
(get-value ( board11 board12 board13 board14 board15 board16 board17 board18 board19))
(get-value ( board21 board22 board23 board24 board25 board26 board27 board28 board29))
(get-value ( board31 board32 board33 board34 board35 board36 board37 board38 board39))
(get-value ( board41 board42 board43 board44 board45 board46 board47 board48 board49))
(get-value ( board51 board52 board53 board54 board55 board56 board57 board58 board59))
(get-value ( board61 board62 board63 board64 board65 board66 board67 board68 board69))
(get-value ( board71 board72 board73 board74 board75 board76 board77 board78 board79))
(get-value ( board81 board82 board83 board84 board85 board86 board87 board88 board89))
(get-value ( board91 board92 board93 board94 board95 board96 board97 board98 board99))