Core Challenge 2023: Solver and Graph Descriptions