smodels version 2.32. Reading...done
Answer: 1
Stable Model: black(1,1) black(4,1) black(7,1) black(1,2) black(2,2) black(4,2) black(6,2) black(7,2) black(8,2) black(9,2) black(10,2) black(2,3) black(4,3) black(6,3) black(10,3) black(2,4) black(3,4) black(4,4) black(5,4) black(6,4) black(7,4) black(8,4) black(9,4) black(2,5) black(4,5) black(8,5) black(10,5) black(1,6) black(2,6) black(4,6) black(5,6) black(6,6) black(8,6) black(9,6) black(10,6) black(2,7) black(4,7) black(7,7) black(9,7) black(2,8) black(3,8) black(4,8) black(6,8) black(7,8) black(9,8) black(2,9) black(4,9) black(5,9) black(6,9) black(8,9) black(9,9) black(1,10) black(2,10) black(5,10) black(9,10) black(10,10) numbered(6,1,4) numbered(10,1,3) numbered(3,3,4) numbered(9,3,3) numbered(10,4,1) numbered(1,5,3) numbered(9,5,1) numbered(7,6,4) numbered(1,7,3) numbered(3,7,3) numbered(6,7,3) numbered(10,7,3) numbered(8,8,2) numbered(7,9,4) numbered(4,10,3) 
True
Duration: 1.845
Number of choice points: 1
Number of wrong choices: 0
Number of atoms: 20667
Number of rules: 84668
Number of picked atoms: 8627
Number of forced atoms: 327
Number of truth assignments: 392956
Size of searchspace (removed): 12 (1332)
