-
Notifications
You must be signed in to change notification settings - Fork 0
/
no_sat.cnf
91 lines (91 loc) · 1.23 KB
/
no_sat.cnf
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
c FILE: aim-50-1_6-no-1.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: Not Satisfiable
c
p cnf 50 80
16 23 42 0
-16 23 42 0
26 41 -42 0
-26 41 -42 0
32 -41 -42 0
6 15 -41 0
-6 15 -32 0
1 -32 46 0
-1 -32 46 0
-15 -41 -46 0
-15 -21 -46 0
-23 33 38 0
-23 -33 38 0
8 22 33 0
8 22 -33 0
-22 37 -38 0
13 36 -37 0
13 -22 -36 0
-13 -22 -37 0
11 -23 47 0
-8 11 -47 0
-8 -11 39 0
-11 27 -39 0
-8 -11 -39 0
-7 26 29 0
-7 -26 29 0
-13 20 36 0
-13 17 20 0
5 -17 20 0
5 -19 -45 0
-5 -10 -45 0
6 25 47 0
-6 -10 25 0
-2 -27 37 0
-27 -36 40 0
18 39 -40 0
-2 -19 31 0
5 18 -30 0
-31 -43 -50 0
10 -30 43 0
10 -41 43 0
19 21 29 0
37 42 45 0
-20 27 40 0
-21 -36 48 0
31 -36 -48 0
3 -9 -18 0
16 -40 -47 0
1 -18 21 0
2 28 32 0
-1 -24 -50 0
-12 35 49 0
-6 -36 45 0
7 12 -43 0
7 30 -43 0
-5 9 -17 0
3 14 50 0
-12 17 -49 0
24 34 49 0
14 -20 24 0
-9 35 -49 0
-4 -47 50 0
4 44 -44 0
28 -28 -38 0
2 4 -48 0
-20 35 -44 0
30 -31 -43 0
-14 -29 35 0
-20 35 -35 0
19 -22 -24 0
-25 -28 48 0
-14 -34 44 0
9 20 44 0
-3 9 -29 0
17 34 -34 0
12 48 48 0
-12 -25 -43 0
-25 -31 48 0
14 -16 49 0
-3 -4 -35 0