aim-100-3_4-yes1-4.cnf

c FILE: aim-100-3_4-yes1-4.cnf
c
c SOURCE: Kazuo Iwama, Eiji Miyano (miyano@cscu.kyushu-u.ac.jp),
c          and Yuichi Asahiro
c
c DESCRIPTION: Artifical instances from generator by source.  Generators
c              and more information in sat/contributed/iwama.
c
c NOTE: Satisfiable
c
p cnf 100 340
50 59 89 0
44 -50 59 0
-50 59 89 0
23 -59 72 0
-23 -59 89 0
4 72 -89 0
-4 80 -89 0
23 72 -80 0
-23 72 -80 0
-72 89 -96 0
79 88 -96 0
-72 -79 -96 0
25 64 -88 0
-25 64 -72 0
-64 -72 -96 0
56 65 90 0
-56 58 65 0
-58 65 96 0
-27 -65 90 0
-27 -90 96 0
8 27 -67 0
-8 -67 94 0
-8 43 -67 0
27 -67 96 0
14 67 75 0
14 -57 75 0
-57 -66 75 0
67 68 75 0
6 -14 75 0
-6 -14 -68 0
30 67 -75 0
-13 -30 52 0
-13 -30 -52 0
5 13 -30 0
-5 -31 -75 0
-5 79 -84 0
-5 41 -84 0
-41 48 -84 0
-5 -48 -84 0
-3 13 -30 0
19 29 -45 0
3 -19 -45 0
-29 -45 54 0
-29 -45 -54 0
58 84 87 0
-25 -58 87 0
64 79 -87 0
-64 79 -87 0
38 39 -79 0
-38 54 84 0
17 -54 -79 0
-38 -54 -79 0
-25 84 88 0
-25 31 86 0
31 -86 -90 0
31 74 -88 0
31 60 -74 0
57 -60 -74 0
14 -57 -74 0
-14 -79 -88 0
-4 86 98 0
68 71 -86 0
68 -71 -86 0
-68 -86 98 0
-4 64 95 0
27 31 -95 0
27 -58 -95 0
-4 66 -95 0
-27 -66 -95 0
-64 87 88 0
-4 -64 -87 0
-4 69 -98 0
60 -69 84 0
-60 -69 84 0
26 -43 45 0
-26 29 -43 0
-26 45 56 0
-26 -43 -56 0
3 25 -47 0
22 45 48 0
4 -22 45 0
4 39 40 0
4 -40 59 0
4 39 -40 0
41 54 91 0
-41 47 54 0
47 74 91 0
43 -74 91 0
43 47 -86 0
-18 -39 42 0
3 -18 47 0
-18 -47 82 0
-18 -21 -42 0
3 -18 -82 0
-3 -39 51 0
-18 -51 94 0
-3 -51 -94 0
-39 -78 -91 0
-78 -91 -98 0
18 -63 -91 0
52 -85 86 0
30 78 86 0
-30 78 -85 0
63 -80 95 0
-80 -93 95 0
63 86 -95 0
18 24 63 0
27 66 78 0
13 -27 66 0
3 -13 66 0
-3 66 78 0
11 34 80 0
-11 15 77 0
-11 34 39 0
-11 43 -77 0
34 -39 100 0
-11 80 -100 0
34 -43 85 0
-24 80 -88 0
-34 -37 88 0
-24 -66 72 0
-66 -81 85 0
-72 -81 -85 0
12 -34 90 0
12 -90 98 0
7 12 -84 0
-12 16 94 0
-16 -34 94 0
-34 -94 98 0
-7 -34 98 0
37 -38 50 0
37 -50 82 0
37 -38 -82 0
-14 37 -38 0
-38 -72 -98 0
83 88 -98 0
35 -83 -98 0
17 38 -83 0
23 38 -98 0
17 -35 44 0
10 -17 -35 0
-39 -47 -83 0
10 50 88 0
-50 76 -83 0
10 -76 -83 0
32 -44 -88 0
10 26 -32 0
-26 -32 67 0
-32 -67 -83 0
17 -23 40 0
7 -23 40 0
-7 -23 40 0
-10 83 97 0
-17 83 -97 0
13 57 78 0
-13 57 83 0
-10 -13 -17 0
24 57 -78 0
-24 44 -78 0
-24 -44 -78 0
9 -19 -40 0
-9 -19 -40 0
-10 66 100 0
-10 -66 100 0
-57 68 -100 0
19 -57 60 0
19 90 -100 0
6 -8 -100 0
-6 -8 -100 0
8 -20 -60 0
-58 -68 -90 0
58 -60 77 0
2 20 -93 0
-2 20 -93 0
70 -77 93 0
8 76 -77 0
67 -70 76 0
-8 -70 76 0
42 58 99 0
20 42 58 0
-33 56 81 0
42 -56 81 0
-33 68 -81 0
20 -33 -68 0
-69 -76 91 0
-69 -76 93 0
-53 70 -76 0
-53 -70 93 0
51 69 73 0
51 69 87 0
51 69 93 0
-42 -87 -93 0
29 -51 53 0
-42 53 71 0
53 71 -80 0
-29 54 69 0
-22 -51 -54 0
-15 -29 33 0
21 22 -33 0
10 22 -29 0
-10 -15 -21 0
-7 22 79 0
-7 22 -54 0
-28 -71 85 0
7 -28 -71 0
15 -55 57 0
15 28 -55 0
15 -21 -55 0
7 28 52 0
15 -26 55 0
-11 26 28 0
28 41 -52 0
9 12 -52 0
9 -41 -52 0
-9 26 48 0
-9 -12 48 0
-41 -48 94 0
-9 11 82 0
-9 -33 -82 0
60 65 -94 0
-48 65 -94 0
33 41 63 0
-48 63 82 0
55 -63 77 0
-48 -55 -63 0
-63 76 -77 0
-63 -76 82 0
70 -92 -94 0
37 -82 -92 0
-37 -70 -92 0
24 50 92 0
30 -81 92 0
24 30 -69 0
24 -81 92 0
20 -22 92 0
-20 -22 33 0
-24 50 92 0
32 35 45 0
32 35 -45 0
29 43 -65 0
29 -43 96 0
32 -65 96 0
23 -35 77 0
49 -65 77 0
-35 -49 77 0
32 -35 -77 0
16 -50 -65 0
12 -32 -82 0
-16 20 64 0
-16 -20 -32 0
14 -16 90 0
14 -16 -90 0
-14 -36 51 0
-36 -51 -64 0
1 36 59 0
-1 -12 59 0
-12 -59 -73 0
-12 -28 -73 0
23 36 49 0
36 47 49 0
-47 49 -59 0
-6 41 49 0
-6 -41 -47 0
19 36 74 0
-19 36 74 0
-6 -49 -59 0
25 73 91 0
25 44 -91 0
25 -85 -91 0
-25 44 73 0
2 56 73 0
2 6 -56 0
2 6 -96 0
-1 -2 6 0
1 -44 61 0
1 2 99 0
36 -44 99 0
-2 -36 99 0
16 55 -99 0
55 89 -99 0
1 60 -99 0
-44 -55 -60 0
-2 -61 -95 0
-15 16 -61 0
-15 40 -61 0
-15 -40 -61 0
-62 70 85 0
-62 85 -89 0
1 42 -62 0
-42 -62 -85 0
-61 95 99 0
62 95 -97 0
56 -89 97 0
9 46 70 0
46 -56 62 0
9 46 -70 0
28 46 62 0
-9 -28 62 0
-21 -46 74 0
-21 -46 -74 0
73 87 -99 0
17 21 62 0
21 -62 -73 0
-17 22 -73 0
-17 -22 -73 0
5 21 -87 0
-5 21 79 0
8 16 -52 0
-1 30 -68 0
-28 -89 -92 0
-2 34 35 0
38 55 100 0
7 -19 -42 0
35 61 -71 0
18 -36 -93 0
-36 -46 -99 0
26 38 83 0
5 52 -97 0
-37 71 -75 0
18 19 48 0
11 -31 100 0
-20 -31 -53 0
-3 8 -100 0
-7 97 -97 0
-37 -49 0
5 -53 81 0
61 66 -75 0
-49 -75 -92 0
46 52 -53 0
13 18 39 0
11 71 97 0
-31 -46 61 0
-31 80 97 0
-37 53 81 0
-20 -27 -71 0
-58 81 93 0
-1 11 -30 0
23 -46 53 0
5 33 61 0
-1 33 -97 0