diff --git a/tests/sat/repr2.smt2 b/tests/sat/repr2.smt2
index 07e2b88b084259b2b9f9917ec3fe2c79ab9e6c8b..a6f9426bca9abe6380661704151d1a49269ee61b 100644
--- a/tests/sat/repr2.smt2
+++ b/tests/sat/repr2.smt2
@@ -1,5 +1,5 @@
 ;; produced by colibri.drv ;;
-(set-logic QF_NIRABVFP)
+(set-logic ALL)
 (set-info :smt-lib-version 2.6)
 ;;; generated by SMT-LIB2 driver
 ;;; SMT-LIB2 driver: bit-vectors, common part
diff --git a/tests/sat/test-Top-Int_Pow1_invalid.smt2 b/tests/sat/test-Top-Int_Pow1_invalid.smt2
index f032f197c2f827792d7b8284022a140d1293c4ee..4154e7f09e6fd87ad7dfdff60c6664b0b57ba0be 100644
--- a/tests/sat/test-Top-Int_Pow1_invalid.smt2
+++ b/tests/sat/test-Top-Int_Pow1_invalid.smt2
@@ -1,5 +1,5 @@
 ;; produced by colibri.drv ;;
-(set-logic QF_NIRABVFP)
+(set-logic ALL)
 (set-info :smt-lib-version 2.6)
 ;;; generated by SMT-LIB2 driver
 ;;; SMT-LIB2 driver: bit-vectors, common part
diff --git a/tests/unsat/bug11.smt2 b/tests/unsat/bug11.smt2
index 96c52c05c8348b7822bbbe4b06011d030f9c7337..cf4d4377b347d9661c513cf8c2241cc06862c13b 100644
--- a/tests/unsat/bug11.smt2
+++ b/tests/unsat/bug11.smt2
@@ -1,5 +1,5 @@
 ;; produced by colibri.drv ;;
-(set-logic QF_NIRABVFP)
+(set-logic ALL)
 (set-info :smt-lib-version 2.6)
 ;;; generated by SMT-LIB2 driver
 ;;; SMT-LIB2 driver: bit-vectors, common part
diff --git a/tests/unsat/test-Top-Double1_valid.smt2 b/tests/unsat/test-Top-Double1_valid.smt2
index dd8742789d2986e1f7baa4ba4516766e343bf9c8..01a38ee3a519a16d5aa82907577a6f5703bbcea1 100644
--- a/tests/unsat/test-Top-Double1_valid.smt2
+++ b/tests/unsat/test-Top-Double1_valid.smt2
@@ -1,5 +1,5 @@
 ;; produced by colibri.drv ;;
-(set-logic QF_NIRABVFP)
+(set-logic ALL)
 (set-info :smt-lib-version 2.6)
 ;;; generated by SMT-LIB2 driver
 ;;; SMT-LIB2 driver: bit-vectors, common part
diff --git a/tests/unsat/test-Top-Double2_valid.smt2 b/tests/unsat/test-Top-Double2_valid.smt2
index 988676ab7855615f606efa005bfa28b56735f5eb..7e2508e2ec38469ac689d2f15ed467ad9c061ac5 100644
--- a/tests/unsat/test-Top-Double2_valid.smt2
+++ b/tests/unsat/test-Top-Double2_valid.smt2
@@ -1,5 +1,5 @@
 ;; produced by colibri.drv ;;
-(set-logic QF_NIRABVFP)
+(set-logic ALL)
 (set-info :smt-lib-version 2.6)
 ;;; generated by SMT-LIB2 driver
 ;;; SMT-LIB2 driver: bit-vectors, common part
diff --git a/tests/unsat/test-Top-G0_valid.smt2 b/tests/unsat/test-Top-G0_valid.smt2
index ca17ef951c7e4ad231d2f0df9c1a1d80a182f9ee..ca119d47091ed52e008122da598bc314d124af50 100644
--- a/tests/unsat/test-Top-G0_valid.smt2
+++ b/tests/unsat/test-Top-G0_valid.smt2
@@ -1,5 +1,5 @@
 ;; produced by colibri.drv ;;
