diff --git a/benchmarks/stl/ktoolcav.stl.gz b/benchmarks/stl/ktoolcav.stl.gz deleted file mode 100644 index 60d7e88bf13d2aac386b3b8edb70d1c8064e0865..0000000000000000000000000000000000000000 Binary files a/benchmarks/stl/ktoolcav.stl.gz and /dev/null differ