density functional theory simulation evidence used in automatic assertion