\begin{verbatim}

smodels version 2.25. Reading...done
Answer: 1
Stable Model: holds(alive,0) ab(alive,shoot,0) ab(alive,shoot,1) occurs(shoot,0)
Answer: 2
Stable Model: holds(alive,0) holds(alive,1) not_holds(loaded,0) not_holds(loaded,1) occurs(shoot,0)
False
Duration: 0.005
Number of choice points: 1
Number of wrong choices: 1
Number of atoms: 18
Number of rules: 21
Number of picked atoms: 3
Number of forced atoms: 0
Number of truth assignments: 27
Size of searchspace (removed): 2 (1)

\end{verbatim}