\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: 30.580
 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)



 lparse block1-2.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: 20.130
 Number of choice points: 3
 Number of wrong choices: 2
 Number of atoms: 3760
 Number of rules: 31987
 Number of picked atoms: 7858
 Number of forced atoms: 295
 Number of truth assignments: 1048654
 Size of searchspace (removed): 380 (427)


 lparse block1-3.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: 2.390
 Number of choice points: 0
 Number of wrong choices: 0
 Number of atoms: 3335
 Number of rules: 29747
 Number of picked atoms: 1002
 Number of forced atoms: 255
 Number of truth assignments: 45069
 Size of searchspace (removed): 0 (0)

\end{verbatim}