Kleine aanpassingen ILP benchmark