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.

1 files changed, 0 insertions, 1 deletions

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();
    }