\begin{verbatim}

smodels version 2.25. Reading...done
Answer: 1
Stable Model: sat r(a) univ(c) univ(b) univ(a) t(c) t(b) p(b,a) p(a,a) p(a,c) p(a,b)
False
Duration: 0.023
Number of choice points: 0
Number of wrong choices: 0
Number of atoms: 11
Number of rules: 11
Number of picked atoms: 0
Number of forced atoms: 0
Number of truth assignments: 11
Size of searchspace (removed): 0 (0)

\end{verbatim}