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