diff --git a/tests/sat/test-Top-Int_Pow1_invalid.smt2 b/tests/sat/test-Top-Int_Pow1_invalid.smt2
deleted file mode 100644
index 4154e7f09e6fd87ad7dfdff60c6664b0b57ba0be..0000000000000000000000000000000000000000
--- a/tests/sat/test-Top-Int_Pow1_invalid.smt2
+++ /dev/null
@@ -1,27 +0,0 @@
-;; produced by colibri.drv ;;
-(set-logic ALL)
-(set-info :smt-lib-version 2.6)
-;;; generated by SMT-LIB2 driver
-;;; SMT-LIB2 driver: bit-vectors, common part
-;;; SMT-LIB2: integer arithmetic
-(declare-sort string 0)
-
-(declare-fun index_bool (Bool) Int)
-
-;; index_bool_True
-  (assert (= (index_bool true) 0))
-
-;; index_bool_False
-  (assert (= (index_bool false) 1))
-
-(declare-sort tuple0 0)
-
-(declare-fun Tuple0 () tuple0)
-
-(declare-fun x () Int)
-
-(assert
-;; Int_Pow1_invalid
- ;; File "test.mlw", line 7, characters 5-21
-  (not (<= x (colibri_pow_int_int 2 1025))))
-(check-sat)