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

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