lpsi-artifact - Timon Gehr (2020)