Artifact for "Partial Order Reduction for Reachability Games" - Frederik Meyer Bønneland (2019)