This is an effort to gather all the run times of solvers during all the past SAT competitive events.
Right now, you can take a look at the releases (where I am collecting availables arrays of results).
https://github.com/lorensipro/satex-benchs/releases/tag/raw-results
** It is not (yet) the goal of this repo to collect benchmarks too **