\begin{verbatim}
smodels version 2.25. Reading...done
Answer: 1
Stable Model: occurs(e2,1) occurs(b,2) occurs(e1,4) occurs(a,3)
Answer: 2
Stable Model: occurs(b,1) occurs(e2,2) occurs(e1,4) occurs(a,3)
Answer: 3
Stable Model: occurs(b,1) occurs(e1,3) occurs(e2,4) occurs(a,2)
Answer: 4
Stable Model: occurs(b,1) occurs(e2,3) occurs(e1,4) occurs(a,2)
False
Duration: 0.050
Number of choice points: 3
Number of wrong choices: 3
Number of atoms: 663
Number of rules: 1033
Number of picked atoms: 255
Number of forced atoms: 35
Number of truth assignments: 9045
Size of searchspace (removed): 14 (23)
\end{verbatim}