This repository was archived by the owner on Nov 28, 2020. It is now read-only.
This repository was archived by the owner on Nov 28, 2020. It is now read-only.
Benchmark Popularity Survey #293
Description
Please have a look at https://docs.google.com/forms/d/1BlVwIYZPBBmR46Ru3okvddLiPj5Zy03XPE2kyW55VzQ/edit because it contains a list of the benchmarks we have. Please inform us as to how often you used each of them last year!