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 package org.sat4j.pb.constraints;
32
33 import java.io.FileNotFoundException;
34 import java.io.IOException;
35
36 import org.sat4j.reader.ParseFormatException;
37 import org.sat4j.specs.ISolver;
38
39
40
41
42
43
44
45 public abstract class AbstractRandomCardProblemsTest<T extends ISolver> extends
46 AbstractPigeonHoleWithCardinalityTest<T> {
47
48
49
50
51 public AbstractRandomCardProblemsTest(String name) {
52 super(name);
53 }
54
55 public void testRndDeg1() throws FileNotFoundException, IOException,
56 ParseFormatException {
57 assertFalse(solveInstance(PREFIX + "random-opb/rnddeg1.opb"));
58 }
59
60 public void testRndDeg2() throws FileNotFoundException, IOException,
61 ParseFormatException {
62 assertFalse(solveInstance(PREFIX + "random-opb/rnddeg2.opb"));
63 }
64
65 public void testRndDeg3() throws FileNotFoundException, IOException,
66 ParseFormatException {
67 assertFalse(solveInstance(PREFIX + "random-opb/rnddeg3.opb"));
68 }
69
70 public void testRndDeg4() throws FileNotFoundException, IOException,
71 ParseFormatException {
72 assertFalse(solveInstance(PREFIX + "random-opb/rnddeg4.opb"));
73 }
74
75 public void testRndDeg5() throws FileNotFoundException, IOException,
76 ParseFormatException {
77 assertFalse(solveInstance(PREFIX + "random-opb/rnddeg5.opb"));
78 }
79
80 public void testRndDeg6() throws FileNotFoundException, IOException,
81 ParseFormatException {
82 assertFalse(solveInstance(PREFIX + "random-opb/rnddeg6.opb"));
83 }
84
85 public void testRndDeg7() throws FileNotFoundException, IOException,
86 ParseFormatException {
87 assertFalse(solveInstance(PREFIX + "random-opb/rnddeg7.opb"));
88 }
89
90 public void testRndDeg8() throws FileNotFoundException, IOException,
91 ParseFormatException {
92 assertFalse(solveInstance(PREFIX + "random-opb/rnddeg8.opb"));
93 }
94
95 public void testRndDeg9() throws FileNotFoundException, IOException,
96 ParseFormatException {
97 assertFalse(solveInstance(PREFIX + "random-opb/rnddeg9.opb"));
98 }
99
100 public void testRndDeg10() throws FileNotFoundException, IOException,
101 ParseFormatException {
102 assertFalse(solveInstance(PREFIX + "random-opb/rnddeg10.opb"));
103 }
104
105 public void testRndDeg11() throws FileNotFoundException, IOException,
106 ParseFormatException {
107 assertFalse(solveInstance(PREFIX + "random-opb/rnddeg11.opb"));
108 }
109
110 public void testRndDeg12() throws FileNotFoundException, IOException,
111 ParseFormatException {
112 assertFalse(solveInstance(PREFIX + "random-opb/rnddeg12.opb"));
113 }
114
115 public void testRndDeg13() throws FileNotFoundException, IOException,
116 ParseFormatException {
117 assertFalse(solveInstance(PREFIX + "random-opb/rnddeg13.opb"));
118 }
119
120 public void testRndDeg14() throws FileNotFoundException, IOException,
121 ParseFormatException {
122 assertFalse(solveInstance(PREFIX + "random-opb/rnddeg14.opb"));
123 }
124
125 public void testRndDeg15() throws FileNotFoundException, IOException,
126 ParseFormatException {
127 assertFalse(solveInstance(PREFIX + "random-opb/rnddeg15.opb"));
128 }
129
130 public void testRndDeg16() throws FileNotFoundException, IOException,
131 ParseFormatException {
132 assertFalse(solveInstance(PREFIX + "random-opb/rnddeg16.opb"));
133 }
134
135 public void testRndDeg17() throws FileNotFoundException, IOException,
136 ParseFormatException {
137 assertFalse(solveInstance(PREFIX + "random-opb/rnddeg17.opb"));
138 }
139
140 public void testRndDeg18() throws FileNotFoundException, IOException,
141 ParseFormatException {
142 assertFalse(solveInstance(PREFIX + "random-opb/rnddeg18.opb"));
143 }
144
145 }