Results for AXIOMIN basic numericumericumeric