-
Notifications
You must be signed in to change notification settings - Fork 1
/
in.cnf
91 lines (91 loc) · 1.24 KB
/
in.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-2.cnf
c
c SOURCE: Kazuo Iwama, Eiji Miyano ([email protected]),
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
5 17 37 0
24 28 37 0
24 -28 40 0
4 -28 -40 0
4 -24 29 0
13 -24 -29 0
-13 -24 -29 0
-4 10 -17 0
-4 -10 -17 0
26 33 -37 0
5 -26 34 0
33 -34 48 0
33 -37 -48 0
5 -33 -37 0
2 -5 10 0
2 -5 -10 0
-2 15 47 0
15 30 -47 0
-2 -15 30 0
20 -30 42 0
-2 20 -30 0
13 -20 29 0
13 16 -20 0
-13 -20 31 0
-13 16 -31 0
-16 23 38 0
-16 19 -38 0
-19 23 -38 0
14 -23 34 0
1 14 -34 0
-1 9 14 0
-1 -9 -23 0
-14 21 -23 0
-14 -16 -21 0
25 -35 41 0
-25 41 50 0
-35 49 -50 0
-25 -49 -50 0
-19 -48 -49 0
3 -39 44 0
1 3 -44 0
9 35 44 0
-9 -31 44 0
22 25 -44 0
-12 -43 46 0
-12 -28 -46 0
6 35 48 0
11 18 -48 0
22 38 -42 0
22 -35 -42 0
-3 11 41 0
27 28 -43 0
-15 -21 31 0
-33 39 50 0
-8 -22 -47 0
-22 -40 -47 0
39 44 -46 0
-25 -26 47 0
38 43 45 0
-6 -14 -45 0
-7 12 36 0
8 -11 45 0
27 -38 -50 0
7 -11 -36 0
-7 -41 42 0
7 21 23 0
-18 32 46 0
8 19 -36 0
-32 -45 -50 0
7 17 21 0
6 18 43 0
-6 24 -27 0
40 -41 49 0
-11 12 26 0
-3 32 -36 0
-6 36 -44 0
-3 36 42 0
-8 -11 -32 0
-18 -27 -38 0
-18 -27 -39 0