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