smodels version 2.32. Reading...done
Answer: 1
Stable Model: black(1,1) black(4,1) black(5,1) black(6,1) black(7,1) black(8,1) black(9,1) black(10,1) black(1,2) black(2,2) black(4,2) black(6,2) black(9,2) black(2,3) black(3,3) black(6,3) black(7,3) black(9,3) black(2,4) black(4,4) black(5,4) black(6,4) black(8,4) black(9,4) black(2,5) black(4,5) black(6,5) black(10,5) black(1,6) black(2,6) black(3,6) black(6,6) black(8,6) black(9,6) black(10,6) black(3,7) black(4,7) black(5,7) black(6,7) black(7,7) black(9,7) black(2,8) black(4,8) black(7,8) black(9,8) black(1,9) black(2,9) black(3,9) black(5,9) black(6,9) black(7,9) black(8,9) black(9,9) black(10,9) black(1,10) black(3,10) black(4,10) black(5,10) black(7,10) black(10,10) numbered(3,2,3) numbered(4,3,3) numbered(8,3,3) numbered(10,4,3) numbered(1,5,3) numbered(3,5,2) numbered(4,6,3) numbered(7,6,5) numbered(1,8,3) numbered(3,8,1) numbered(5,8,2) numbered(8,8,2) numbered(10,8,2) numbered(4,9,1) numbered(2,10,1) numbered(6,10,1) numbered(8,10,2) 
True
Duration: 0.574
Number of choice points: 0
Number of wrong choices: 0
Number of atoms: 20673
Number of rules: 84930
Number of picked atoms: 2538
Number of forced atoms: 201
Number of truth assignments: 125932
Size of searchspace (removed): 0 (0)
