deactivate TestZ3#testDiv5 and TestZ3#testDiv6

Author: wadoon

key.core/src/test/java/de/uka/ilkd/key/smt/test/TestZ3.java

@@ -7,6 +7,7 @@
 import de.uka.ilkd.key.smt.solvertypes.SolverTypeImplementation;
 import de.uka.ilkd.key.smt.solvertypes.SolverTypes;
 
+import org.junit.jupiter.api.Disabled;
 import org.junit.jupiter.api.Test;
 import org.slf4j.Logger;
 import org.slf4j.LoggerFactory;
@@ -75,12 +76,12 @@ public void testDiv3() throws Exception {
         assertTrue(correctResult(testFile + "div3.key", true));
     }
 
-    @Test
+    @Test @Disabled("weigl: due to performance issues")
     public void testDiv5() throws Exception {
         assertTrue(correctResult(testFile + "div5.key", false));
     }
 
-    @Test
+    @Test @Disabled("weigl: due to performance issues")
     public void testDiv6() throws Exception {
         assertTrue(correctResult(testFile + "div6.key", false));
     }