Automatically checking whether a problem instance has at least one valid solution before using it for testing.