diff --git a/tests/conf.toml b/tests/conf.toml
index 3e243cc9..8ec88290 100644
--- a/tests/conf.toml
+++ b/tests/conf.toml
@@ -20,7 +20,7 @@ sat = ":status sat"
 [test]
 
 timeout=10
-problems = ".*\\.(smt2|cnf)"
+problems = ".*\\.smt2"
 provers = [ "sidekick", ]
 dir = [ "." ]