\begin{verbatim}

smodels version 2.25. Reading...done
Answer: 1
Stable Model: r
Answer: 2
Stable Model: b q
Answer: 3
Stable Model: q a
Answer: 4
Stable Model: b q a
False
Duration: 0.000
Number of choice points: 3
Number of wrong choices: 3
Number of atoms: 8
Number of rules: 8
Number of picked atoms: 21
Number of forced atoms: 1
Number of truth assignments: 70
Size of searchspace (removed): 6 (0)

\end{verbatim}