Super-solutions: Succinctly Representing Solutions in Abductive Annotated Probabilistic Temporal Logic