sidekick/tests/uuf100/uuf100-0378.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 100  430 
 64 -16 30 0
-35 66 67 0
35 -94 -45 0
-52 -76 31 0
60 55 85 0
-70 -69 35 0
-8 -16 80 0
77 11 -99 0
12 -72 41 0
59 13 -94 0
-62 -87 68 0
-11 -93 65 0
-95 -43 -51 0
-59 76 -43 0
39 77 8 0
-31 -81 -11 0
47 -88 -89 0
51 -73 -96 0
72 25 -35 0
10 -62 29 0
-42 25 29 0
49 -69 -94 0
-91 31 43 0
-46 4 -33 0
-34 26 18 0
10 85 -36 0
43 86 27 0
7 -13 -37 0
-57 46 -71 0
-45 60 -14 0
74 -31 -42 0
-66 12 -64 0
98 54 -100 0
-2 59 -44 0
-60 -93 29 0
-31 29 81 0
50 -3 60 0
-1 93 -60 0
99 -28 -21 0
12 59 62 0
-91 63 -45 0
-20 -84 -85 0
87 -98 -72 0
9 96 25 0
-98 -50 82 0
76 -81 77 0
-3 -71 -95 0
66 -37 -91 0
-34 91 84 0
-81 -17 -72 0
-78 -52 -42 0
-66 -75 64 0
53 -27 50 0
31 -97 23 0
-36 59 -7 0
76 -87 10 0
-95 -33 -66 0
7 -20 -30 0
80 84 93 0
-70 84 35 0
-44 -6 13 0
68 -97 -81 0
-29 -10 89 0
58 72 -34 0
78 76 -43 0
15 -86 66 0
42 26 27 0
-81 -77 26 0
-20 -12 -91 0
-12 -40 72 0
-15 -67 -1 0
10 -35 85 0
-52 38 -9 0
-96 -27 75 0
-83 91 76 0
-69 58 -94 0
28 -48 -22 0
-44 35 16 0
-17 -8 50 0
28 77 -19 0
30 -100 -21 0
11 96 -6 0
11 52 23 0
-49 21 43 0
26 40 14 0
7 -72 44 0
-85 6 8 0
79 -48 -67 0
-37 23 91 0
15 -46 -42 0
73 97 -56 0
28 -9 -56 0
51 -78 41 0
-87 -15 -37 0
80 8 -3 0
-5 8 89 0
-11 -52 20 0
-60 -38 -96 0
-15 41 -89 0
7 98 90 0
-2 -24 -33 0
2 -95 -7 0
41 21 -31 0
-10 -35 25 0
-80 93 -40 0
95 -3 -82 0
-83 95 60 0
83 -57 -43 0
-98 -2 -23 0
80 -75 -4 0
-43 -79 44 0
52 -66 -69 0
24 39 -32 0
-35 32 -92 0
22 -11 50 0
88 -3 -5 0
39 -24 42 0
97 88 -63 0
24 -60 -16 0
-39 67 -40 0
-51 -29 71 0
21 -24 88 0
-25 -75 -74 0
-77 -59 90 0
82 -13 11 0
-87 28 -65 0
-3 -30 -88 0
-2 82 50 0
41 12 -7 0
-76 85 -95 0
-23 93 98 0
52 -36 40 0
43 75 64 0
-59 22 20 0
64 10 -95 0
-73 -8 -63 0
-11 8 -5 0
65 93 -71 0
-41 -69 2 0
-61 -21 -37 0
-20 43 61 0
-51 -13 -26 0
51 -28 -67 0
3 -98 45 0
-32 -18 -23 0
-21 -92 36 0
98 -24 51 0
-98 -29 -41 0
-41 -53 -95 0
-88 69 10 0
-76 32 -39 0
-55 29 27 0
75 -36 -80 0
-79 -38 71 0
-51 83 91 0
64 -14 -63 0
78 25 97 0
44 77 38 0
-1 -95 -62 0
-94 -9 -38 0
-14 33 -90 0
45 13 -85 0
-44 -60 -64 0
-5 -83 73 0
-21 48 40 0
35 45 -43 0
-83 65 90 0
54 49 66 0
-96 -34 -32 0
100 -20 -33 0
-49 13 8 0
-67 -19 -93 0
63 -39 -47 0
77 51 10 0
94 -19 28 0
-90 -6 -19 0
25 63 -73 0
-15 82 -97 0
38 -86 4 0
-55 87 -41 0
88 -3 -4 0
60 23 -63 0
-90 55 -63 0
39 -53 57 0
64 54 37 0
4 23 52 0
-7 88 73 0
50 -9 -67 0
83 -33 35 0
89 39 88 0
75 -46 -45 0
76 60 -61 0
60 -79 -88 0
8 74 -15 0
-77 2 -28 0
87 2 -17 0
-5 -3 -30 0
44 11 37 0
13 -44 2 0
17 62 16 0
15 12 -44 0
1 47 75 0
88 -55 -35 0
-52 98 -15 0
-67 -43 -62 0
-25 2 99 0
41 -32 -89 0
-39 -49 54 0
-45 -24 -36 0
59 43 -4 0
8 50 91 0
49 -59 55 0
-37 -13 64 0
-29 -31 60 0
26 -49 79 0
19 -77 -54 0
-33 -31 32 0
-3 -4 17 0
-3 -23 34 0
-98 13 71 0
80 -61 -16 0
6 -4 -29 0
-42 -93 -100 0
-60 62 17 0
-16 -22 -17 0
26 78 -20 0
-39 -17 -94 0
-63 -95 77 0
-57 12 97 0
-77 20 42 0
-53 -32 18 0
-63 -11 -45 0
40 92 -16 0
59 -55 -48 0
10 -79 -11 0
55 -17 -68 0
89 -98 41 0
-84 15 -30 0
-50 76 -29 0
-66 18 -67 0
-27 75 -67 0
90 91 53 0
-68 18 -42 0
-71 -67 35 0
-86 30 -60 0
-3 32 -54 0
-25 15 -46 0
5 12 97 0
5 -79 80 0
82 63 -73 0
-20 -18 10 0
-29 -11 -49 0
53 93 4 0
63 -44 -91 0
-86 64 31 0
37 -24 63 0
81 -26 61 0
23 51 -41 0
38 64 22 0
96 92 -68 0
72 87 -96 0
84 14 17 0
93 -66 -67 0
12 -28 30 0
38 -51 -27 0
-77 -49 -63 0
-64 67 -10 0
-96 3 19 0
-28 -47 -38 0
93 17 44 0
-95 -98 -69 0
-54 33 19 0
16 -8 -32 0
-44 -97 -14 0
75 -46 11 0
39 59 -31 0
-59 69 32 0
6 -48 52 0
5 26 -16 0
12 -81 -15 0
55 -37 -85 0
-2 -21 -15 0
85 -100 10 0
26 6 46 0
-55 -93 29 0
31 -28 -43 0
98 -73 -16 0
-71 -35 67 0
-10 82 -54 0
-69 -79 59 0
4 -85 77 0
-40 97 -19 0
-23 -81 -5 0
-37 71 -42 0
56 -94 -44 0
63 94 -84 0
86 79 -80 0
-75 57 69 0
-39 -82 100 0
-46 27 19 0
88 4 -71 0
29 -23 32 0
-8 -12 89 0
26 39 18 0
51 -38 -62 0
-27 82 75 0
-50 -53 -41 0
-2 -94 -8 0
9 5 4 0
69 -60 52 0
-1 26 11 0
94 -73 -87 0
30 56 66 0
2 -54 -50 0
-20 -48 19 0
100 -78 -43 0
45 -46 -39 0
-4 8 -48 0
-15 -47 48 0
23 71 -75 0
59 -41 -29 0
67 95 28 0
97 -30 -14 0
-39 -14 -5 0
-13 1 -27 0
-40 100 -8 0
-50 -68 -53 0
-83 69 9 0
-54 52 -22 0
15 50 100 0
9 77 41 0
75 -95 -8 0
6 54 -49 0
22 -3 13 0
43 76 100 0
84 24 -13 0
-65 14 52 0
53 -46 76 0
-62 82 -28 0
24 67 -64 0
-59 93 4 0
-30 -80 -57 0
-3 5 44 0
3 67 84 0
-19 -65 -75 0
-62 47 -76 0
-8 47 71 0
62 31 27 0
-8 12 98 0
-99 60 -3 0
57 -4 -36 0
-23 77 1 0
17 3 -59 0
-75 15 78 0
11 -5 80 0
3 -34 -26 0
-92 -89 72 0
-21 98 16 0
45 -15 38 0
42 97 48 0
-43 12 60 0
63 42 -13 0
-46 54 92 0
84 -77 47 0
65 -41 30 0
-38 -4 -50 0
22 -35 -42 0
-29 -14 -21 0
-58 37 99 0
-44 77 -61 0
-94 42 50 0
13 48 -91 0
-77 29 -94 0
50 60 92 0
80 83 3 0
-40 32 -83 0
38 -35 -44 0
-93 -59 -87 0
41 -4 -48 0
-59 -31 69 0
-3 -11 -38 0
81 -37 -96 0
-82 57 -36 0
56 85 94 0
-90 75 77 0
65 38 -58 0
-63 3 -94 0
-35 -8 -15 0
-61 32 -42 0
-100 -25 -32 0
-24 48 6 0
39 -13 -31 0
90 -5 65 0
62 -36 72 0
-61 -90 31 0
-60 -91 61 0
93 11 -23 0
81 33 -98 0
-86 99 -9 0
-63 -88 94 0
-15 45 -69 0
-73 -28 -2 0
77 3 -92 0
-7 39 -73 0
26 -3 59 0
-27 -71 -57 0
-74 23 -1 0
-70 95 74 0
-26 -22 -52 0
70 10 94 0
-42 55 -21 0
-72 -22 94 0
43 67 6 0
-29 -54 43 0
-72 -22 -36 0
15 -93 -18 0
-6 63 -88 0
10 -77 -51 0
-36 22 -31 0
4 73 -5 0
2 -52 47 0
-85 -92 100 0
57 1 12 0
85 52 26 0
97 -34 100 0
56 -75 -88 0
40 -78 -66 0
-74 7 -58 0
89 98 -25 0
41 10 -88 0