/results/
../
benchmark_results
comparison.csv
comparison.numbers
coqup.csv
exec-time.csv
legup.csv
legup_results_div
poly.csv
rel-size-div.csv
rel-size-nodiv.csv
rel-time-div.csv
rel-time-nodiv.csv
results.org
slice-div.csv
slice-nodiv.csv