\begin{verbatim}

lparse block1-1.sm | smodels
smodels version 2.25. Reading...done
Answer: 1
Stable Model: 
occurs(unstack(a,b),1) 
occurs(put_down(a),2) 
occurs(pick_up(c),3) 
occurs(stack(c,b),4) 
occurs(pick_up(a),5) 
occurs(stack(a,c),6) 
True
Duration: 24.860
Number of choice points: 9
Number of wrong choices: 8
Number of atoms: 3625
Number of rules: 31266
Number of picked atoms: 13702
Number of forced atoms: 650
Number of truth assignments: 1664775
Size of searchspace (removed): 406 (415)

\end{verbatim}