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