smodels version 2.26. Reading...done
Answer: 1
Stable Model: q(1,4,2,3) q(1,5,2,3) q(1,6,2,3) q(1,2,3,7) q(1,2,3,8) q(1,9,2,3) q(1,2,4,5) q(1,2,4,6) q(1,4,2,7) q(1,4,2,8) q(1,2,4,9) q(1,4,2,10) q(1,2,5,6) q(1,5,2,7) q(1,5,2,8) q(1,2,5,9) q(1,5,2,10) q(1,6,2,7) q(1,6,2,8) q(1,2,6,9) q(1,6,2,10) q(1,2,7,8) q(1,9,2,7) q(1,9,2,8) q(1,9,2,10) q(1,3,4,5) q(1,3,4,6) q(1,4,3,7) q(1,4,3,8) q(1,3,4,9) q(1,4,3,10) q(1,3,5,6) q(1,5,3,7) q(1,5,3,8) q(1,3,5,9) q(1,5,3,10) q(1,6,3,7) q(1,6,3,8) q(1,3,6,9) q(1,6,3,10) q(1,8,3,7) q(1,9,3,7) q(1,10,3,7) q(1,9,3,8) q(1,10,3,8) q(1,9,3,10) q(1,4,5,6) q(1,7,4,5) q(1,8,4,5) q(1,4,5,9) q(1,10,4,5) q(1,7,4,6) q(1,8,4,6) q(1,4,6,9) q(1,10,4,6) q(1,4,7,8) q(1,7,4,9) q(1,4,7,10) q(1,8,4,9) q(1,4,8,10) q(1,10,4,9) q(1,7,5,6) q(1,8,5,6) q(1,9,5,6) q(1,10,5,6) q(1,5,7,8) q(1,7,5,9) q(1,5,7,10) q(1,8,5,9) q(1,5,8,10) q(1,10,5,9) q(1,6,7,8) q(1,7,6,9) q(1,6,7,10) q(1,8,6,9) q(1,6,8,10) q(1,10,6,9) q(1,9,7,8) q(1,10,7,8) q(1,9,7,10) q(1,9,8,10) q(2,3,4,5) q(2,3,4,6) q(2,4,3,7) q(2,4,3,8) q(2,3,4,9) q(2,3,5,6) q(2,5,3,7) q(2,5,3,8) q(2,3,5,9) q(2,5,3,10) q(2,6,3,7) q(2,6,3,8) q(2,3,6,9) q(2,8,3,7) q(2,9,3,7) q(2,10,3,7) q(2,9,3,8) q(2,10,3,8) q(2,9,3,10) q(2,4,5,6) q(2,7,4,5) q(2,8,4,5) q(2,4,5,9) q(2,10,4,5) q(2,7,4,6) q(2,8,4,6) q(2,4,6,9) q(2,10,4,6) q(2,4,7,8) q(2,7,4,9) q(2,8,4,9) q(2,4,8,10) q(2,10,4,9) q(2,7,5,6) q(2,8,5,6) q(2,9,5,6) q(2,10,5,6) q(2,5,7,8) q(2,7,5,9) q(2,5,7,10) q(2,8,5,9) q(2,5,8,10) q(2,10,5,9) q(2,6,7,8) q(2,7,6,9) q(2,8,6,9) q(2,10,6,9) q(2,9,7,8) q(2,10,7,8) q(2,9,7,10) q(2,9,8,10) q(3,4,5,6) q(3,7,4,5) q(3,8,4,5) q(3,4,5,9) q(3,10,4,5) q(3,7,4,6) q(3,8,4,6) q(3,4,6,9) q(3,10,4,6) q(3,7,4,8) q(3,7,4,9) q(3,7,4,10) q(3,8,4,9) q(3,8,4,10) q(3,10,4,9) q(3,7,5,6) q(3,8,5,6) q(3,9,5,6) q(3,10,5,6) q(3,7,5,8) q(3,7,5,9) q(3,7,5,10) q(3,8,5,9) q(3,8,5,10) q(3,10,5,9) q(3,7,6,8) q(3,7,6,9) q(3,7,6,10) q(3,8,6,9) q(3,8,6,10) q(3,10,6,9) q(3,7,8,9) q(3,7,8,10) q(3,7,9,10) q(3,8,9,10) q(4,7,5,6) q(4,8,5,6) q(4,9,5,6) q(4,10,5,6) q(4,5,7,8) q(4,7,5,9) q(4,5,7,10) q(4,8,5,9) q(4,5,8,10) q(4,10,5,9) q(4,6,7,8) q(4,7,6,9) q(4,6,7,10) q(4,8,6,9) q(4,6,8,10) q(4,10,6,9) q(4,9,7,8) q(4,10,7,8) q(4,9,7,10) q(4,9,8,10) q(5,6,7,8) q(5,6,7,9) q(5,6,7,10) q(5,6,8,9) q(5,6,8,10) q(5,6,9,10) q(5,9,7,8) q(5,10,7,8) q(5,9,7,10) q(5,9,8,10) q(6,9,7,8) q(6,10,7,8) q(6,9,7,10) q(6,9,8,10) q(7,8,9,10) result(7,8,2) result(6,9,2) result(5,9,2) result(3,8,2) result(3,7,1) result(5,6,1) result(4,5,3) result(4,6,3) result(4,9,3) result(8,10,3) result(7,10,3) result(3,10,3) result(2,3,4) result(2,7,4) result(2,8,4) result(1,4,4) result(1,5,4) result(1,6,4) result(1,9,4) result(2,10,4) result(8,9,5) result(7,9,5) result(6,7,5) result(6,8,5) result(5,7,5) result(5,8,5) result(4,7,5) result(4,8,5) result(3,4,5) result(3,5,5) result(3,6,5) result(3,9,5) result(2,4,5) result(2,5,5) result(2,6,5) result(2,9,5) result(1,2,5) result(1,3,5) result(1,7,5) result(1,8,5) result(6,10,5) result(5,10,5) result(4,10,5) result(1,10,5) result(9,10,5) 
{ not q(1,4,2,3), not q(1,5,2,3), not q(1,6,2,3), not q(1,2,3,7), not q(1,2,3,8), not q(1,9,2,3), not q(1,10,2,3), not q(1,2,4,5), not q(1,2,4,6), not q(1,4,2,7), not q(1,4,2,8), not q(1,2,4,9), not q(1,4,2,10), not q(1,2,5,6), not q(1,5,2,7), not q(1,5,2,8), not q(1,2,5,9), not q(1,5,2,10), not q(1,6,2,7), not q(1,6,2,8), not q(1,2,6,9), not q(1,6,2,10), not q(1,2,7,8), not q(1,9,2,7), not q(1,7,2,10), not q(1,9,2,8), not q(1,8,2,10), not q(1,9,2,10), not q(1,3,4,5), not q(1,3,4,6), not q(1,4,3,7), not q(1,4,3,8), not q(1,3,4,9), not q(1,4,3,10), not q(1,3,5,6), not q(1,5,3,7), not q(1,5,3,8), not q(1,3,5,9), not q(1,5,3,10), not q(1,6,3,7), not q(1,6,3,8), not q(1,3,6,9), not q(1,6,3,10), not q(1,8,3,7), not q(1,9,3,7), not q(1,10,3,7), not q(1,9,3,8), not q(1,10,3,8), not q(1,9,3,10), not q(1,4,5,6), not q(1,7,4,5), not q(1,8,4,5), not q(1,4,5,9), not q(1,10,4,5), not q(1,7,4,6), not q(1,8,4,6), not q(1,4,6,9), not q(1,10,4,6), not q(1,4,7,8), not q(1,7,4,9), not q(1,4,7,10), not q(1,8,4,9), not q(1,4,8,10), not q(1,10,4,9), not q(1,7,5,6), not q(1,8,5,6), not q(1,9,5,6), not q(1,10,5,6), not q(1,5,7,8), not q(1,7,5,9), not q(1,5,7,10), not q(1,8,5,9), not q(1,5,8,10), not q(1,10,5,9), not q(1,6,7,8), not q(1,7,6,9), not q(1,6,7,10), not q(1,8,6,9), not q(1,6,8,10), not q(1,10,6,9), not q(1,9,7,8), not q(1,10,7,8), not q(1,9,7,10), not q(1,9,8,10), not q(2,3,4,5), not q(2,3,4,6), not q(2,4,3,7), not q(2,4,3,8), not q(2,3,4,9), not q(2,10,3,4), not q(2,3,5,6), not q(2,5,3,7), not q(2,5,3,8), not q(2,3,5,9), not q(2,5,3,10), not q(2,6,3,7), not q(2,6,3,8), not q(2,3,6,9), not q(2,10,3,6), not q(2,8,3,7), not q(2,9,3,7), not q(2,10,3,7), not q(2,9,3,8), not q(2,10,3,8), not q(2,9,3,10), not q(2,4,5,6), not q(2,7,4,5), not q(2,8,4,5), not q(2,4,5,9), not q(2,10,4,5), not q(2,7,4,6), not q(2,8,4,6), not q(2,4,6,9), not q(2,10,4,6), not q(2,4,7,8), not q(2,7,4,9), not q(2,10,4,7), not q(2,8,4,9), not q(2,4,8,10), not q(2,10,4,9), not q(2,7,5,6), not q(2,8,5,6), not q(2,9,5,6), not q(2,10,5,6), not q(2,5,7,8), not q(2,7,5,9), not q(2,5,7,10), not q(2,8,5,9), not q(2,5,8,10), not q(2,10,5,9), not q(2,6,7,8), not q(2,7,6,9), not q(2,10,6,7), not q(2,8,6,9), not q(2,10,6,8), not q(2,10,6,9), not q(2,9,7,8), not q(2,10,7,8), not q(2,9,7,10), not q(2,9,8,10), not q(3,4,5,6), not q(3,7,4,5), not q(3,8,4,5), not q(3,4,5,9), not q(3,10,4,5), not q(3,7,4,6), not q(3,8,4,6), not q(3,4,6,9), not q(3,10,4,6), not q(3,7,4,8), not q(3,7,4,9), not q(3,7,4,10), not q(3,8,4,9), not q(3,8,4,10), not q(3,10,4,9), not q(3,7,5,6), not q(3,8,5,6), not q(3,9,5,6), not q(3,10,5,6), not q(3,7,5,8), not q(3,7,5,9), not q(3,7,5,10), not q(3,8,5,9), not q(3,8,5,10), not q(3,10,5,9), not q(3,7,6,8), not q(3,7,6,9), not q(3,7,6,10), not q(3,8,6,9), not q(3,8,6,10), not q(3,10,6,9), not q(3,7,8,9), not q(3,7,8,10), not q(3,7,9,10), not q(3,8,9,10), not q(4,7,5,6), not q(4,8,5,6), not q(4,9,5,6), not q(4,10,5,6), not q(4,5,7,8), not q(4,7,5,9), not q(4,5,7,10), not q(4,8,5,9), not q(4,5,8,10), not q(4,10,5,9), not q(4,6,7,8), not q(4,7,6,9), not q(4,6,7,10), not q(4,8,6,9), not q(4,6,8,10), not q(4,10,6,9), not q(4,9,7,8), not q(4,10,7,8), not q(4,9,7,10), not q(4,9,8,10), not q(5,6,7,8), not q(5,6,7,9), not q(5,6,7,10), not q(5,6,8,9), not q(5,6,8,10), not q(5,6,9,10), not q(5,9,7,8), not q(5,10,7,8), not q(5,9,7,10), not q(5,9,8,10), not q(6,9,7,8), not q(6,10,7,8), not q(6,9,7,10), not q(6,9,8,10), not q(7,8,9,10) } min = 8
True
Duration 0.301
Number of choice points: 3
Number of wrong choices: 0
Number of atoms: 1393
Number of rules: 6414
Number of picked atoms: 1939
Number of forced atoms: 168
Number of truth assignments: 66248
Size of searchspace (removed): 48 (0)