diff --git a/benchmark.py b/benchmark.py
index cf438b70b..23dab08df 100644
--- a/benchmark.py
+++ b/benchmark.py
@@ -141,6 +141,10 @@ def inputFilenames(instance, config):
 	pddlInstancesDir = config["input"]["pddlInstances"]
 
 	domainFile = os.path.join(pddlInstancesDir, instance["ipc"], "domains", instance["domain"], "domain.pddl")
+
+	if not os.path.exists(domainFile):
+		domainFile = os.path.join(pddlInstancesDir, instance["ipc"], "domains", instance["domain"], "domains", "domain-" + str(instance["instance"]) + ".pddl")
+
 	instanceFile = os.path.join(pddlInstancesDir, instance["ipc"], "domains", instance["domain"], "instances", "instance-" + str(instance["instance"]) + ".pddl")
 
 	return {"domainFile": domainFile, "instanceFile": instanceFile}