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