diff --git a/benchmarks/GraphColoringConstantBagsExpandingGraph.jl b/benchmarks/GraphColoringConstantBagsExpandingGraph.jl index fba0a11..2eb2a39 100644 --- a/benchmarks/GraphColoringConstantBagsExpandingGraph.jl +++ b/benchmarks/GraphColoringConstantBagsExpandingGraph.jl @@ -271,6 +271,10 @@ decide_sheaf_tree_shape(skeletalColoring(2), my_decomp4)[1] == false @benchmark decide_sheaf_tree_shape(skeletalColoring(2), my_decomp2)[1] @benchmark decide_sheaf_tree_shape(skeletalColoring(2), my_decomp3)[1] @benchmark decide_sheaf_tree_shape(skeletalColoring(2), my_decomp4)[1] +@benchmark colorability_test(2, my_decomp1) +@benchmark colorability_test(2, my_decomp2) +@benchmark colorability_test(2, my_decomp3) +@benchmark colorability_test(2, my_decomp4) decide_sheaf_tree_shape(skeletalColoring(3), my_decomp1)[1] == true decide_sheaf_tree_shape(skeletalColoring(3), my_decomp2)[1] == true @@ -280,6 +284,10 @@ decide_sheaf_tree_shape(skeletalColoring(3), my_decomp4)[1] == true @benchmark decide_sheaf_tree_shape(skeletalColoring(3), my_decomp2)[1] @benchmark decide_sheaf_tree_shape(skeletalColoring(3), my_decomp3)[1] @benchmark decide_sheaf_tree_shape(skeletalColoring(3), my_decomp4)[1] +@benchmark colorability_test(3, my_decomp1) +@benchmark colorability_test(3, my_decomp2) +@benchmark colorability_test(3, my_decomp3) +@benchmark colorability_test(3, my_decomp4) decide_sheaf_tree_shape(skeletalColoring(4), my_decomp1)[1] == true decide_sheaf_tree_shape(skeletalColoring(4), my_decomp2)[1] == true @@ -288,4 +296,8 @@ decide_sheaf_tree_shape(skeletalColoring(4), my_decomp4)[1] == true @benchmark decide_sheaf_tree_shape(skeletalColoring(4), my_decomp1)[1] @benchmark decide_sheaf_tree_shape(skeletalColoring(4), my_decomp2)[1] @benchmark decide_sheaf_tree_shape(skeletalColoring(4), my_decomp3)[1] -@benchmark decide_sheaf_tree_shape(skeletalColoring(4), my_decomp4)[1] \ No newline at end of file +@benchmark decide_sheaf_tree_shape(skeletalColoring(4), my_decomp4)[1] +@benchmark colorability_test(4, my_decomp1) +@benchmark colorability_test(4, my_decomp2) +@benchmark colorability_test(4, my_decomp3) +@benchmark colorability_test(4, my_decomp4) \ No newline at end of file diff --git a/benchmarks/GraphColoringIncreasingBagsExpandingGraph.jl b/benchmarks/GraphColoringIncreasingBagsExpandingGraph.jl index eab10bf..919d78b 100644 --- a/benchmarks/GraphColoringIncreasingBagsExpandingGraph.jl +++ b/benchmarks/GraphColoringIncreasingBagsExpandingGraph.jl @@ -366,6 +366,10 @@ decide_sheaf_tree_shape(skeletalColoring(2), bags8size4)[1] == false @benchmark decide_sheaf_tree_shape(skeletalColoring(2), bags3size4)[1] @benchmark decide_sheaf_tree_shape(skeletalColoring(2), bags4size4)[1] @benchmark decide_sheaf_tree_shape(skeletalColoring(2), bags8size4)[1] +@benchmark colorability_test(2, bags2size4) +@benchmark colorability_test(2, bags3size4) +@benchmark colorability_test(2, bags4size4) +@benchmark colorability_test(2, bags8size4) decide_sheaf_tree_shape(skeletalColoring(3), bags2size4)[1] == true decide_sheaf_tree_shape(skeletalColoring(3), bags3size4)[1] == true @@ -375,6 +379,10 @@ decide_sheaf_tree_shape(skeletalColoring(3), bags8size4)[1] == true @benchmark decide_sheaf_tree_shape(skeletalColoring(3), bags3size4)[1] @benchmark decide_sheaf_tree_shape(skeletalColoring(3), bags4size4)[1] @benchmark decide_sheaf_tree_shape(skeletalColoring(3), bags8size4)[1] +@benchmark colorability_test(3, bags2size4) +@benchmark colorability_test(3, bags3size4) +@benchmark colorability_test(3, bags4size4) +@benchmark colorability_test(3, bags8size4) decide_sheaf_tree_shape(skeletalColoring(4), bags2size4)[1] == true decide_sheaf_tree_shape(skeletalColoring(4), bags3size4)[1] == true @@ -384,6 +392,10 @@ decide_sheaf_tree_shape(skeletalColoring(4), bags8size4)[1] == true @benchmark decide_sheaf_tree_shape(skeletalColoring(4), bags3size4)[1] @benchmark decide_sheaf_tree_shape(skeletalColoring(4), bags4size4)[1] @benchmark decide_sheaf_tree_shape(skeletalColoring(4), bags8size4)[1] +@benchmark colorability_test(4, bags2size4) +@benchmark colorability_test(4, bags3size4) +@benchmark colorability_test(4, bags4size4) +@benchmark colorability_test(4, bags8size4) # 2 bags size 8 @@ -702,6 +714,10 @@ decide_sheaf_tree_shape(skeletalColoring(2), bags8size8)[1] == false @benchmark decide_sheaf_tree_shape(skeletalColoring(2), bags3size8)[1] @benchmark decide_sheaf_tree_shape(skeletalColoring(2), bags4size8)[1] @benchmark decide_sheaf_tree_shape(skeletalColoring(2), bags8size8)[1] +@benchmark colorability_test(2, bags2size8) +@benchmark colorability_test(2, bags3size8) +@benchmark colorability_test(2, bags4size8) +@benchmark colorability_test(2, bags8size8) decide_sheaf_tree_shape(skeletalColoring(3), bags2size8)[1] == true decide_sheaf_tree_shape(skeletalColoring(3), bags3size8)[1] == true @@ -711,6 +727,10 @@ decide_sheaf_tree_shape(skeletalColoring(3), bags8size8)[1] == true @benchmark decide_sheaf_tree_shape(skeletalColoring(3), bags3size8)[1] @benchmark decide_sheaf_tree_shape(skeletalColoring(3), bags4size8)[1] @benchmark decide_sheaf_tree_shape(skeletalColoring(3), bags8size8)[1] +@benchmark colorability_test(3, bags2size8) +@benchmark colorability_test(3, bags3size8) +@benchmark colorability_test(3, bags4size8) +@benchmark colorability_test(3, bags8size8) decide_sheaf_tree_shape(skeletalColoring(4), bags2size8)[1] == true decide_sheaf_tree_shape(skeletalColoring(4), bags3size8)[1] == true @@ -719,4 +739,8 @@ decide_sheaf_tree_shape(skeletalColoring(4), bags8size8)[1] == true @benchmark decide_sheaf_tree_shape(skeletalColoring(4), bags2size8)[1] @benchmark decide_sheaf_tree_shape(skeletalColoring(4), bags3size8)[1] @benchmark decide_sheaf_tree_shape(skeletalColoring(4), bags4size8)[1] -@benchmark decide_sheaf_tree_shape(skeletalColoring(4), bags8size8)[1] \ No newline at end of file +@benchmark decide_sheaf_tree_shape(skeletalColoring(4), bags8size8)[1] +@benchmark colorability_test(4, bags2size8) +@benchmark colorability_test(4, bags3size8) +@benchmark colorability_test(4, bags4size8) +@benchmark colorability_test(4, bags8size8) \ No newline at end of file