The benchmark solution was downloaded from:
http://isec.nacse.org/workshop/2004_cornell/bmark1.html
on 19 August 2012