\begin{verbatim}

smodels version 2.25. Reading...done
Answer: 1
Stable Model: chosen(2,5) chosen(5,4) chosen(4,3) chosen(1,2) chosen(3,1)
True
Duration: 0.010
Number of choice points: 1
Number of wrong choices: 0
Number of atoms: 86
Number of rules: 292
Number of picked atoms: 35
Number of forced atoms: 15
Number of truth assignments: 517
Size of searchspace (removed): 10 (0)

\end{verbatim}