def METHOD_NAME(self, solvers, results):
    self.assertTrue(all_equal(results[s]["claimed_sat"] for s in solvers), "Solvers disagree on satisfiability")
    self.assertTrue(
        all_equal(len(results[s]["claimed_solutions"]) for s in solvers), "Solvers disagree on number of solutions!"
    )