gsat-solver/benchmarks/uf20/uf20-091.cnf

c This Formular is generated by mcnf
c
c    horn? no 
c    forced? no 
c    mixed sat? no 
c    clause length = 3 
c
p cnf 20  91 
 19 -5 -3 0
11 -3 20 0
-17 -7 3 0
7 19 14 0
15 3 2 0
-1 -5 8 0
-1 -19 8 0
8 16 14 0
-19 -14 3 0
-16 -12 9 0
2 15 14 0
15 6 9 0
10 13 -4 0
-9 -1 5 0
18 7 15 0
15 -5 4 0
18 -9 -14 0
-14 1 -11 0
-8 13 14 0
15 1 -12 0
-17 2 -20 0
8 -6 -3 0
20 4 -15 0
-3 9 -12 0
-2 15 17 0
9 -1 -4 0
3 8 19 0
-20 -8 -13 0
14 -1 2 0
-1 -19 -17 0
20 -1 -4 0
-11 -8 14 0
15 4 16 0
-3 -11 8 0
19 9 6 0
-10 8 9 0
9 -15 19 0
20 -15 17 0
-12 -19 16 0
-8 17 16 0
19 -17 -11 0
12 4 -11 0
-9 17 -13 0
-11 -8 10 0
-14 8 13 0
9 14 5 0
-18 16 17 0
16 2 -8 0
-20 -17 -8 0
12 20 -7 0
17 19 1 0
-20 19 -6 0
16 -1 13 0
2 11 19 0
3 19 -10 0
6 4 -13 0
15 6 -14 0
12 20 19 0
7 -4 20 0
16 -7 -5 0
-10 17 11 0
-11 -8 -20 0
4 -12 17 0
-14 -19 -6 0
-15 -7 -19 0
17 -1 -9 0
-13 -7 -19 0
10 2 -3 0
-13 3 16 0
12 -16 13 0
-3 -11 -4 0
-2 11 7 0
-11 -12 -6 0
10 12 -18 0
11 -1 16 0
6 13 -20 0
-9 5 8 0
20 16 -2 0
-1 18 -11 0
-17 -14 -1 0
2 -3 -11 0
-11 -6 -15 0
-11 -16 -20 0
-16 6 -17 0
12 -6 7 0
9 19 -20 0
15 12 13 0
-20 -2 6 0
-14 3 -2 0
3 13 2 0
18 -7 11 0
%
0