remove some more brittle graph tests

tests/edu/caltech/cs2/project06/DSaturTests.java

@@ -189,20 +189,15 @@ public class DSaturTests {
             "fpsol2.i.2.graph", "fpsol2.i.3.graph", "games120.graph",
             "homer.graph", "huck.graph", "inithx.i.1.graph",
             "inithx.i.2.graph", "inithx.i.3.graph", "jean.graph",
-            "le450_15a.graph", "le450_15c.graph",
+            "le450_15c.graph", "le450_5a.graph", "le450_5b.graph",
             "le450_25a.graph", "le450_25b.graph",
-            "le450_25c.graph", "le450_25d.graph", "le450_5a.graph",
-            "le450_5b.graph", "le450_5d.graph",
+            "le450_25c.graph", "le450_25d.graph",
             "miles1000.graph", "miles1500.graph", "miles250.graph",
             "miles500.graph", "miles750.graph", "mulsol.i.1.graph",
             "mulsol.i.2.graph", "mulsol.i.3.graph", "mulsol.i.4.graph",
             "mulsol.i.5.graph", "myciel2.graph", "myciel3.graph",
             "myciel4.graph", "myciel5.graph", "myciel6.graph",
-            "myciel7.graph", "queen10_10.graph", "queen11_11.graph",
-            "queen12_12.graph",
-            "queen16_16.graph", "queen5_5.graph",
-            "queen6_6.graph", "queen7_7.graph", "queen8_12.graph",
-            "queen8_8.graph", "school1.graph",
+            "myciel7.graph", "school1.graph",
             "school1_nsh.graph", "zeroin.i.1.graph", "zeroin.i.2.graph",
             "zeroin.i.3.graph"})
     public void testCmuGraphs(String fname) {