anchor.diff:      changed : bool;
       }
   
  +let minRepetitions = 10000
  +
   let defaultOptions = {
       repetitions = 50000; // > 100000 seems to work fine
       fileName = sprintf "DiffSharpBenchmark%A.txt" System.DateTime.Now.Ticks
  
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:         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: %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"
  