The tools developed by the borg project include an experimental web-based system for
exploring the performance of solvers—programs that tackle difficult computational problems—and especially for understanding the data collected by
large-scale evaluations like the SAT
competitions.
Visualizations of several of these competitions can be accessed from the borg project web site.
(A modern browser is required, and Google Chrome is strongly recommended.)