pub fn read_solutions_json( path: &str, test_name: &str, prefix: &str, solver: SolverFamily, ) -> Result<Value, Error>