diff --git a/jastadd-mquat-benchmark/src/main/resources/scenarios.json b/jastadd-mquat-benchmark/src/main/resources/scenarios.json index 91986a0046a692d3779e3ba981cb16b75f22c6a4..56cbf463731dcabde4f9d6c2b404e5cc1d3e80b8 100644 --- a/jastadd-mquat-benchmark/src/main/resources/scenarios.json +++ b/jastadd-mquat-benchmark/src/main/resources/scenarios.json @@ -2,7 +2,7 @@ "path": "results", "logLevel": "info", "solvers": [ - "ilp-direct", +// "ilp-direct", // "ilp-external", "emfer", "simple"