{"author":"chenyu","author_email":"chenyu@fastmail.com","author_time":1705114393,"commit_time":1705114393,"committer":"GitHub","committer_email":"noreply@github.com","hash":"12f28ac9d4656f22bdb56eba704f34fd24341a27","message":"catch runtime error in search._time_program (#3106)\n\nreturn inf if search encountered runtime errors.","parents":["f018a55ea17708a3c5794f86837d0fe30a690fe3"],"tree_hash":"f5e85a2e35bf84ccf2a43ab32a5a2435bf5b9941"}