Answer set comparison tests.