More examples and comparison with xcomp