Results for solverdodingodingodingodingodingodingoding_t