added instance equivalence reports + cleanup