From d99be12b057e4e4746d052756799230db03f965c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Tue, 21 Nov 2017 02:24:12 +0100
Subject: [PATCH] Explicitly call the planner with Python

This is to force the planner to be executed with the configuration-
specified Python version and not the default one.
---
 benchmark.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/benchmark.py b/benchmark.py
index ea59631e7..7bab1c575 100644
--- a/benchmark.py
+++ b/benchmark.py
@@ -183,6 +183,7 @@ def runJob(configuration, instance, config):
 		config["executables"]["timeout"]["binary"],
 		"-m=" + str(config["limits"]["memory"]),
 		"-t=" + str(config["limits"]["time"]),
+		config["executables"]["python"]["binary"],
 		config["executables"]["planner"]["binary"],
 		"--domain=" + inputFiles["domainFile"],
 		inputFiles["instanceFile"],