gsat-solver/benchmarks/uf50/uf50-015.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 50  218 
 -17 4 10 0
-45 -19 29 0
37 -30 39 0
3 -17 42 0
-30 -24 -2 0
49 -47 33 0
22 37 50 0
9 -33 5 0
-20 -48 -11 0
15 -10 32 0
13 -36 -44 0
-43 -15 18 0
8 46 -4 0
-31 33 32 0
23 -31 27 0
15 -8 -2 0
5 21 -45 0
-44 -20 -27 0
32 13 -23 0
30 -27 20 0
22 -45 24 0
-7 -21 -48 0
23 -4 -6 0
1 47 18 0
-43 27 -26 0
-20 1 12 0
-46 -10 33 0
-23 -11 19 0
-24 -30 1 0
47 -35 -29 0
13 -4 -36 0
36 -43 -49 0
33 -9 -48 0
5 -10 8 0
-7 46 36 0
20 31 22 0
-45 40 -10 0
-30 -40 -4 0
6 46 -50 0
-13 -8 45 0
-16 12 -44 0
5 12 -38 0
11 35 34 0
5 -18 20 0
-2 -43 28 0
10 -6 -32 0
-1 48 11 0
32 -23 50 0
39 -42 30 0
29 -47 -2 0
27 2 -47 0
8 -4 -37 0
-35 -23 22 0
-47 -25 -50 0
-35 12 -41 0
27 45 -35 0
-12 -11 -43 0
47 -14 -6 0
-28 44 18 0
22 -4 -12 0
-45 -16 -24 0
19 -50 36 0
45 28 -1 0
40 -19 10 0
39 -40 22 0
46 -44 -24 0
43 -31 -35 0
-48 -22 28 0
41 -25 21 0
-11 -30 -48 0
33 -26 20 0
-5 -43 31 0
40 -44 31 0
-20 -33 -39 0
-49 -44 -10 0
-22 8 15 0
41 18 7 0
31 -47 -12 0
34 20 -15 0
23 46 -4 0
-40 -28 7 0
-21 9 -28 0
-23 -14 26 0
10 -12 -34 0
19 -9 31 0
15 -17 30 0
42 17 -30 0
49 32 -10 0
38 -26 -49 0
-7 -19 44 0
-38 -6 -18 0
-19 1 17 0
37 42 23 0
49 -33 -8 0
26 -2 37 0
50 48 -45 0
5 -43 -29 0
35 -17 -30 0
16 -26 20 0
17 -20 -3 0
10 -32 43 0
33 4 -10 0
-49 10 -6 0
-14 32 9 0
-35 22 23 0
33 -34 -35 0
-41 -20 37 0
-40 29 -21 0
-28 20 18 0
39 38 45 0
-15 -7 -2 0
33 23 -9 0
-30 11 17 0
36 34 -42 0
27 9 32 0
-40 -33 -13 0
-31 -14 -17 0
-28 13 49 0
17 48 39 0
-3 -29 -16 0
41 -40 -18 0
48 12 -13 0
2 29 8 0
-6 -39 17 0
2 -49 -48 0
3 -23 37 0
-19 -23 -29 0
-27 -38 -8 0
3 -44 19 0
39 -14 -36 0
-8 -20 -19 0
-46 18 -15 0
-4 -42 -3 0
40 23 1 0
48 -30 33 0
-12 -46 34 0
35 -8 12 0
-4 32 -1 0
7 -16 -50 0
14 -11 -30 0
30 32 -29 0
3 -30 34 0
-28 45 29 0
35 25 18 0
-15 17 -45 0
-12 35 19 0
-32 -36 1 0
23 -22 8 0
-20 -35 -41 0
-2 -50 13 0
37 43 50 0
23 -5 41 0
-37 22 -39 0
11 -43 23 0
48 -32 -8 0
-26 15 32 0
31 42 8 0
-39 -2 29 0
-17 8 44 0
48 7 -4 0
43 46 -24 0
49 7 -36 0
-9 24 21 0
-4 -27 -16 0
-40 43 42 0
37 3 -19 0
39 -19 40 0
-16 -48 35 0
9 -38 31 0
12 21 9 0
-27 1 -22 0
28 50 -11 0
28 38 -48 0
-16 32 -20 0
13 18 -21 0
41 -47 -35 0
4 -20 46 0
-14 -6 -11 0
-42 11 12 0
2 34 32 0
13 -1 -2 0
-28 -12 43 0
5 -12 -16 0
8 29 6 0
31 -19 5 0
-29 -5 10 0
27 -7 13 0
-29 3 22 0
-39 -26 38 0
15 -26 24 0
-28 -16 -19 0
39 -23 4 0
-12 21 4 0
-42 -3 -47 0
34 -11 17 0
-22 -8 21 0
-38 -34 -39 0
-42 -47 50 0
18 -21 17 0
6 -33 23 0
-27 11 10 0
-12 -39 38 0
-30 21 -19 0
44 -34 19 0
-24 3 -1 0
49 -2 1 0
13 10 39 0
23 39 -42 0
12 -39 -8 0
-47 39 26 0
41 15 50 0
-22 5 -13 0
-19 12 27 0
49 -5 -24 0
18 -30 -25 0
-1 9 5 0
12 42 -25 0
-9 41 36 0
%
0