\begin{verbatim}

smodels version 2.25. Reading...done
Answer: 1
Stable Model: occurs(b,1) occurs(c,2)
False
Duration: 0.083
Number of choice points: 0
Number of wrong choices: 0
Number of atoms: 675
Number of rules: 1070
Number of picked atoms: 4
Number of forced atoms: 3
Number of truth assignments: 683
Size of searchspace (removed): 0 (0)

\end{verbatim}