\begin{verbatim}

 lparse block2-1.sm | smodels
 smodels version 2.25. Reading...done
 Answer: 1
 Stable Model:

 occurs(puton(c,table),1)
 occurs(puton(b,c),2)
 occurs(puton(a,b),3)

 True
 Duration: 0.220
 Number of choice points: 2
 Number of wrong choices: 0
 Number of atoms: 1235
 Number of rules: 2020
 Number of picked atoms: 383
 Number of forced atoms: 59
 Number of truth assignments: 26984
 Size of searchspace (removed): 17 (88)

\end{verbatim}