Fixed bugs on printing models in the clasp approach for queries.
Added times for queries.