\begin{verbatim}

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

\end{verbatim}