(prover (name dolmen) (version <unknown>) (cmd <unknown>) (binary dolmen) (ulimit (time memory )) (produces_proof false) (timout "Time limit reached|Out_of_time") (memout "Memory limit reached|Out_of_space") (warn "Warning") (fatal "Error|Killed") (ok "^$"))