README.md

SOSD Leaderboard

Updates

Scripts to update the leaderboard are in the update directory. To update the index, just move new result CSV files into the benchmark_results directory, and run update/makecsv.sh.