Add native symbolic execution experimental results on dkr13