diff --git a/jbmc/regression/jbmc-strings/Makefile b/jbmc/regression/jbmc-strings/Makefile
index 4ff4e5ba834..6a87a176e59 100644
--- a/jbmc/regression/jbmc-strings/Makefile
+++ b/jbmc/regression/jbmc-strings/Makefile
@@ -28,4 +28,4 @@ show:
 clean:
 	find -name '*.out' -execdir $(RM) '{}' \;
 	find -name '*.gb' -execdir $(RM) '{}' \;
-	$(RM) tests.log
+	$(RM) tests.log tests-symex-driven-loading.log
diff --git a/jbmc/regression/jbmc/Makefile b/jbmc/regression/jbmc/Makefile
index 81024778e07..1639d08dea4 100644
--- a/jbmc/regression/jbmc/Makefile
+++ b/jbmc/regression/jbmc/Makefile
@@ -20,7 +20,7 @@ show:
 clean:
 	find -name '*.out' -execdir $(RM) '{}' \;
 	find -name '*.gb' -execdir $(RM) '{}' \;
-	$(RM) tests.log
+	$(RM) tests.log tests-symex-driven-loading.log
 
 %.class: %.java ../../src/org.cprover.jar
 	javac -g -cp ../../src/org.cprover.jar:. $<
diff --git a/regression/cbmc/Makefile b/regression/cbmc/Makefile
index 8096fc27cb3..e376acf4a28 100644
--- a/regression/cbmc/Makefile
+++ b/regression/cbmc/Makefile
@@ -15,5 +15,5 @@ show:
 
 clean:
 	find -name '*.out' -execdir $(RM) '{}' \;
-	find -name '*.gb' -execdir $(RM) '{}' \;
+	find -name '*.smt2' -execdir $(RM) '{}' \;
 	$(RM) tests.log
diff --git a/regression/goto-gcc/Makefile b/regression/goto-gcc/Makefile
index e7838b58131..8c6ebfa9738 100644
--- a/regression/goto-gcc/Makefile
+++ b/regression/goto-gcc/Makefile
@@ -18,4 +18,5 @@ show:
 clean:
 	find -name '*.out' -execdir $(RM) '{}' \;
 	find -name '*.gb' -execdir $(RM) '{}' \;
+	find -name '*.goto-cc-saved' -execdir $(RM) '{}' \;
 	$(RM) tests.log
diff --git a/regression/invariants/Makefile b/regression/invariants/Makefile
index 4fbc8a60aee..758be254a65 100644
--- a/regression/invariants/Makefile
+++ b/regression/invariants/Makefile
@@ -25,3 +25,8 @@ show:
 
 driver$(EXEEXT): $(OBJ)
 	$(LINKBIN)
+
+clean:
+	find -name '*.out' -execdir $(RM) '{}' \;
+	$(RM) driver$(EXEEXT) driver$(DEPEXT) driver$(OBJEXT)
+	$(RM) tests.log
diff --git a/regression/test.pl b/regression/test.pl
index 1a87c2a24a4..9f9e630b394 100755
--- a/regression/test.pl
+++ b/regression/test.pl
@@ -421,7 +421,7 @@ ($)
 close LOG;
 
 if($opt_p && $failures != 0) {
-  open LOG,"<tests.log" or die "Failed to open tests.log\n";
+  open LOG,"<$logfile_name" or die "Failed to open $logfile_name\n";
 
   my $printed_this_test = 1;
   my $current_test = "";