{"id": "bent_six_arm_25", "k": 1, "buildSeconds": 0.32024591602385044, "placements": 4396, "variables": 111770, "clauses": 319778, "status": "UNSAT", "solveSeconds": 17.337453791871667, "stats": {"restarts": 296, "conflicts": 60301, "decisions": 251586, "propagations": 58152594}, "formulaSHA256": "5712f60ebad31a77202c66519d4be208491de0e3b025d1f877f4c674f65e0592", "proofSHA256": "a20ede75d2625c5dd4df8ab5025d0d5e115dfdd81923564100e0fd581a86fde6"}