The 1st Verified Software Competition: Experience Report