anchor.diff:          printfn "dsbench [-r repetitions] [-f filename]\n"
           printfn "  -r repetitions  Specifies the number of repetitions."
           printfn "                  Higher values give more accurate results, through averaging."
  -        printfn "                  Default: 100000"
  -        printfn "                  Minimum:  10000"
  +        printfn "                  Default: %i" defaultOptions.repetitions
  +        printfn "                  Minimum:  %i" minRepetitions
           printfn "  -f filename     Specifies the name of the output file."
           printfn "                  If the file exists, it will be overwritten."
           printfn "                  Default: DiffSharpBenchmark + current time + .txt"
  
positive.code: 
      let benchmarkver = "1.0.1"
  
      printfn "DiffSharp benchmarks"
  
      printfn "Copyright (c) 2014, National University of Ireland Maynooth."
      printfn "Written by: Atilim Gunes Baydin, Barak A. Pearlmutter\n"
  
negative.code:     changed : bool;
      }
  
  let minRepetitions = 10000
  
  let defaultOptions = {
      repetitions = 50000; // > 100000 seems to work fine
      fileName = sprintf "DiffSharpBenchmark%A.txt" System.DateTime.Now.Ticks
  