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