selection of provers changed in configuration