smodels version 2.32. Reading...done
Answer: 1
Stable Model: black(2,1) black(4,1) black(6,1) black(9,1) black(1,2) black(2,2) black(4,2) black(6,2) black(7,2) black(8,2) black(9,2) black(1,3) black(4,3) black(6,3) black(9,3) black(10,3) black(1,4) black(2,4) black(3,4) black(4,4) black(6,4) black(8,4) black(10,4) black(1,5) black(3,5) black(5,5) black(6,5) black(7,5) black(8,5) black(9,5) black(1,6) black(3,6) black(6,6) black(8,6) black(1,7) black(2,7) black(3,7) black(4,7) black(6,7) black(9,7) black(10,7) black(1,8) black(4,8) black(5,8) black(6,8) black(7,8) black(8,8) black(10,8) black(1,9) black(2,9) black(3,9) black(4,9) black(7,9) black(10,9) black(1,10) black(4,10) black(5,10) black(6,10) black(7,10) black(8,10) black(9,10) black(10,10) numbered(1,1,1) numbered(3,1,4) numbered(5,1,4) numbered(7,1,2) numbered(10,2,2) numbered(8,3,3) numbered(9,4,1) numbered(10,5,3) numbered(2,6,2) numbered(5,7,4) numbered(8,7,3) numbered(2,8,2) numbered(9,8,3) numbered(5,9,2) numbered(3,10,2) 
True
Duration: 2.516
Number of choice points: 0
Number of wrong choices: 0
Number of atoms: 20667
Number of rules: 84669
Number of picked atoms: 9631
Number of forced atoms: 605
Number of truth assignments: 1124257
Size of searchspace (removed): 0 (0)
