\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}