281   Solver::Options options;  in TEST()
343   Solver::Options options;  in TEST()
417   Solver::Options options;  in TEST()
500   Solver::Options options;  in TEST()
508   Solver::Options options;  in TEST()
519   Solver::Options options;  in TEST()
530   Solver::Options options;  in TEST()
541   Solver::Options options;  in TEST()
561   Solver::Options options;  in TEST()
576   Solver::Options options;  in TEST()
666   Solver::Options options;  in TEST()
672   Solver::Summary summary;  in TEST()
736   Solver::Options options;  in TEST()
739   Solver::Summary summary;  in TEST()
783 void SolveAndCompare(const Solver::Options& options) {  in SolveAndCompare()
796   Solver::Summary summary;  in SolveAndCompare()
816     Solver::Options options;  in TEST()
828   Solver::Options options;  in TEST()
829   Solver::Summary summary;  in TEST()
837   Solver::Options options;  in TEST()
838   Solver::Summary summary;  in TEST()
857   Solver::Options options;  in TEST()
858   Solver::Summary summary;  in TEST()
868   Solver::Options options;  in TEST()
869   Solver::Summary summary;  in TEST()