This is a directory for storing records of runs of AIL programs.  This is to assist with debugging, particularly afer a failed model-checking run.
