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