Results for abductive biomedical numericumericumeric