\begin{verbatim}

smodels version 2.25. Reading...done
Answer: 1
Stable Model: holds(p) sum_holds(r,5) holds(l4') holds(l3) holds(l2) holds(l1')
Answer: 2
Stable Model: holds(p) sum_holds(r,5) holds(l4') holds(l3) holds(l2) holds(l1')
Answer: 3
Stable Model: holds(p) sum_holds(r,4) holds(l4) holds(l3) holds(l2') holds(l1')
Answer: 4
Stable Model: holds(p) sum_holds(r,4) holds(l4) holds(l3) holds(l2') holds(l1')
Answer: 5
Stable Model: holds(p) sum_holds(r,5) holds(l4') holds(l3') holds(l2') holds(l1')
Answer: 6
Stable Model: holds(p) sum_holds(r,5) holds(l4') holds(l3') holds(l2') holds(l1')
Answer: 7
Stable Model: holds(p) sum_holds(r,7) holds(l4') holds(l3) holds(l2') holds(l1')
Answer: 8
Stable Model: holds(p) sum_holds(r,7) holds(l4') holds(l3) holds(l2') holds(l1')
Answer: 9
Stable Model: holds(p) sum_holds(r,7) holds(l4') holds(l3) holds(l2') holds(l1')
Answer: 10
Stable Model: holds(p) sum_holds(r,7) holds(l4') holds(l3) holds(l2') holds(l1')
Answer: 11
Stable Model: holds(p) sum_holds(r,7) holds(l4') holds(l3) holds(l2') holds(l1')
Answer: 12
Stable Model: holds(p) sum_holds(r,7) holds(l4') holds(l3) holds(l2') holds(l1')
Answer: 13
Stable Model: holds(p) sum_holds(r,4) holds(l4') holds(l3') holds(l2) holds(l1)
Answer: 14
Stable Model: holds(p) sum_holds(r,4) holds(l4') holds(l3') holds(l2) holds(l1)
Answer: 15
Stable Model: holds(p) sum_holds(r,6) holds(l4') holds(l3') holds(l2') holds(l1)
Answer: 16
Stable Model: holds(p) sum_holds(r,6) holds(l4') holds(l3') holds(l2') holds(l1)
Answer: 17
Stable Model: holds(p) sum_holds(r,6) holds(l4') holds(l3') holds(l2') holds(l1)
Answer: 18
Stable Model: holds(p) sum_holds(r,6) holds(l4') holds(l3') holds(l2') holds(l1)
Answer: 19
Stable Model: holds(p) sum_holds(r,6) holds(l4') holds(l3') holds(l2') holds(l1)
Answer: 20
Stable Model: holds(p) sum_holds(r,6) holds(l4') holds(l3') holds(l2') holds(l1)
Answer: 21
Stable Model: holds(p) sum_holds(r,5) holds(l4) holds(l3) holds(l2') holds(l1)
Answer: 22
Stable Model: holds(p) sum_holds(r,5) holds(l4) holds(l3) holds(l2') holds(l1)
Answer: 23
Stable Model: holds(p) sum_holds(r,5) holds(l4) holds(l3) holds(l2') holds(l1)
Answer: 24
Stable Model: holds(p) sum_holds(r,5) holds(l4) holds(l3) holds(l2') holds(l1)
Answer: 25
Stable Model: holds(p) sum_holds(r,5) holds(l4) holds(l3) holds(l2') holds(l1)
Answer: 26
Stable Model: holds(p) sum_holds(r,5) holds(l4) holds(l3) holds(l2') holds(l1)
Answer: 27
Stable Model: holds(p) sum_holds(r,6) holds(l4') holds(l3) holds(l2) holds(l1)
Answer: 28
Stable Model: holds(p) sum_holds(r,6) holds(l4') holds(l3) holds(l2) holds(l1)
Answer: 29
Stable Model: holds(p) sum_holds(r,6) holds(l4') holds(l3) holds(l2) holds(l1)
Answer: 30
Stable Model: holds(p) sum_holds(r,6) holds(l4') holds(l3) holds(l2) holds(l1)
Answer: 31
Stable Model: holds(p) sum_holds(r,6) holds(l4') holds(l3) holds(l2) holds(l1)
Answer: 32
Stable Model: holds(p) sum_holds(r,6) holds(l4') holds(l3) holds(l2) holds(l1)
False
Duration: 1.350
Number of choice points: 46
Number of wrong choices: 46
Number of atoms: 875
Number of rules: 29653
Number of picked atoms: 4048
Number of forced atoms: 254
Number of truth assignments: 50896
Size of searchspace (removed): 32 (6)

\end{verbatim}