\begin{verbatim}

smodels version 2.25. Reading...done
Answer: 1
Stable Model: vc(1) vc(2) vc(3) vc(4)
{ vc(1), vc(2), vc(3), vc(4), vc(5), vc(6), vc(7), vc(8) } min = 38
Answer: 2
Stable Model: vc(1) vc(2) vc(5) vc(7)
{ vc(1), vc(2), vc(3), vc(4), vc(5), vc(6), vc(7), vc(8) } min = 33
Answer: 3
Stable Model: vc(2) vc(5) vc(7) vc(8)
{ vc(1), vc(2), vc(3), vc(4), vc(5), vc(6), vc(7), vc(8) } min = 26
Answer: 4
Stable Model: vc(5) vc(6) vc(7) vc(8)
{ vc(1), vc(2), vc(3), vc(4), vc(5), vc(6), vc(7), vc(8) } min = 22
False
Duration: 0.185
Number of choice points: 68
Number of wrong choices: 68
Number of atoms: 148
Number of rules: 756
Number of picked atoms: 5022
Number of forced atoms: 277
Number of truth assignments: 51426
Size of searchspace (removed): 40 (0)

\end{verbatim}