REJECTED: CHECKER_UNAVAILABLE: proof checkers not available: cake_lpr (looked in /workspace/research/heesch/heesch/tools/bin)
