Updated proving-solver data