\begin{verbatim}
smodels version 2.25. Reading...done
Answer: 1
Stable Model: in(6,1) in(8,2) in(2,3) in(4,4) in(1,5) in(7,6) in(5,7) in(3,8)
True
Duration: 0.070
Number of choice points: 4
Number of wrong choices: 1
Number of atoms: 145
Number of rules: 1536
Number of picked atoms: 292
Number of forced atoms: 6
Number of truth assignments: 5197
Size of searchspace (removed): 64 (0)

\end{verbatim}