\begin{verbatim}
smodels version 2.25. Reading...done
Answer: 1
Stable Model: occurs(b,1) occurs(a,2)
Answer: 2
Stable Model: occurs(b,1) occurs(d,2)
False
Duration: 0.085
Number of choice points: 1
Number of wrong choices: 1
Number of atoms: 675
Number of rules: 1070
Number of picked atoms: 55
Number of forced atoms: 6
Number of truth assignments: 1825
Size of searchspace (removed): 10 (25)
\end{verbatim}