---
options:
  outfile:     murlet_out.txt
  logfile:     murlet_log.txt
  time_factor: 1.0
  max_time:    10.0
  max_memory:  1500