\begin{verbatim}

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

\end{verbatim}