-(set-logic QF_NIRABVFP)
+(set-logic ALL)
 (set-info :smt-lib-version 2.6)
 ;;; generated by SMT-LIB2 driver
 ;;; SMT-LIB2 driver: bit-vectors, common part
diff --git a/tests/unsat/test-Top-G1_valid.smt2 b/tests/unsat/test-Top-G1_valid.smt2
index 2f11c9b103e1a17673af249d797a5c8699af64fa..1e7089c65b9a7f76a1916127914f8fdb942a2cfc 100644
--- a/tests/unsat/test-Top-G1_valid.smt2
+++ b/tests/unsat/test-Top-G1_valid.smt2
@@ -1,5 +1,5 @@
 ;; produced by colibri.drv ;;
-(set-logic QF_NIRABVFP)
+(set-logic ALL)
 (set-info :smt-lib-version 2.6)
 ;;; generated by SMT-LIB2 driver
 ;;; SMT-LIB2 driver: bit-vectors, common part
diff --git a/tests/unsat/test-Top-G3_valid.smt2 b/tests/unsat/test-Top-G3_valid.smt2
index fd2ad157bb439baee4f66f7def64963b9e519a1f..28a2de971431ac6d986d35c5fbc0b14cedbd55a9 100644
--- a/tests/unsat/test-Top-G3_valid.smt2
+++ b/tests/unsat/test-Top-G3_valid.smt2
@@ -1,5 +1,5 @@
 ;; produced by colibri.drv ;;
-(set-logic QF_NIRABVFP)
+(set-logic ALL)
 (set-info :smt-lib-version 2.6)
 ;;; generated by SMT-LIB2 driver
 ;;; SMT-LIB2 driver: bit-vectors, common part
diff --git a/tests/unsat/test-Top-G4_valid.smt2 b/tests/unsat/test-Top-G4_valid.smt2
index 07b0a8b20376d9872b1322b4c78d9ddd2b3d9fbc..26179cbc47383c4a0b0f1f0a97c1d7512454f27e 100644
--- a/tests/unsat/test-Top-G4_valid.smt2
+++ b/tests/unsat/test-Top-G4_valid.smt2
@@ -1,5 +1,5 @@
 ;; produced by colibri.drv ;;
-(set-logic QF_NIRABVFP)
+(set-logic ALL)
 (set-info :smt-lib-version 2.6)
 ;;; generated by SMT-LIB2 driver
 ;;; SMT-LIB2 driver: bit-vectors, common part
diff --git a/tests/unsat/test-Top-Square1_valid.smt2 b/tests/unsat/test-Top-Square1_valid.smt2
index 97a167f8cfcb6a109ba8aba69413f0d14fd13b8e..4c9dd699a0673edf177f967a6c1637acccfd6dd7 100644
--- a/tests/unsat/test-Top-Square1_valid.smt2
+++ b/tests/unsat/test-Top-Square1_valid.smt2
@@ -1,5 +1,5 @@
 ;; produced by colibri.drv ;;
-(set-logic QF_NIRABVFP)
+(set-logic ALL)
 (set-info :smt-lib-version 2.6)
 ;;; generated by SMT-LIB2 driver
 ;;; SMT-LIB2 driver: bit-vectors, common part
diff --git a/tests/unsat/test-Top-Square2_valid.smt2 b/tests/unsat/test-Top-Square2_valid.smt2
index c3ea3bb198bc737eb90206ec8e87faa7dcba92cf..2420cca1ab6a3b03a287b5cc5a2789a73dd5217c 100644
--- a/tests/unsat/test-Top-Square2_valid.smt2
+++ b/tests/unsat/test-Top-Square2_valid.smt2
@@ -1,5 +1,5 @@
 ;; produced by colibri.drv ;;
-(set-logic QF_NIRABVFP)
+(set-logic ALL)
 (set-info :smt-lib-version 2.6)
 ;;; generated by SMT-LIB2 driver
 ;;; SMT-LIB2 driver: bit-vectors, common part