gsat-solver/benchmarks/uf20/uf20-052.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 
 13 14 9 0
5 -10 -18 0
-18 -1 -7 0
20 -19 -10 0
-8 -1 18 0
17 6 19 0
6 -14 13 0
16 -18 7 0
18 16 4 0
6 8 -3 0
8 19 20 0
10 -9 3 0
-8 7 -1 0
1 -6 -11 0
6 19 20 0
3 -10 1 0
12 6 -14 0
16 -9 -18 0
-11 -3 -4 0
1 -13 -15 0
-12 -4 -16 0
-6 -5 -10 0
-16 -7 -1 0
6 7 -20 0
-4 -2 7 0
-15 -3 5 0
9 -2 -19 0
16 7 12 0
14 9 3 0
12 -10 -5 0
5 -16 -10 0
2 9 18 0
18 -15 20 0
20 -6 -16 0
10 -8 -15 0
-15 -14 3 0
18 2 -20 0
-4 5 20 0
9 -7 1 0
-15 10 -18 0
6 7 -19 0
-5 4 -9 0
16 5 -12 0
17 14 18 0
-18 20 -3 0
-16 -9 2 0
15 -1 -10 0
16 -6 15 0
4 -11 17 0
7 12 5 0
5 -18 -16 0
12 7 -1 0
6 8 -13 0
12 4 18 0
18 -15 -19 0
18 -4 -9 0
20 16 -6 0
-9 -12 -3 0
2 -3 17 0
5 6 -15 0
20 -5 -17 0
5 -13 -8 0
1 -3 6 0
-3 15 -6 0
-20 7 3 0
8 -10 14 0
17 -3 -19 0
19 -14 15 0
-7 -20 1 0
-10 -18 12 0
1 9 15 0
3 10 -20 0
5 -15 -6 0
16 11 -14 0
17 -7 6 0
10 20 -13 0
6 -7 9 0
17 19 -5 0
16 2 -7 0
-5 -7 3 0
15 5 1 0
-7 -14 13 0
6 -16 -5 0
-6 14 13 0
-9 -7 8 0
-12 -7 -13 0
7 9 -10 0
-7 4 -20 0
-3 15 16 0
4 -13 15 0
-13 -1 -19 0
%
0