From c5376abfb58670c2d0ee1ec1ba871a032935f777 Mon Sep 17 00:00:00 2001
From: Christoph Eickhoff <Christoph.Eickhoff@cs.uni-kassel.de>
Date: Mon, 11 Jun 2018 17:38:52 +0200
Subject: [PATCH] remove ilp direct from bechmark

---
 jastadd-mquat-benchmark/src/main/resources/scenarios.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jastadd-mquat-benchmark/src/main/resources/scenarios.json b/jastadd-mquat-benchmark/src/main/resources/scenarios.json
index 91986a0..56cbf46 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"
-- 
GitLab