diff --git a/Src/PRuntimes/PExplicitRuntime/src/main/java/pexplicit/runtime/scheduler/SchedulerInterface.java b/Src/PRuntimes/PExplicitRuntime/src/main/java/pexplicit/runtime/scheduler/SchedulerInterface.java
index cdfe89280..1970f838f 100644
--- a/Src/PRuntimes/PExplicitRuntime/src/main/java/pexplicit/runtime/scheduler/SchedulerInterface.java
+++ b/Src/PRuntimes/PExplicitRuntime/src/main/java/pexplicit/runtime/scheduler/SchedulerInterface.java
@@ -14,7 +14,7 @@ public interface SchedulerInterface extends Serializable {
     /**
      * Perform the search
      */
-    void run() throws TimeoutException, InterruptedException, IOException;
+    void run() throws TimeoutException, InterruptedException;
 
     /**
      * Return a random PBool based on the search and strategy.
diff --git a/Src/PRuntimes/PExplicitRuntime/src/test/java/pexplicit/TestPExplicit.java b/Src/PRuntimes/PExplicitRuntime/src/test/java/pexplicit/TestPExplicit.java
index 07ea8579f..6cdfc97a7 100644
--- a/Src/PRuntimes/PExplicitRuntime/src/test/java/pexplicit/TestPExplicit.java
+++ b/Src/PRuntimes/PExplicitRuntime/src/test/java/pexplicit/TestPExplicit.java
@@ -27,7 +27,7 @@ public class TestPExplicit {
     private static String timeout = "30";
     private static String schedules = "100";
     private static String maxSteps = "10000";
-    private static String runArgs = "";
+    private static String runArgs = "--checker-args :--schedules-per-task:10";
     private static boolean initialized = false;
 
     private static void setRunArgs() {