Just reprofiled and sharpened them, the INOX seemed to be harder RC wise.... So you might be right...
Ankerson,
The carbon is close to 1086 at 56Rc. Very good for hard abuse and impossible to chip.
The Inox is run at about 58Rc and hold and edge longer. I like it a bit better than Bucks 420hc. It can dent more profoundly if abused.
I like the Inox for EDC and the Carbone for utility work.