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

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