anchor.diff:                  |> Seq.collect (fun line -> let header = info + (!index).ToString()
                                               index := !index + 1
                                               header::(splitLine line))
  -            File.AppendAllLines(resultPath, toPrint)
  +            lock lockArray (fun () -> File.AppendAllLines(resultPath, toPrint))
               isPrinted := true
           res
           |> Seq.iteri printResult
  
positive.code: open MBrace.Runtime
  open GLL.shift_problem
  //open MBrace.Azure.Management
  
  type WhatShouldISearch =
      | TRNA
  
negative.code:     |> Array.iteri 
          (fun i graph -> 
              Data (i, graph) 
              |> agents.[if i < 150 then 0 else (i % agentsCount)].Post
          )
      agents |> Array.iter (fun a -> a.PostAndReply Die)
      printfn "Total time = %A" (System.DateTime.Now - start)
  