The VeRoLog Solver Challenge 2019