diff --git a/Makefile b/Makefile
index 8bafa272..77d9ca76 100644
--- a/Makefile
+++ b/Makefile
@@ -32,9 +32,16 @@ DATE=$(shell date +%FT%H:%M)
 
 logitest-quick:
 	@mkdir -p snapshots
-	$(TESTTOOL) run -c tests/conf.toml tests/ $(TESTOPTS) \
-	  --meta `git rev-parse HEAD` --summary snapshots/quick-$(DATE).txt \
-	  --csv snapshots/quick-$(DATE).csv
+	$(TESTTOOL) run -c tests/conf.toml $(TESTOPTS) \
+	  --meta `git rev-parse HEAD` --csv snapshots/quick-$(DATE).csv tests/sat tests/unsat/ tests/pigeon
+logitest-smt-QF_UF:
+	@mkdir -p snapshots
+	$(TESTTOOL) run -c tests/conf.toml $(TESTOPTS) \
+	  --meta `git rev-parse HEAD` --csv snapshots/smt-QF_UF-$(DATE).csv tests/QF_UF
+logitest-smt-QF_DT:
+	@mkdir -p snapshots
+	$(TESTTOOL) run -c tests/conf.toml $(TESTOPTS) \
+	  --meta `git rev-parse HEAD` --csv snapshots/smt-QF_DT-$(DATE).csv tests/QF_DT
 
 install: build-install
 	@dune install
diff --git a/tests/conf.toml b/tests/conf.toml
index 678cd961..5f7d40d0 100644
--- a/tests/conf.toml
+++ b/tests/conf.toml
@@ -22,7 +22,6 @@ sat = ":status sat"
 timeout=10
 problems = ".*\\.smt2"
 provers = [ "sidekick", ]
-dir = [ "." ]
 
 expect = "program:read-status"