smodels version 2.32. Reading...done
Answer: 1
Stable Model: black(1,1) black(3,1) black(4,1) black(7,1) black(8,1) black(1,2) black(2,2) black(3,2) black(6,2) black(8,2) black(9,2) black(10,2) black(3,3) black(5,3) black(6,3) black(7,3) black(8,3) black(1,4) black(2,4) black(3,4) black(5,4) black(7,4) black(10,4) black(2,5) black(5,5) black(7,5) black(8,5) black(9,5) black(10,5) black(2,6) black(4,6) black(7,6) black(10,6) black(1,7) black(2,7) black(3,7) black(4,7) black(5,7) black(6,7) black(9,7) black(10,7) black(1,8) black(3,8) black(6,8) black(7,8) black(8,8) black(10,8) black(1,9) black(3,9) black(4,9) black(6,9) black(8,9) black(10,9) black(1,10) black(2,10) black(3,10) black(5,10) black(6,10) black(8,10) black(9,10) black(10,10) numbered(2,1,1) numbered(6,1,9) numbered(9,1,2) numbered(7,2,1) numbered(10,3,4) numbered(1,3,2) numbered(6,4,4) numbered(1,5,2) numbered(9,6,4) numbered(2,8,2) numbered(9,8,2) numbered(5,9,3) numbered(4,10,1) numbered(7,10,2) 
True
Duration: 4.392
Number of choice points: 14
Number of wrong choices: 13
Number of atoms: 20664
Number of rules: 84539
Number of picked atoms: 62554
Number of forced atoms: 1006
Number of truth assignments: 2183173
Size of searchspace (removed): 34 (3978)
