Results for solverdodingodingodingodingoding_t