Knowledge-Base-Inference-Checker/uf20-02.cnf at master · aymenkhs/Knowledge-Base-Inference-Checker · GitHub

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
 -10 -16 5 0
16 -6 5 0
-17 -14 -18 0
-10 -15 19 0
-1 -9 -18 0
3 7 -6 0
-13 1 6 0
-2 -16 -20 0
7 8 18 0
-7 10 -20 0
2 -14 -17 0
2 1 19 0
7 -20 -1 0
-11 1 -17 0
3 -12 19 0
-3 -13 6 0
-13 3 -12 0
5 -7 -12 0
20 8 -16 0
-13 -6 19 0
-5 1 14 0
9 -5 18 0
-12 -17 -1 0
-20 -16 19 0
12 10 -11 0
6 -7 -2 0
13 -10 17 0
-20 8 -16 0
-10 -1 -8 0
-7 -3 19 0
19 -1 -6 0
19 -2 13 0
-2 20 -9 0
-8 -20 16 0
-13 -1 11 0
15 -12 -6 0
-17 -19 9 0
19 -18 16 0
7 -8 -19 0
-3 -7 -1 0
7 -17 -16 0
-2 -14 1 0
-18 -10 -8 0
-16 5 8 0
4 8 10 0
-20 -11 -19 0
8 -16 -6 0
18 12 8 0
-5 -20 -10 0
16 17 3 0
7 -1 -17 0
17 -4 7 0
20 -9 -13 0
13 18 16 0
-16 -6 5 0
5 17 7 0
-12 -17 -6 0
-20 19 -5 0
9 -19 16 0
-13 -16 11 0
-4 -19 -18 0
-13 10 -15 0
16 -7 -14 0
-19 -7 -18 0
-20 5 13 0
12 -6 4 0
7 9 -13 0
16 3 7 0
9 -1 12 0
-3 14 7 0
1 15 14 0
-8 -11 18 0
19 -9 7 0
-10 6 2 0
14 18 -11 0
-9 -16 14 0
1 11 -20 0
11 12 -4 0
13 -11 -14 0
17 -12 9 0
14 9 1 0
8 19 4 0
6 -13 -20 0
-2 -13 11 0
14 -13 17 0
9 -11 18 0
-13 -6 5 0
5 19 -18 0
-4 10 11 0
-18 -19 -20 0
3 -9 8 0
%
0