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