diff --git a/.gitignore b/.gitignore
index d884c447d0a534e2f455646f2c53b26d29911210..f89d3b70c6ed5c0c02abf3ce3c8aeebab5856af2 100644
--- a/.gitignore
+++ b/.gitignore
@@ -109,6 +109,7 @@ spectral/constraints/constraints
 spectral/cryptarithm1/cryptarithm1
 spectral/cryptarithm2/cryptarithm2
 spectral/cse/cse
+spectral/dom-lt/dom-lt
 spectral/eliza/eliza
 spectral/exact-reals/exact-reals
 spectral/expert/expert
diff --git a/spectral/dom-lt/Makefile b/spectral/dom-lt/Makefile
index ac93a610b72ce73f420dcf7d2a69a234264f2c72..bf127ab30a3695073b62f6fd50af081f3bbe8d55 100644
--- a/spectral/dom-lt/Makefile
+++ b/spectral/dom-lt/Makefile
@@ -11,7 +11,7 @@ include $(TOP)/mk/target.mk
 # and to shift compute time away from read/graph creation.
 FAST_OPTS = ghc-examples.in 50
 NORM_OPTS = ghc-examples.in 400
-SLOW_OPTS = ghc-examples.in 3000
+SLOW_OPTS = ghc-examples.in 1800
 
 # We require containers.
 HC_OPTS += -package containers