smodels version 2.32. Reading...done
Answer: 1
Stable Model: black(1,1) black(2,1) black(3,1) black(4,1) black(6,1) black(7,1) black(8,1) black(9,1) black(10,1) black(1,2) black(4,2) black(5,2) black(6,2) black(9,2) black(1,3) black(5,3) black(8,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(10,4) black(3,5) black(9,5) black(2,6) black(4,6) black(5,6) black(6,6) black(7,6) black(8,6) black(9,6) black(10,6) black(1,7) black(2,7) black(3,7) black(5,7) black(10,7) black(3,8) black(5,8) black(7,8) black(8,8) black(10,8) black(2,9) black(3,9) black(4,9) black(5,9) black(6,9) black(7,9) black(9,9) black(10,9) black(1,10) black(2,10) black(4,10) black(10,10) numbered(5,1,1) numbered(8,2,4) numbered(2,3,5) numbered(9,3,3) numbered(1,4,4) numbered(8,5,5) numbered(10,5,1) numbered(3,6,1) numbered(2,8,3) numbered(4,8,2) numbered(9,8,6) numbered(8,9,6) numbered(3,10,1) 
True
Duration: 6.393
Number of choice points: 19
Number of wrong choices: 17
Number of atoms: 20661
Number of rules: 84410
Number of picked atoms: 106523
Number of forced atoms: 1604
Number of truth assignments: 2800643
Size of searchspace (removed): 43 (4816)
