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