diff --git a/.travis.yml b/.travis.yml
index 41b860d2d..8a01aed20 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -22,18 +22,18 @@ env:
     # amount of time to execute compared to the optimized builds.
 
     # clang
-    - LINUX_BASE=ubuntu_20.04 C_COMPILER=clang CXX_COMPILER=clang++ TARGET_ARCH=x86_64 Z3_BUILD_TYPE=Debug ASAN_BUILD=1 RUN_UNIT_TESTS=BUILD_AND_RUN DOTNET_BINDINGS=0 JAVA_BINDINGS=0 PYTHON_BINDINGS=0
+    - LINUX_BASE=ubuntu_20.04 C_COMPILER=clang CXX_COMPILER=clang++ TARGET_ARCH=x86_64 Z3_BUILD_TYPE=Debug RUN_UNIT_TESTS=BUILD_AND_RUN
     - LINUX_BASE=ubuntu_20.04 C_COMPILER=clang CXX_COMPILER=clang++ TARGET_ARCH=x86_64 Z3_BUILD_TYPE=Release UBSAN_BUILD=1 RUN_UNIT_TESTS=BUILD_AND_RUN
-    - LINUX_BASE=ubuntu_20.04 C_COMPILER=clang CXX_COMPILER=clang++ TARGET_ARCH=x86_64 Z3_BUILD_TYPE=RelWithDebInfo ASAN_BUILD=1 RUN_UNIT_TESTS=BUILD_AND_RUN UBSAN_BUILD=1 RUN_API_EXAMPLES=0 RUN_SYSTEM_TESTS=0 DOTNET_BINDINGS=0 JAVA_BINDINGS=0 PYTHON_BINDINGS=0
+    - LINUX_BASE=ubuntu_20.04 C_COMPILER=clang CXX_COMPILER=clang++ TARGET_ARCH=x86_64 Z3_BUILD_TYPE=Release ASAN_BUILD=1 RUN_UNIT_TESTS=BUILD_AND_RUN DOTNET_BINDINGS=0 JAVA_BINDINGS=0 PYTHON_BINDINGS=0
 
     # gcc
     # ubsan/msan builds too slow
-    - LINUX_BASE=ubuntu_20.04 C_COMPILER=gcc CXX_COMPILER=g++ TARGET_ARCH=x86_64 Z3_BUILD_TYPE=Release UBSAN_BUILD=1 RUN_UNIT_TESTS=BUILD_AND_RUN
+    - LINUX_BASE=ubuntu_20.04 C_COMPILER=gcc CXX_COMPILER=g++ TARGET_ARCH=x86_64 Z3_BUILD_TYPE=Release RUN_UNIT_TESTS=BUILD_AND_RUN
     - LINUX_BASE=ubuntu_20.04 C_COMPILER=gcc CXX_COMPILER=g++ TARGET_ARCH=x86_64 Z3_BUILD_TYPE=Debug RUN_UNIT_TESTS=BUILD_AND_RUN
 
     # GMP library
-    - LINUX_BASE=ubuntu_20.04 C_COMPILER=gcc CXX_COMPILER=g++ TARGET_ARCH=x86_64 Z3_BUILD_TYPE=Release USE_LIBGMP=1 RUN_UNIT_TESTS=BUILD_AND_RUN
-    - LINUX_BASE=ubuntu_20.04 C_COMPILER=gcc CXX_COMPILER=g++ TARGET_ARCH=x86_64 Z3_BUILD_TYPE=Debug USE_LIBGMP=1 RUN_UNIT_TESTS=BUILD_AND_RUN
+    - LINUX_BASE=ubuntu_20.04 TARGET_ARCH=x86_64 Z3_BUILD_TYPE=Release USE_LIBGMP=1 RUN_UNIT_TESTS=BUILD_AND_RUN
+    - LINUX_BASE=ubuntu_20.04 TARGET_ARCH=x86_64 Z3_BUILD_TYPE=Debug USE_LIBGMP=1 RUN_UNIT_TESTS=BUILD_AND_RUN
 
     # Test with Python 3 and API docs
     - LINUX_BASE=ubuntu_20.04 BUILD_DOCS=1
@@ -51,5 +51,4 @@ env:
 script:
   # Use `travis_wait` when building because some configurations don't produce an
   # output for a long time (linking & testing)
-  #- travis_wait 55 contrib/ci/scripts/travis_ci_entry_point.sh || exit 1;
-  - contrib/ci/scripts/travis_ci_entry_point.sh || exit 1;
+  - travis_wait 55 contrib/ci/scripts/travis_ci_entry_point.sh || exit 1;
diff --git a/examples/python/all_interval_series.py b/examples/python/all_interval_series.py
index 8269303d3..cdea8f721 100644
--- a/examples/python/all_interval_series.py
+++ b/examples/python/all_interval_series.py
@@ -65,13 +65,13 @@ def process_model(s, xij, n):
 def all_models(n):
     count = 0
     s, xij = ais(n)
-    start = time.clock()
+    start = time.time()
     while sat == s.check():
         block = process_model(s, xij, n)
         s.add(Not(And(block)))
         count += 1
     print(s.statistics())
-    print(time.clock() - start)
+    print(time.time() - start)
     print(count)
 
 set_option(verbose=1)