aim-100-6_0-yes1-4.cnf

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