From 99bbe050e57c50c5c21b849c1721fe9979894d8f Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Wed, 30 Aug 2017 15:15:02 +0200
Subject: Reduces the scalability issue.

It seems to take very long to find solutions for
simple_flip_flop_instance, but at least it no longer gives up right
away.
---
 instance-calculator/src/Main.java | 1 -
 1 file changed, 1 deletion(-)

(limited to 'instance-calculator/src/Main.java')

diff --git a/instance-calculator/src/Main.java b/instance-calculator/src/Main.java
index a23da06..6fc950f 100644
--- a/instance-calculator/src/Main.java
+++ b/instance-calculator/src/Main.java
@@ -37,7 +37,6 @@ public class Main
       }
 
       create_instances();
-      Instances.write_predicates();
       OutputFile.close_all();
    }
 
-- 
cgit v1.2.3-70-g09d2