uuf50-01c.gcnf

c This Formular is generated by mcnf
c
c    horn? no 
c    forced? no 
c    mixed sat? no 
c    clause length = 3 
c
p gcnf 50 218 20
{1}   18 -8 29 0
{12} -16 3 18 0
{13} -36 -11 -30 0
{13} -50 20 32 0
{1}  -6 9 35 0
{10} 42 -38 29 0
{7}  43 -15 10 0
{6}  -48 -47 1 0
{15} -45 -16 33 0
{6}  38 42 22 0
{9}  -49 41 -34 0
{18} 12 17 35 0
{15} 22 -49 7 0
{5}  -10 -11 -39 0
{20} -28 -36 -37 0
{0}  -13 -46 -41 0
{20} 21 -4 9 0
{12} 12 48 10 0
{8}  24 23 15 0
{18} -8 -41 -43 0
{3}  -44 -2 -35 0
{9}  -27 18 31 0
{20} 47 35 6 0
{8}  -11 -27 41 0
{16} -33 -47 -45 0
{4}  -16 36 -37 0
{13} 27 -46 2 0
{4}  15 -28 10 0
{7}  -38 46 -39 0
{2}  -33 -4 24 0
{16} -12 -45 50 0
{14} -32 -21 -15 0
{7}  8 42 24 0
{17} 30 -49 4 0
{5}  45 -9 28 0
{6}  -33 -47 -1 0
{14} 1 27 -16 0
{13} -11 -17 -35 0
{3}  -42 -15 45 0
{6}  -19 -27 30 0
{11} 3 28 12 0
{13} 48 -11 -33 0
{15} -6 37 -9 0
{8}  -37 13 -7 0
{17} -2 26 16 0
{5}  46 -24 -38 0
{8}  -13 -24 -8 0
{8}  -36 -42 -21 0
{11} -37 -19 3 0
{5}  -31 -50 35 0
{13} -7 -26 29 0
{15} -42 -45 29 0
{20} 33 25 -6 0
{6}  -45 -5 7 0
{3}  -7 28 -6 0
{8}  -48 31 -11 0
{6}  32 16 -37 0
{4}  -24 48 1 0
{9}  18 -46 23 0
{0}  -30 -50 48 0
{3}  -21 39 -2 0
{9}  24 47 42 0
{15} -36 30 4 0
{20} -5 28 -1 0
{20} -47 32 -42 0
{4}  16 37 -22 0
{5}  -43 42 -34 0
{20} -40 39 -20 0
{14} -49 29 6 0
{16} -41 -3 39 0
{12} -16 -12 43 0
{13} 24 22 3 0
{12} 47 -45 43 0
{10} 45 -37 46 0
{5}  -9 26 5 0
{0}  -3 23 -13 0
{10} 5 -34 13 0
{4}  12 39 13 0
{9}  22 50 37 0
{0}  19 9 46 0
{17} -24 8 -27 0
{4}  -28 7 21 0
{18} 8 -25 50 0
{17} 20 50 4 0
{5}  27 36 13 0
{10} 26 31 -25 0
{2}  39 -44 -32 0
{15} -20 41 -10 0
{13} 49 -28 35 0
{18} 1 44 34 0
{0}  39 35 -11 0
{4}  -50 -42 -7 0
{16} -24 7 47 0
{18} -13 5 -48 0
{2}  -9 -20 -23 0
{9}  2 17 -19 0
{14} 11 23 21 0
{17} -45 30 15 0
{20} 11 26 -24 0
{3}  38 33 -13 0
{5}  44 -27 -7 0
{20} 41 49 2 0
{15} -18 12 -37 0
{15} -2 12 -26 0
{14} -19 7 32 0
{12} -22 11 33 0
{19} 8 12 -20 0
{0}  16 40 -48 0
{6}  -2 -24 -11 0
{6}  26 -17 37 0
{12} -14 -19 46 0
{2}  5 47 36 0
{8}  -29 -9 19 0
{4}  32 4 28 0
{11} -34 20 -46 0
{4}  -4 -36 -13 0
{19} -15 -37 45 0
{6}  -21 29 23 0
{15} -6 -40 7 0
{1}  -42 31 -29 0
{14} -36 24 31 0
{9}  -45 -37 -1 0
{8}  3 -6 -29 0
{0}  -28 -50 27 0
{4}  44 26 5 0
{9}  -17 -48 49 0
{12} 12 -40 -7 0
{11} -12 31 -48 0
{3}  27 32 -42 0
{20} -27 -10 1 0
{17} 6 -49 10 0
{14} -24 8 43 0
{10} 23 31 1 0
{12} 11 -47 38 0
{20} -28 26 -13 0
{11} -40 12 -42 0
{3}  -3 39 46 0
{17} 17 41 46 0
{10} 23 21 13 0
{17} -14 -1 -38 0
{16} 20 18 6 0
{6}  -50 20 -9 0
{17} 10 -32 -18 0
{7}  -21 49 -34 0
{17} 44 23 -35 0
{0}  40 -19 34 0
{11} -1 6 -12 0
{17} 6 -2 -7 0
{5}  32 -20 34 0
{9}  -12 43 -29 0
{10} 24 2 -49 0
{18} 10 -4 40 0
{9}  11 5 12 0
{10} -3 47 -31 0
{2}  43 -23 21 0
{19} -41 -36 -50 0
{1}  -8 -42 -24 0
{9}  39 45 7 0
{17} 7 37 -45 0
{20} 41 40 8 0
{18} -50 -10 -8 0
{2}  -5 -39 -14 0
{17} -22 -24 -43 0
{17} -36 40 35 0
{4}  17 49 41 0
{5}  -32 7 24 0
{15} -30 -8 -9 0
{0}  -41 -13 -10 0
{17} 31 26 -33 0
{0}  17 -22 -39 0
{12} -21 28 3 0
{20} -14 46 23 0
{18} 29 16 19 0
{17} 42 -32 -44 0
{14} -24 10 23 0
{15} -1 -32 -21 0
{2}  -8 -44 -39 0
{7}  39 11 9 0
{19} 19 14 -46 0
{9}  46 44 -42 0
{9}  37 23 -29 0
{11} 32 25 20 0
{7}  14 -43 -12 0
{0}  -36 -18 46 0
{4}  14 -26 -10 0
{13} -2 -30 5 0
{17} 6 -18 46 0
{2}  -26 2 -44 0
{6}  20 -8 -11 0
{8}  -31 3 16 0
{19} -22 -9 39 0
{3}  -49 44 -42 0
{2}  -45 -44 31 0
{6}  -31 50 -11 0
{11} -32 -46 2 0
{8}  -6 -7 17 0
{6}  19 -32 48 0
{8}  39 20 -10 0
{11} -22 -37 38 0
{3}  -31 9 -48 0
{1}  40 12 7 0
{15} -24 -4 9 0
{1}  -22 49 33 0
{12} -12 43 10 0
{12} 25 -30 -10 0
{2}  46 47 31 0
{0}  13 27 -7 0
{19} -45 32 -35 0
{20} -50 34 9 0
{0}  2 34 30 0
{19} 3 16 2 0
{16} -18 45 -12 0
{16} 33 37 10 0
{13} 43 7 -18 0
{2}  -22 44 -19 0
{19} -31 -27 -42 0
{18} -3 -40 8 0
{11} -23 -31 38 0