Experimenting with Covexa