We used a separate branch of the vampire. The compiled binary ready to run on starexec is available here.
The collected results of the starexec jobs were collected in one large CSV file results2019.csv.