Model-generated solution trajectories for BoardGameQA, a natural-language deductive reasoning benchmark built from board-game-style rule sets with conflicting/preferential rules. Each question asks whether a goal statement is yes (proved), no (disproved), or unknown. Each row is one model response to a single problem, including the hidden chain-of-thought (when available) and the final response.
