\begin{verbatim}

smodels version 2.25. Reading...done
Answer: 1
Stable Model: colored(v2,c2) colored(v1,c3) colored(v1,c2)
Answer: 2
Stable Model: colored(v2,c2) colored(v1,c3)
Answer: 3
Stable Model: colored(v2,c2) colored(v1,c2)
Answer: 4
Stable Model: colored(v2,c2) colored(v1,c3) colored(v1,c2)
Answer: 5
Stable Model: colored(v2,c2) colored(v1,c1)
Answer: 6
Stable Model: colored(v2,c2) colored(v1,c2) colored(v1,c1)
Answer: 7
Stable Model: colored(v2,c2) colored(v1,c2) colored(v1,c1)
Answer: 8
Stable Model: colored(v2,c2) colored(v1,c3) colored(v1,c1)
Answer: 9
Stable Model: colored(v2,c2) colored(v1,c3) colored(v1,c1)
Answer: 10
Stable Model: colored(v2,c2) colored(v2,c1) colored(v1,c3)
Answer: 11
Stable Model: colored(v2,c2) colored(v2,c1) colored(v1,c3) colored(v1,c1)
Answer: 12
Stable Model: colored(v2,c2) colored(v2,c1) colored(v1,c1)
Answer: 13
Stable Model: colored(v2,c2) colored(v2,c1) colored(v1,c3) colored(v1,c1)
Answer: 14
Stable Model: colored(v2,c2) colored(v2,c1) colored(v1,c2)
Answer: 15
Stable Model: colored(v2,c2) colored(v2,c1) colored(v1,c2) colored(v1,c1)
Answer: 16
Stable Model: colored(v2,c2) colored(v2,c1) colored(v1,c2) colored(v1,c1)
Answer: 17
Stable Model: colored(v2,c2) colored(v2,c1) colored(v1,c3) colored(v1,c2)
Answer: 18
Stable Model: colored(v2,c2) colored(v2,c1) colored(v1,c3) colored(v1,c2)
Answer: 19
Stable Model: colored(v2,c1) colored(v1,c2)
Answer: 20
Stable Model: colored(v2,c1) colored(v1,c3) colored(v1,c2)
Answer: 21
Stable Model: colored(v2,c1) colored(v1,c3) colored(v1,c2)
Answer: 22
Stable Model: colored(v2,c1) colored(v1,c3)
Answer: 23
Stable Model: colored(v2,c1) colored(v1,c1)
Answer: 24
Stable Model: colored(v2,c1) colored(v1,c3) colored(v1,c1)
Answer: 25
Stable Model: colored(v2,c1) colored(v1,c3) colored(v1,c1)
Answer: 26
Stable Model: colored(v2,c1) colored(v1,c2) colored(v1,c1)
Answer: 27
Stable Model: colored(v2,c1) colored(v1,c2) colored(v1,c1)
Answer: 28
Stable Model: colored(v2,c2) colored(v2,c1) colored(v1,c2)
Answer: 29
Stable Model: colored(v2,c2) colored(v2,c1) colored(v1,c2) colored(v1,c1)
Answer: 30
Stable Model: colored(v2,c2) colored(v2,c1) colored(v1,c1)
Answer: 31
Stable Model: colored(v2,c2) colored(v2,c1) colored(v1,c2) colored(v1,c1)
Answer: 32
Stable Model: colored(v2,c2) colored(v2,c1) colored(v1,c3)
Answer: 33
Stable Model: colored(v2,c2) colored(v2,c1) colored(v1,c3) colored(v1,c1)
Answer: 34
Stable Model: colored(v2,c2) colored(v2,c1) colored(v1,c3) colored(v1,c1)
Answer: 35
Stable Model: colored(v2,c2) colored(v2,c1) colored(v1,c3) colored(v1,c2)
Answer: 36
Stable Model: colored(v2,c2) colored(v2,c1) colored(v1,c3) colored(v1,c2)
Answer: 37
Stable Model: colored(v2,c3) colored(v1,c3) colored(v1,c2)
Answer: 38
Stable Model: colored(v2,c3) colored(v1,c2)
Answer: 39
Stable Model: colored(v2,c3) colored(v1,c3) colored(v1,c2)
Answer: 40
Stable Model: colored(v2,c3) colored(v1,c3)
Answer: 41
Stable Model: colored(v2,c3) colored(v1,c1)
Answer: 42
Stable Model: colored(v2,c3) colored(v1,c2) colored(v1,c1)
Answer: 43
Stable Model: colored(v2,c3) colored(v1,c2) colored(v1,c1)
Answer: 44
Stable Model: colored(v2,c3) colored(v1,c3) colored(v1,c1)
Answer: 45
Stable Model: colored(v2,c3) colored(v1,c3) colored(v1,c1)
Answer: 46
Stable Model: colored(v2,c3) colored(v2,c1) colored(v1,c1)
Answer: 47
Stable Model: colored(v2,c3) colored(v2,c1) colored(v1,c3) colored(v1,c1)
Answer: 48
Stable Model: colored(v2,c3) colored(v2,c1) colored(v1,c3) colored(v1,c1)
Answer: 49
Stable Model: colored(v2,c3) colored(v2,c1) colored(v1,c3)
Answer: 50
Stable Model: colored(v2,c3) colored(v2,c1) colored(v1,c2)
Answer: 51
Stable Model: colored(v2,c3) colored(v2,c1) colored(v1,c3) colored(v1,c2)
Answer: 52
Stable Model: colored(v2,c3) colored(v2,c1) colored(v1,c3) colored(v1,c2)
Answer: 53
Stable Model: colored(v2,c3) colored(v2,c1) colored(v1,c2) colored(v1,c1)
Answer: 54
Stable Model: colored(v2,c3) colored(v2,c1) colored(v1,c2) colored(v1,c1)
Answer: 55
Stable Model: colored(v2,c3) colored(v2,c1) colored(v1,c2) colored(v1,c1)
Answer: 56
Stable Model: colored(v2,c3) colored(v2,c1) colored(v1,c1)
Answer: 57
Stable Model: colored(v2,c3) colored(v2,c1) colored(v1,c2)
Answer: 58
Stable Model: colored(v2,c3) colored(v2,c1) colored(v1,c2) colored(v1,c1)
Answer: 59
Stable Model: colored(v2,c3) colored(v2,c1) colored(v1,c3)
Answer: 60
Stable Model: colored(v2,c3) colored(v2,c1) colored(v1,c3) colored(v1,c1)
Answer: 61
Stable Model: colored(v2,c3) colored(v2,c1) colored(v1,c3) colored(v1,c1)
Answer: 62
Stable Model: colored(v2,c3) colored(v2,c1) colored(v1,c3) colored(v1,c2)
Answer: 63
Stable Model: colored(v2,c3) colored(v2,c1) colored(v1,c3) colored(v1,c2)
Answer: 64
Stable Model: colored(v2,c3) colored(v2,c2) colored(v1,c3)
Answer: 65
Stable Model: colored(v2,c3) colored(v2,c2) colored(v1,c3)
Answer: 66
Stable Model: colored(v2,c3) colored(v2,c2) colored(v1,c3) colored(v1,c2)
Answer: 67
Stable Model: colored(v2,c3) colored(v2,c2) colored(v1,c3) colored(v1,c2)
Answer: 68
Stable Model: colored(v2,c3) colored(v2,c2) colored(v1,c3) colored(v1,c2)
Answer: 69
Stable Model: colored(v2,c3) colored(v2,c2) colored(v1,c3) colored(v1,c2)
Answer: 70
Stable Model: colored(v2,c3) colored(v2,c2) colored(v1,c2)
Answer: 71
Stable Model: colored(v2,c3) colored(v2,c2) colored(v1,c2)
Answer: 72
Stable Model: colored(v2,c3) colored(v2,c2) colored(v1,c1)
Answer: 73
Stable Model: colored(v2,c3) colored(v2,c2) colored(v1,c1)
Answer: 74
Stable Model: colored(v2,c3) colored(v2,c2) colored(v1,c3) colored(v1,c1)
Answer: 75
Stable Model: colored(v2,c3) colored(v2,c2) colored(v1,c3) colored(v1,c1)
Answer: 76
Stable Model: colored(v2,c3) colored(v2,c2) colored(v1,c3) colored(v1,c1)
Answer: 77
Stable Model: colored(v2,c3) colored(v2,c2) colored(v1,c3) colored(v1,c1)
Answer: 78
Stable Model: colored(v2,c3) colored(v2,c2) colored(v1,c2) colored(v1,c1)
Answer: 79
Stable Model: colored(v2,c3) colored(v2,c2) colored(v1,c2) colored(v1,c1)
Answer: 80
Stable Model: colored(v2,c3) colored(v2,c2) colored(v1,c2) colored(v1,c1)
Answer: 81
Stable Model: colored(v2,c3) colored(v2,c2) colored(v1,c2) colored(v1,c1)
False
Duration: 0.835
Number of choice points: 118
Number of wrong choices: 118
Number of atoms: 1287
Number of rules: 4476
Number of picked atoms: 11391
Number of forced atoms: 740
Number of truth assignments: 161474
Size of searchspace (removed): 60 (16)

\end{verbatim}