[Artifact] Deductive Reasoning about Embedded Systems using Reachable Abstract States Invariants

This is an artifact for the paper "Deductive Reasoning about Embedded Systems using Reachable Abstract States Invariants", which is an extension of the paper "Automated Invariant Generation for Efficient Deductive Reasoning about Embedded Systems". The artifact likewise extends the artifact for that paper by providing documentation for the new experiments. Both the previous paper and its artifact are linked below.