CAV13: Supporting Material