CAV 2014 database examples