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