"conjure modelling -as" takes very long time

[ndangtt]

Hi Oz,

I'm using conjure modelling -as for our classical planning generators, and it seems to take very long time compared to the -ac option. I attach here two examples and the time they take.

• barman-gen.essence: -as takes one hour, -ac takes 5 mins
• city-car-gen.essence: -as takes 40 mins, -ac takes 7 mins

I also attach here the generated .eprime models, in case it's useful :)

barman-gen.essence.txt barman-gen-ac.eprime.txt barman-gen-as.eprime.txt city-car-gen.essence.txt city-car-gen-ac.eprime.txt city-car-gen-as.eprime.txt