more tests

Author: samuelsonric

test/core.jl

@@ -1070,8 +1070,6 @@ end
         ("bcspwr09", 5200),
         ("bcspwr10", 25300),
         ("bcsstk08", 30800),
-        ("bcsstk13", 270800),
-        ("bcsstm13", 44400),
     )
 
     for (name, fill) in matrices
@@ -1081,6 +1079,10 @@ end
             @test treefill(matrix; alg) <= fill
         end
     end
+
+    name = "mycielskian14"; fill = 14000000
+    matrix = mmread(joinpath(fetch_ssmc(ssmc[ssmc.name .== name, :]; format="MM")[1], "$(name).mtx"))
+    @test treefill(matrix; alg=AMF()) <= fill
 end
 
 @testset "exact treewidth" begin