smodels version 2.32. Reading...done
Answer: 1
Stable Model: black(2,1) black(5,1) black(8,1) black(10,1) black(2,2) black(4,2) black(5,2) black(6,2) black(8,2) black(9,2) black(10,2) black(2,3) black(3,3) black(4,3) black(6,3) black(7,3) black(8,3) black(1,4) black(2,4) black(5,4) black(6,4) black(8,4) black(9,4) black(10,4) black(2,5) black(3,5) black(4,5) black(6,5) black(8,5) black(4,6) black(7,6) black(8,6) black(9,6) black(2,7) black(3,7) black(5,7) black(6,7) black(9,7) black(10,7) black(1,8) black(3,8) black(4,8) black(6,8) black(8,8) black(10,8) black(1,9) black(3,9) black(6,9) black(8,9) black(10,9) black(1,10) black(2,10) black(3,10) black(4,10) black(5,10) black(6,10) black(7,10) black(8,10) black(9,10) black(10,10) numbered(7,1,3) numbered(9,1,1) numbered(3,2,3) numbered(1,3,3) numbered(5,3,1) numbered(10,3,2) numbered(4,4,2) numbered(7,5,2) numbered(6,6,3) numbered(10,6,3) numbered(1,7,5) numbered(4,7,1) numbered(8,7,4) numbered(2,8,2) numbered(5,8,3) numbered(9,8,2) 
True
Duration: 1.405
Number of choice points: 0
Number of wrong choices: 0
Number of atoms: 20670
Number of rules: 84803
Number of picked atoms: 7455
Number of forced atoms: 430
Number of truth assignments: 465204
Size of searchspace (removed): 0 (0)
