\begin{verbatim}

smodels version 2.25. Reading...done
Answer: 1
Stable Model: color_of(5,c) color_of(3,c) color_of(2,b) color_of(4,a) color_of(1,a)
True
Duration: 0.010
Number of choice points: 3
Number of wrong choices: 0
Number of atoms: 64
Number of rules: 159
Number of picked atoms: 39
Number of forced atoms: 0
Number of truth assignments: 290
Size of searchspace (removed): 15 (0)

\end{verbatim}