Plugin for the Rodin Platform that tries out the available provers on all available proof obligations. Used to compare different provers.