diff --git a/.github/actions/daily-test-improver/coverage-steps/action.yml b/.github/actions/daily-test-improver/coverage-steps/action.yml
index fa336194e2..ce5820134c 100644
--- a/.github/actions/daily-test-improver/coverage-steps/action.yml
+++ b/.github/actions/daily-test-improver/coverage-steps/action.yml
@@ -66,7 +66,6 @@ runs:
         cd build
         ninja c_example || echo "c_example build failed, continuing" >> ../coverage-steps.log
         ninja cpp_example || echo "cpp_example build failed, continuing" >> ../coverage-steps.log
-        ninja z3_tptp5 || echo "z3_tptp5 build failed, continuing" >> ../coverage-steps.log
         ninja c_maxsat_example || echo "c_maxsat_example build failed, continuing" >> ../coverage-steps.log
         echo "Examples build completed" >> ../coverage-steps.log
         cd ..
@@ -113,9 +112,6 @@ runs:
         if [ -f "build/examples/cpp_example_build_dir/cpp_example" ]; then
           ./build/examples/cpp_example_build_dir/cpp_example 2>&1 | tee -a coverage-steps.log || echo "cpp_example execution failed" >> coverage-steps.log
         fi
-        if [ -f "build/examples/tptp_build_dir/z3_tptp5" ]; then
-          ./build/examples/tptp_build_dir/z3_tptp5 --help 2>&1 | tee -a coverage-steps.log || echo "z3_tptp5 execution failed" >> coverage-steps.log
-        fi
         if [ -f "build/examples/c_maxsat_example_build_dir/c_maxsat_example" ] && [ -f "examples/maxsat/ex.smt" ]; then
           ./build/examples/c_maxsat_example_build_dir/c_maxsat_example examples/maxsat/ex.smt 2>&1 | tee -a coverage-steps.log || echo "c_maxsat_example execution failed" >> coverage-steps.log
         fi
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index eb98ec4754..b7c31f0d2c 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -377,11 +377,9 @@ jobs:
           cd build
           ninja c_example
           ninja cpp_example
-          ninja z3_tptp5
           ninja c_maxsat_example
           examples/c_example_build_dir/c_example
           examples/cpp_example_build_dir/cpp_example
-          examples/tptp_build_dir/z3_tptp5 -help
           examples/c_maxsat_example_build_dir/c_maxsat_example ../examples/maxsat/ex.smt
           cd ..
 
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index ca81a7a5e6..e0809f4ab7 100644
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -41,7 +41,6 @@ jobs:
       run: |
         cmake --build ${{github.workspace}}/build --target c_example
         cmake --build ${{github.workspace}}/build --target cpp_example
-        cmake --build ${{github.workspace}}/build --target z3_tptp5
         cmake --build ${{github.workspace}}/build --target c_maxsat_example
 
     - name: Clone z3test
@@ -59,7 +58,6 @@ jobs:
     - name: Run examples
       run: |
         ${{github.workspace}}/build/examples/cpp_example_build_dir/cpp_example
-        ${{github.workspace}}/build/examples/tptp_build_dir/z3_tptp5 --help
         ${{github.workspace}}/build/examples/c_maxsat_example_build_dir/c_maxsat_example ${{github.workspace}}/examples/maxsat/ex.smt
 
     - name: Run regressions