official KeYmaera measurements, performance assessment and evaluation, for version dbc824583e8ed39a3a0e0b98560f435575863c17