Results for PROVE numericumericumeric