Code and data for delta check simulation paper