Actually as far as testing goes, with the data provided here, what seems more likely is that crit damage follows the formula below:
(Skill factor%)* (1.5*ATK+CRIT ATK)*log(.) --> Hard to say what goes on inside the log part of it really…
So, given your example, it’d be something like:
12*(1.5*3000+4000)=102000