Symbolic execution results