This commit is contained in:
Laurent Perron
2025-04-18 18:47:12 +02:00
parent 5efeab0d8e
commit ea8b858e19

View File

@@ -488,9 +488,9 @@ TEST(SetCoverTest, KnightsCoverRandomClearMip) {
LOG(INFO) << "RandomClearMip cost: " << best_cost;
// The best solution found until 2023-08 has a cost of 350.
// http://www.contestcen.com/kn50.htm
if (BoardSize == 50) {
CHECK_GE(inv.cost(), 350);
}
// if (BoardSize == 50) {
// CHECK_GE(inv.cost(), 350);
// }
}
TEST(SetCoverTest, KnightsCoverMip) {