Delete unused benchmark
authorAndrew Waterman <waterman@cs.berkeley.edu>
Thu, 7 Jul 2016 22:27:40 +0000 (15:27 -0700)
committerAndrew Waterman <waterman@cs.berkeley.edu>
Thu, 7 Jul 2016 22:27:40 +0000 (15:27 -0700)

No differences found