\begin{verbatim}

smodels version 2.25. Reading...done
Answer: 1
Stable Model: in(3,1) in(9,2) in(12,2) in(2,3) in(7,3) in(10,3) in(1,4) in(8,4) in(11,4) in(4,5) in(5,5) in(6,5)
True
Duration: 0.050
Number of choice points: 11
Number of wrong choices: 0
Number of atoms: 198
Number of rules: 1097
Number of picked atoms: 627
Number of forced atoms: 0
Number of truth assignments: 3753
Size of searchspace (removed): 60 (0)

\end{verbatim}