\begin{verbatim}
smodels version 2.25. Reading...done
Answer: 1
Stable Model: last(c) first(b) succ(a,d) succ(d,c) succ(b,a)
Answer: 2
Stable Model: last(c) first(d) succ(a,c) succ(d,b) succ(b,a)
Answer: 3
Stable Model: last(a) first(d) succ(d,c) succ(c,b) succ(b,a)
Answer: 4
Stable Model: last(b) first(a) succ(a,d) succ(d,c) succ(c,b)
Answer: 5
Stable Model: last(b) first(d) succ(a,c) succ(c,b) succ(d,a)
Answer: 6
Stable Model: last(b) first(d) succ(d,c) succ(a,b) succ(c,a)
Answer: 7
Stable Model: last(c) first(d) succ(b,c) succ(a,b) succ(d,a)
Answer: 8
Stable Model: last(c) first(a) succ(b,d) succ(d,c) succ(a,b)
Answer: 9
Stable Model: last(a) first(d) succ(b,c) succ(d,b) succ(c,a)
Answer: 10
Stable Model: last(a) first(b) succ(b,d) succ(d,c) succ(c,a)
Answer: 11
Stable Model: last(c) first(b) succ(b,d) succ(a,c) succ(d,a)
Answer: 12
Stable Model: last(c) first(a) succ(a,d) succ(b,c) succ(d,b)
Answer: 13
Stable Model: last(a) first(c) succ(c,d) succ(d,b) succ(b,a)
Answer: 14
Stable Model: last(a) first(c) succ(b,d) succ(c,b) succ(d,a)
Answer: 15
Stable Model: last(a) first(b) succ(c,d) succ(b,c) succ(d,a)
Answer: 16
Stable Model: last(b) first(c) succ(a,d) succ(d,b) succ(c,a)
Answer: 17
Stable Model: last(b) first(a) succ(c,d) succ(a,c) succ(d,b)
Answer: 18
Stable Model: last(d) first(a) succ(b,d) succ(a,c) succ(c,b)
Answer: 19
Stable Model: last(d) first(a) succ(c,d) succ(b,c) succ(a,b)
Answer: 20
Stable Model: last(d) first(b) succ(a,d) succ(b,c) succ(c,a)
Answer: 21
Stable Model: last(d) first(b) succ(c,d) succ(a,c) succ(b,a)
Answer: 22
Stable Model: last(d) first(c) succ(a,d) succ(c,b) succ(b,a)
Answer: 23
Stable Model: last(b) first(c) succ(c,d) succ(a,b) succ(d,a)
Answer: 24
Stable Model: last(d) first(c) succ(b,d) succ(a,b) succ(c,a)
False
Duration: 0.030
Number of choice points: 26
Number of wrong choices: 26
Number of atoms: 74
Number of rules: 245
Number of picked atoms: 598
Number of forced atoms: 62
Number of truth assignments: 8294
Size of searchspace (removed): 0 (32)

\end{verbatim}