verify the simulation