-
Notifications
You must be signed in to change notification settings - Fork 0
/
uf20-03.cnf
101 lines (101 loc) · 1.12 KB
/
uf20-03.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
92
93
94
95
96
97
98
99
100
101
c This Formular is generated by mcnf
c
c horn? no
c forced? no
c mixed sat? no
c clause length = 3
c
p cnf 20 91
-9 3 -15 0
-12 -4 -15 0
6 14 -17 0
10 16 11 0
-15 20 -7 0
-1 10 16 0
13 17 -7 0
-2 -14 -13 0
13 -6 15 0
-9 3 16 0
-20 -13 4 0
-7 15 -14 0
-15 -16 6 0
5 -18 20 0
-16 -19 7 0
20 -18 -2 0
10 -19 -14 0
16 -7 12 0
6 -5 -1 0
-9 11 15 0
19 -6 7 0
-11 17 -19 0
9 -16 6 0
15 -20 10 0
9 -1 -11 0
-8 -19 5 0
-19 11 20 0
-12 13 -3 0
-7 -17 -19 0
17 6 -11 0
-7 -17 10 0
-14 9 20 0
1 -18 -16 0
-2 -15 20 0
14 18 -1 0
-8 -4 1 0
13 3 -9 0
5 7 8 0
9 4 -20 0
-18 -15 -10 0
10 3 -20 0
20 -14 16 0
20 -3 -11 0
-12 19 -16 0
-3 5 10 0
8 13 -7 0
-2 -15 10 0
-3 9 16 0
-12 -16 -18 0
3 1 -12 0
-18 13 5 0
1 3 -19 0
-19 -5 6 0
-20 8 -2 0
17 -8 -13 0
7 -11 -12 0
-10 -14 -20 0
-1 16 -12 0
5 -3 9 0
-18 8 14 0
1 16 12 0
20 -1 -16 0
5 10 -13 0
9 -10 6 0
-12 10 -14 0
-13 1 4 0
-20 -7 3 0
12 1 -10 0
-1 -16 7 0
11 -6 -4 0
1 16 -20 0
9 7 15 0
-6 17 10 0
8 9 17 0
18 11 10 0
7 1 -8 0
-5 -12 18 0
-6 2 15 0
2 18 1 0
-7 -13 16 0
18 19 9 0
9 -14 18 0
14 12 -5 0
-13 -7 -14 0
-1 8 -16 0
-11 4 7 0
-4 20 5 0
-5 2 12 0
-5 13 -18 0
-18 9 1 0
10 -11 16 0
%
0