example.cnf

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